write on Hacker News

100 titles from 92 authors in the last 30 days, with 95 distinct links and 21 Show HN.

Counts titles, it does not confirm facts. Open the source before concluding anything.

Projects on this term

The score comes from our model.

• Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge · score 8.5

  Lasm compiles Lean 4 programs ahead-of-time to WebAssembly, enabling formally verified web applications that can deploy to Node, serverless, edge, and browser targets. Its flagship RealWorld app demonstrates 117 proved theorems covering authorization, data integrity, and pagination, with conformance tests across multiple platforms.

• Show HN: Submilli – runtime with semantic permissions for agents that write code · score 7.8

  Submilli is a Rust-based runtime that executes agent-generated TypeScript code in WebAssembly with a semantic permission model called Blueprints. It enforces fine-grained, per-operation rules (e.g., refund limits per customer tier) outside the model's control, with built-in packages, audit trails, and resource limits. This fills a critical security gap for business agents that generate code.

• Show HN: Apple Reminders MCP – native read/write via ReminderKit · score 7.5

  A native macOS MCP server and CLI for Apple Reminders that uses the private ReminderKit framework to enable full read/write access to all Reminders features, unlike existing AppleScript-based alternatives. It provides AI agents with comprehensive tools for managing reminders, lists, tags, sections, and smart lists, with version-based conflict protection and a one-click setup for popular agents.

• Show HN: Sheetstream, write a million row XLSX in Node with 82 MB of RAM · score 7.5

  Sheetstream is a Node.js library for streaming XLSX and CSV files of any size using Rust-based native bindings, achieving constant memory usage (e.g., 1M rows in ~82 MB RAM). It fills a real gap left by exceljs and SheetJS, which either crash or consume gigabytes when handling large exports, and offers a well-designed API with formatting, multiple sheets, and backpressure-aware streams.

Recent titles

1. Write All the Things
   2026-10-30 · asbedb.dev · HN discussion
2. Rival AI models write an encyclopedia and judge each other blind
   2026-10-30 · scio.md · HN discussion
3. How to read distributed traces when you didn't write the code
   2026-10-30 · newsletter.signoz.io · HN discussion
4. Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge
   2026-10-30 · github.com · HN discussion
5. I 'write software' as of Oct 2026 – Part 1
   2026-10-29 · chicagobuss.dev · HN discussion
6. Tools, 17 with write access: How AI platforms bound agent authority
   2026-10-29 · antalpha.com · HN discussion
7. Show HN: Jotcal, a calendar you glance at and write on
   2026-10-28 · jotcal.app · HN discussion
8. Muscle Memory – Can you still write code without AI?
   2026-10-28 · HN discussion
9. Request for Startups – "LLMs That Write Well" – Why?
   2026-10-28 · HN discussion
10. I Don't Write Code Anymore. I Still Read It
    2026-10-28 · oioannou.com · HN discussion
11. The Iceberg Interoperability Myth: Write Once, Read Anywhere?
    2026-10-28 · olake.io · HN discussion
12. The Right Way to Write Complex Code
    2026-10-28 · coderhapsody.ai · HN discussion
13. As humans write less code: workloads shift from human to agent verification
    2026-10-27 · metabase.com · HN discussion
14. Write your own LLM Benchmarks
    2026-10-27 · anaivebidder.com · HN discussion
15. Write Once, Run Anywhere: Java for Retro Computers?
    2026-10-26 · retrogamecoders.com · HN discussion
16. Snowflake Adaptive Warehouses cut MERGE write amplification [video]
    2026-10-26 · youtube.com · HN discussion
17. Why it is foolish to think AI can't write like humans
    2026-10-26 · HN discussion
18. "Inventor of email" sues news site for refusing to write about his campaign
    2026-10-23 · universalhub.com · HN discussion
19. Who Cares Whether Academics Use AI to Write?
    2026-10-23 · chronicle.com · HN discussion
20. Show HN: We had AI write a wiki from 45k Enron emails, every fact cited
    2026-10-23 · thisandthat.chat · HN discussion
21. Agents write most of our code now, and we should stopped planning sprints
    2026-10-22 · usecaddie.app · HN discussion
22. Node.js Brotli decoder out-of-bounds write permits remote code execution
    2026-10-22 · nodejs.org · HN discussion
23. Write Moby Dick, approximately
    2026-10-22 · codegolf.stackexchange.com · HN discussion
24. We built a document AI that reads but doesn't write
    2026-10-22 · nutrient.io · HN discussion
25. It took me five years to write 200 lines of Python
    2026-10-22 · ansipunk.me · HN discussion
26. Left to Write (1 of 3): Adaptive Keyboards for One-Handed Users
    2026-10-22 · 99percentinvisible.org · HN discussion
27. 6 in 10 Job Seekers Are Rethinking How They Write to Avoid Sounding Like AI
    2026-10-21 · greenhouse.com · HN discussion
28. A free agentic app builder where LLMs only write what deterministic tools can't
    2026-10-21 · editor.besser-pearl.org · HN discussion
29. DevEx for developers who don't write code
    2026-10-20 · bauplanlabs.com · HN discussion
30. Show HN: Apple Reminders MCP – native read/write via ReminderKit
    2026-10-20 · github.com · HN discussion

All trends