Newest stories submitted by icefox.

  1. 5
    Traits are a Local Maximum plt thunderseethe.dev
    icefox avatar via icefox 13 days ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  2. 26
    Cycling while typing hardware ohrg.org
    icefox avatar via icefox 17 days ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  3. 11
    determination: Rust typecheckers for System F and System F-omega plt hg.sr.ht
    icefox avatar authored by icefox 24 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  4. 11
    You Could Have Invented Normalization-by-Evaluation plt ehatti.github.io
    icefox avatar via icefox 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 5
    Computational Protein Design ai science science.org
    icefox avatar via icefox 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 10
    A FizzBuzz program. Somehow. I don't know why it works c satire gist.github.com
    icefox avatar via icefox 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  7. 51
    Notes on the Crystal language plt wiki.alopex.li
    icefox avatar authored by icefox 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 20 comments
  8. 4
    GPD Pocket 3 mini-laptop review (2021) hardware liliputing.com
    icefox avatar via icefox 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  9. 3
    Dune Shell plt adam-mcdaniel.github.io
    icefox avatar via icefox 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  10. 15
    Pico SDR hardware blog.porucha.net
    icefox avatar via icefox 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 2
    Type Inference Needs Revolution (2015) video plt youtube.com
    icefox avatar via icefox 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  12. 5
    Boox Palma Review: A Phone-Sized E-Ink Android Device that isn’t a Phone hardware ewritable.com
    icefox avatar via icefox 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  13. 10
    A systematic approach to deriving incremental type checkers (2020) ☶ pdf databases plt dl.acm.org
    icefox avatar via icefox 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  14. 19
    Simply Typed Lambda Calculus in Datalog plt hg.sr.ht
    icefox avatar authored by icefox 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  15. 10
    Hacking Amazon's eero 6 (part 1) hardware reversing markuta.com
    icefox avatar via icefox 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  16. 16
    Elixir math benchmarks elixir performance hg.sr.ht
    icefox avatar authored by icefox 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  17. 38
    Nerves Notes elixir wiki.alopex.li
    icefox avatar authored by icefox 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  18. 15
    Nerves Local Setup elixir wiki.alopex.li
    icefox avatar authored by icefox 7 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 5
    “Tear”able Puns, and Worse Ideas: A Minimally Thread-Safe Cell programming shift.click
    icefox avatar via icefox 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  20. 32
    If you're just going to sit there doing nothing, at least do nothing correctly api devblogs.microsoft.com
    icefox avatar via icefox 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  21. 36
    Elixir Nitpicks elixir wiki.alopex.li
    icefox avatar authored by icefox 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 25 comments
  22. 19
    Rust, A Game Review rust satire llogiq.github.io
    icefox avatar via icefox 10 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  23. 19
    The State Of Garnet, 2023 plt wiki.alopex.li
    icefox avatar authored by icefox 11 months ago |
    Archive.org Archive.today Ghostarchive
    | 19 comments
  24. 16
    Another Look At The Bcachefs Performance on Linux 6.7 linux phoronix.com
    icefox avatar via icefox 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  25. 4
    Why we're no longer using Core.typed (2016) clojure web.archive.org
    icefox avatar via icefox 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
Page 2 >>