mdebray/tvl-depot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
tvl-depot/users/tazjin/presentations/tvix-eval-2023
History
sterni 08981e63c6 chore(3p/sources): Bump channels & overlays (2024-12-02) 
* //tools/nixery/popcount:
  replace removed buildGoPackage with buildGoModule.

* //users/aspen/system/system/modules:
  pkgs.nerdfonts has been removed. Instead we have a
  pkgs.nerd-fonts attribute set that contains all fonts
  as individual derivations.

* //users/tazjin/presentations:
  The ms package was removed from texlive for some reason
  in the latest release. Replace it with the packages it
  bundles (according to CTAN).

* //tvix/verify-lang-tests:
  Test on latest Nix release 2.25.2.

* //tvix/*-go:
  regenerate code from protobufs.

Change-Id: I19fcb3a0267f929f6e7388aa69ad99ac53b62236
Reviewed-on: https://cl.tvl.fyi/c/depot/+/12859
Autosubmit: sterni <sternenseemann@systemli.org>
Reviewed-by: tazjin <tazjin@tvl.su>
Reviewed-by: flokli <flokli@flokli.de>
Reviewed-by: aspen <root@gws.fyi>
Tested-by: BuildkiteCI
2024-12-29 15:02:22 +00:00
..
wasm-fs-demo feat(tazjin/presentations): add (intentionally) broken WASM demo 2023-09-02 18:20:54 +00:00
cppnix-example-lexer.cpp feat(tazjin/presentations): bootstrap tvix-eval-2023 presentation 2023-09-01 13:50:32 +00:00
cppnix-example-smuggling.cpp chore(tazjin/presentations): last minute changes to tvix-eval talk 2023-09-07 12:05:30 +00:00
default.nix chore(3p/sources): Bump channels & overlays (2024-12-02) 2024-12-29 15:02:22 +00:00
presentation.pdfpc feat(tazjin/tvix-eval-2023): add presenter notes and minor fixes 2023-09-02 18:20:54 +00:00
presentation.tex chore(tazjin/presentations): last minute changes to tvix-eval talk 2023-09-07 12:05:30 +00:00
README.md feat(tazjin/tvix-eval-2023): add presenter notes and minor fixes 2023-09-02 18:20:54 +00:00

README.md

These are the slides for a talk at the Moscow Rust User Group / ProgMSK on 2023-09-07.

After building, the presentation can be launched with pdfpc (available in nixpkgs), like this:

pdfpc --windowed=both result/presentation.pdf -R presentation.pdfpc -d 40

I keep the JSON file formatted using jq . presentation.pdfpc | sponge presentation.pdfpc for easier diffs.