HN Explorer

polyglotfacto

↗ HN profile [ 2080 ms ] full profile

No user record in our sample, but polyglotfacto has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.

  1. 1 points 1
  2. 1 points 1
  3. 1 points 1
  4. Lean and AI caught a bug in my 2-year-old TLA+ spec (medium.com)
    1 points 1
  5. Implementing WebNN with the Help of AI (medium.com)
    1 points 1
  6. Federal Reserve use of AI coding (federalreserve.gov)
    1 points 1
  7. Paul Ford: 'The A.I. Disruption Has Arrived, and It Sure Is Fun' (nytimes.com)
    2 points 1
  8. 1 points 1
  9. Show HN: Prompt-injection‑resistant agent runtime that writes web apps (github.com)

    I built a PoC of an agent runtime designed to reduce prompt‑injection blast radius. Instead of doing tasks directly, the agent writes a web app to do the work. The app can run sub‑inference (model calls without tool…

    1 points 0
  10. Study on positive use of AI in academic writing; challenges brain rot narrative (sciencedirect.com)
    1 points 0
  11. AI Coding: Conversations and Bottlenecks (medium.com)
    1 points 0
  12. How I am learning distributed systems (medium.com)
    2 points 0
  13. Programming Servo: just hanging around (medium.com)
    2 points 0
  14. Programming Servo: the bird’s-eyes view (medium.com)
    3 points 0
  15. Rust: Regret-Less Concurrency (2019) (medium.com)
    2 points 0
  16. Rust concurrency: the archetype of a message-passing bug (medium.com)
    187 points 93
  17. Rust concurrency: the archetype of a message-passing bug (medium.com)
    1 points 0
  18. Programming Servo: Integrating Streams (medium.com)
    1 points 0
  19. Rust concurrency: the single-writer principle (medium.com)
    90 points 0
  20. Rust concurrency: a streaming workflow, served with a side of back-pressure (medium.com)
    6 points 0
  21. Rust concurrency: five easy pieces (medium.com)
    1 points 0
  22. Programming Servo: My own private runtime (medium.com)
    89 points 10