this repo has no description
Continue rapport
+62
-17
+62
-17
slides/main.typ
+62
-17
slides/main.typ
···
679
679
680
680
#pagebreak()
681
681
682
-
#centered(
683
-
block(width: 16em)[
684
-
#codly(
685
-
highlights: (
686
-
(line: 4, start: 10, end: 15+6),
687
-
),
688
-
// annotations: (
689
-
// (start: 4, content: [Impur]),
690
-
// )
691
-
)
692
-
```python
693
-
from datetime import date
682
+
#centered(block(width: 16em)[
683
+
#codly(
684
+
highlights: (
685
+
(line: 4, start: 10, end: 15+6),
686
+
),
687
+
// annotations: (
688
+
// (start: 4, content: [Impur]),
689
+
// )
690
+
)
691
+
```python
692
+
from datetime import date
693
+
694
+
def f(a):
695
+
return date.today().year + a
696
+
```
697
+
])
698
+
699
+
#title-slide[
700
+
== Reproductibilité
701
+
Au _compile-time_
702
+
]
703
+
704
+
#centered(block(width: 20em, [
705
+
#codly(header: text(size: 1.2em, fill: luma(100), `./program.c`))
706
+
```c
707
+
int main()
708
+
{
709
+
printf("Built at %s\n", BUILT_AT);
710
+
}
711
+
```
712
+
puis
713
+
```bash
714
+
gcc -DBUILT_AT="\"$(date)\"" program.c
715
+
```
716
+
]))
717
+
718
+
#pagebreak()
719
+
720
+
#title-slide[
721
+
== Nix, le langage
722
+
Pour des paquets reproductibles
723
+
]
724
+
725
+
#centered(text(size: 0.7em, [
726
+
```nix
727
+
{ lib, stdenv, fetchFromGitHub, cmake, eigen }:
728
+
729
+
stdenv.mkDerivation rec {
730
+
pname = "unitree-sdk2";
731
+
version = "2.0.0";
694
732
695
-
def f(a):
696
-
return date.today().year + a
697
-
```
698
-
]
699
-
)
733
+
src = fetchFromGitHub {
734
+
owner = "unitreerobotics";
735
+
repo = "unitree_sdk2";
736
+
rev = version;
737
+
hash = "sha256-r05zwhZW36+VOrIuTCr2HLf2R23csmnj33JFzUqz62Q=";
738
+
};
700
739
740
+
nativeBuildInputs = [ cmake ];
741
+
buildInputs = [ eigen ];
742
+
meta = { ... };
743
+
}
744
+
```
745
+
]))