g0xA52A2A

8 ms·

1. 121.▲
   SimdSketch: A Fast Bucket Sketch(curiouscoding.nl)

   2 points by g0xA52A2A 2y ago|0 comments
2. 122.▲
   Intensional Joy (a concatenative account of internal structure)(pithlessly.github.io)

   60 points by g0xA52A2A 2y ago|13 comments
3. 123.▲
   Ways to generate SSA(bernsteinbear.com)

   110 points by g0xA52A2A 2y ago|35 comments
4. 124.▲
   Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods(queue.acm.org)

   4 points by g0xA52A2A 2y ago|0 comments
5. 125.▲
   Pwn2Own Automotive: Popping the Charx SEC-3100(blog.ret2.io)

   1 points by g0xA52A2A 2y ago|0 comments
6. 126.▲
   Optics for UI 1: Deconstructing React with Parametrised Lenses(cybercat.institute)

   2 points by g0xA52A2A 2y ago|0 comments
7. 127.▲
   A Practical Interpretation of Linear Logic(protovision.github.io)

   3 points by g0xA52A2A 2y ago|0 comments
8. 128.▲
   Into CPS, Never to Return(bernsteinbear.com)

   137 points by g0xA52A2A 2y ago|57 comments
9. 129.▲
   Well-Typed Substructural Languages(zanzix.github.io)

   4 points by g0xA52A2A 2y ago|0 comments
10. 130.▲
    Hacking physics from the back of a napkin (2020)(hapax.github.io)

    122 points by g0xA52A2A 2y ago|14 comments
11. 131.▲
    Dependent Types and the Art of HTTP Headers(github.com)

    2 points by g0xA52A2A 2y ago|1 comments
12. 132.▲
    The Rise of Bluesky(cacm.acm.org)

    46 points by g0xA52A2A 2y ago|77 comments
13. 133.▲
    Scientific computing with confidence using typed dimensions(laurentrdc.xyz)

    97 points by g0xA52A2A 2y ago|47 comments
14. 134.▲
    Reliable Immutable Transfer Protocol(paper.wf)

    2 points by g0xA52A2A 2y ago|0 comments
15. 135.▲
    OpenVMM – A New VMM for Windows and Linux, Written in Rust(github.com)

    171 points by g0xA52A2A 2y ago|118 comments
16. 136.▲
    Linearity in Query Processing(buttondown.com)

    1 points by g0xA52A2A 2y ago|0 comments
17. 137.▲
    by g0xA52A2A 2y ago

    I think this should be merged into/marked a dupe of https://news.ycombinator.com/item?id=41662596
18. 138.▲
    Hytradboi 2025(scattered-thoughts.net)

    1 points by g0xA52A2A 2y ago|0 comments
19. 139.▲
    OpenBSD crond / crontab set_range() heap underflow (CVE-2024-43688)(supernetworks.org)

    3 points by g0xA52A2A 2y ago|1 comments
20. 140.▲
    Behind the Scenes on Type Directed Search for Unison Share(unison-lang.org)

    3 points by g0xA52A2A 2y ago|0 comments
21. 141.▲
    Abstract Interpretation in the Toy Optimizer(bernsteinbear.com)

    3 points by g0xA52A2A 2y ago|0 comments
22. 142.▲
    No More Tears, No More Knots: Arena-Allocated Trees in Rust(deciduously.com)

    3 points by g0xA52A2A 2y ago|0 comments
23. 143.▲
    EGraphs as Ground Completion Talk and Egraphs 2024 Notes(philipzucker.com)

    2 points by g0xA52A2A 2y ago|0 comments
24. 144.▲
    Sans I/O when rubber meets the road(fractalideas.com)

    1 points by g0xA52A2A 2y ago|0 comments
25. 145.▲
    Identifying Leap Years (2020)(davecturner.github.io)

    28 points by g0xA52A2A 2y ago|6 comments
26. 146.▲
    What does GCD have in common with leap years?(palaiologos.rocks)

    1 points by g0xA52A2A 2y ago|0 comments
27. 147.▲
    The FastLanes Compression Layout: Decoding >100B Integers per Second [pdf](vldb.org)

    2 points by g0xA52A2A 2y ago|0 comments
28. 148.▲
    by g0xA52A2A 2y ago

    Don't parse the output of ls, use globbing or find. Here are some examples https://mywiki.wooledge.org/ParsingLs
29. 149.▲
    Spending too much time optimizing for loops(octavelarose.github.io)

    2 points by g0xA52A2A 2y ago|0 comments
30. 150.▲
    Inline caching in our AST interpreter(octavelarose.github.io)

    1 points by g0xA52A2A 2y ago|0 comments