Deschide articolul original într-un tab nou Schimbarea acestei opțiuni se aplică imediat și reîncarcă pagina.
LECTURA
Înapoi la articole →

stuebinm.eu

stuebinm.eu/rss.xml
Vizitează site-ul

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 8

  1. Isabelle symbols outside its editor

    (stuebinm.eu)

    Symbols Conversion isabelle2unicode Use in git Use in cgit Mail Client Extension Firefox Comfortable software References If you’ve ever used Isabelle, and taken a peak at the files you’re writing in any editor that is not one Isabelle is intended to be us…

  2. Machines should know which commit is deployed on them

    (stuebinm.eu)

    Getting Git’s Information Without flakes Uncommitted changes Aside: What is a “Short Rev”, anyways?

  3. Git Annex & the reMarkable 2 tablet

    (stuebinm.eu)

    Too many pdfs … Reading Special remotes Xochitl ipan quixichihua in amatl git annex export & git annex wanted All done?

  4. A line map for Milano's trams in TX

    (stuebinm.eu)

    À la recherche des cartes perdues official third-party historical Drawing my own sketching tikzpictures so many stations … And now?

  5. Am selben Bahnsteig gegenüber?

    (stuebinm.eu)

    The Shape of the Problem Related Work Getting raw data Data Model OverpassQL Writing Queries Testing Catch them all?

  6. Run yourself a local telephone network with Asterisk and NixOS

    (stuebinm.eu)

    Why?

  7. Hacking on Isabelle/ML

    (stuebinm.eu)

    Hacking on Isabelle/ML Resources Basic Isabelle/ML How to execute code?

  8. Are Nix Expressions Pacman-Complete?

    (stuebinm.eu)

    Are Nix Expressions Pacman-Complete?