HN Explorer

polyglotfacto

↗ HN profile [ 213 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: A malleable and formally verified Web engine

    Hello HN, I've been working on a new Web engine, build around two ideas: - use formal methods from day one. - make it modular. The modularity is orientated towards the following goals: - enabling shipping anywhere,…

    3 points 0
  2. How to build fast and responsive agentic (coding) UIs (medium.com)
    1 points 0
  3. Show HN: Always responsive UI for a coding agent

    In my limited personal experience, I find the UI of coding agents, or rather their clients, unsatisfying for the following reasons: - They tend to have poor performance characteristics - They make it hard to actually…

    3 points 0
  4. 1 points 0
  5. 1 points 0
  6. 1 points 0
  7. Lean and AI caught a bug in my 2-year-old TLA+ spec (medium.com)
    1 points 1
  8. Implementing WebNN with the Help of AI (medium.com)
    1 points 1
  9. Federal Reserve use of AI coding (federalreserve.gov)
    1 points 1
  10. Paul Ford: 'The A.I. Disruption Has Arrived, and It Sure Is Fun' (nytimes.com)
    2 points 1
  11. 1 points 0
  12. 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
  13. Study on positive use of AI in academic writing; challenges brain rot narrative (sciencedirect.com)
    1 points 0
  14. AI Coding: Conversations and Bottlenecks (medium.com)
    1 points 0
  15. How I am learning distributed systems (medium.com)
    2 points 0
  16. Programming Servo: just hanging around (medium.com)
    2 points 0
  17. Programming Servo: the bird’s-eyes view (medium.com)
    3 points 0
  18. Rust: Regret-Less Concurrency (2019) (medium.com)
    2 points 0
  19. Rust concurrency: the archetype of a message-passing bug (medium.com)
    187 points 92
  20. Rust concurrency: the archetype of a message-passing bug (medium.com)
    1 points 0
  21. Programming Servo: Integrating Streams (medium.com)
    1 points 0
  22. Rust concurrency: the single-writer principle (medium.com)
    90 points 0
  23. Rust concurrency: a streaming workflow, served with a side of back-pressure (medium.com)
    6 points 0
  24. Rust concurrency: five easy pieces (medium.com)
    1 points 0
  25. Programming Servo: My own private runtime (medium.com)
    89 points 10