HN Explorer

matt_d

↗ HN profile [ 86.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Hitting a NERVE with attacks on AI-powered brain-computer interfaces (anil.recoil.org)
    3 points 1
  2. FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving (flare.henryrobbins.com)
    1 points 0
  3. JSON parsing in OxCaml: fast, but not too fast (pianykh.com)
    1 points 0
  4. Data races and the limits of ThreadSanitizer in C and Go (theconsensus.dev)
    1 points 1
  5. Developing provably correct Rust code with Verus (amazon.science)
    1 points 0
  6. Teaching Novice Computing and Programming in the Agentic AI Era (cs.brown.edu)
    1 points 0
  7. Building Specialized Systems We Can Trust with Agents (skydiscover-ai.github.io)
    1 points 0
  8. CascadeLUT: Info.-Ordered Streaming Inference for Bandwidth-Constrained FPGAs (arxiv.org)
    1 points 0
  9. QueryBrew: System-Agnostic SQL-to-SQL Query Optimization [pdf] (vldb.org)
    2 points 9
  10. Trustworthy Human-AI Collab in a Live Type-Theoretic Computational Commons (janestreet.com)
    1 points 0
  11. Computing Against the Odds: Processor Architectures for Batteryless Devices [video] (youtube.com)
    1 points 0
  12. MLIR Project Lighthouse – Update (discourse.llvm.org)
    1 points 0
  13. On Binary Translation and Its Consequences (chipsandcheese.com)
    1 points 14
  14. On Next-Gen Transformer: Loops Are Not What You Need (zartbot.github.io)
    2 points 1
  15. AutoResearchExam: Measuring agents' ability to improve and generalize (benchmarks.bespokelabs.ai)
    1 points 0
  16. A Design Space Exploration of Async/Await (cel.cs.brown.edu)
    1 points 0
  17. Not in My Git Yard: Catching Backdoors at Commit and Release Time (arxiv.org)
    2 points 2
  18. Performance Foundations of Parallel and Distributed Reasoning Language Models (arxiv.org)
    1 points 0
  19. Testing race conditions with memory access tracing & stack-based delay injection (projectzero.google)
    1 points 0
  20. A preview of the future Intel Architecture documentation (intel.github.io)
    1 points 0
  21. Scaling AI: The Communication Wall (aaravwattal.com)
    1 points 0
  22. Linked Lists in the Linux Kernel (0xax.dev)
    1 points 0
  23. Performance Characterization of SPEC CPU 2026 on AMD EPYC 9755 "Zen 5" Processor (arxiv.org)
    1 points 0
  24. Lost Bytes at the Crossroads Between User- and Kernel-Level Memory Allocation [pdf] (ibr.cs.tu-bs.de)
    1 points 0
  25. After Reflection: The Runtime Story – Saksham Sharma – C++Now 2026 [video] (youtube.com)
    2 points 0