luu

12 ms·

1. 211.▲
   Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers(arxiv.org)

   2 points by luu 1y ago|0 comments
2. 212.▲
   Mipmap selection in too much detail(pema.dev)

   99 points by luu 1y ago|25 comments
3. 213.▲
   Has anyone coined the term “fast tech” yet?(chaos.social)

   77 points by luu 1y ago|44 comments
4. 214.▲
   Open Hardware Ethernet Switch project, part 1(serd.es)

   275 points by luu 1y ago|36 comments
5. 215.▲
   A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf](usenix.org)

   161 points by luu 1y ago|134 comments
6. 216.▲
   The Search for Meaning in 2001 (1998)(2001archive.org)

   1 points by luu 1y ago|0 comments
7. 217.▲
   Forty-One(justintadlock.com)

   3 points by luu 1y ago|0 comments
8. 218.▲
   Is there a balance to be struck between simple hierarchical models and(statmodeling.stat.columbia.edu)

   40 points by luu 1y ago|7 comments
9. 219.▲
   Dependency Injection for Artificial Intelligence(gideonite.info)

   1 points by luu 1y ago|0 comments
10. 220.▲
    Proof by Insufficient Information(blog.plover.com)

    3 points by luu 1y ago|0 comments
11. 221.▲
    Switch bouncing reference traces for a variety of different switches(github.com)

    51 points by luu 1y ago|23 comments
12. 222.▲
    Oracle-guided Harnessing for Auto-generating C API Fuzzing Harnesses [pdf](futures.cs.utah.edu)

    2 points by luu 1y ago|0 comments
13. 223.▲
    Large language models, small labor market effects [pdf](bfi.uchicago.edu)

    144 points by luu 1y ago|34 comments
14. 224.▲
    Selection Bias in Poker(kwokchain.com)

    2 points by luu 1y ago|0 comments
15. 225.▲
    Why Treasure Island Dizzy only gave the player a single life(mastodon.social)

    4 points by luu 1y ago|0 comments
16. 226.▲
    xPal Encyrpted Messenger Security(furry.engineer)

    18 points by luu 1y ago|4 comments
17. 227.▲
    Link-Time Optimization of Dynamic Casts in C++ Programs [pdf](web.ist.utl.pt)

    4 points by luu 1y ago|0 comments
18. 228.▲
    Exploiting Undefined Behavior in C/C++ Programs: The Performance Impact [pdf](web.ist.utl.pt)

    97 points by luu 1y ago|78 comments
19. 229.▲
    Chimeric antigen receptor therapy meets mRNA technology(cell.com)

    3 points by luu 1y ago|0 comments
20. 230.▲
    Baseball on the Moon(blog.plover.com)

    5 points by luu 1y ago|0 comments
21. 231.▲
    First-Class Verification Dialects for MLIR [pdf](users.cs.utah.edu)

    3 points by luu 1y ago|0 comments
22. 232.▲
    Pydrofoil: Accelerating Sail-based instruction set simulators(arxiv.org)

    26 points by luu 1y ago|2 comments
23. 233.▲
    Petition to Open Source Initiative to publish 2025 Board election results(codeberg.org)

    35 points by luu 1y ago|0 comments
24. 234.▲
    Constitutions and Commitment: Evolution of Institutions Governing Public Choice [pdf](pscourses.ucsd.edu)

    1 points by luu 1y ago|0 comments
25. 235.▲
    Post-Silicon Validation of Static Lockstep Mode(intel.com)

    37 points by luu 1y ago|4 comments
26. 236.▲
    The case of the UI thread that hung in a kernel call(devblogs.microsoft.com)

    143 points by luu 1y ago|48 comments
27. 237.▲
    Responses to Comments on Six Mistakes(novalis.org)

    1 points by luu 1y ago|0 comments
28. 238.▲
    The mathematical past is a foreign country(blog.plover.com)

    2 points by luu 1y ago|0 comments
29. 239.▲
    65537-gon(en.wikipedia.org)

    14 points by luu 1y ago|3 comments
30. 240.▲
    Skepticism about the science establishment, then and now(statmodeling.stat.columbia.edu)

    5 points by luu 1y ago|0 comments