Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. There's no point at which turning your brain off will work(danluu.com ↗)
    54comments
  2. Cloudflare Quick Tunnels(cloudflare.com ↗)
    128comments
  3. Photon-Emission-Guided Laser Fault Injection Enables RP2350 Secure Debug(ledger.com ↗)
    6comments
  4. An Empirical Study of Harness Design for Coding Agents(arxiv.org ↗)
    39comments
  5. North Korean nuclear test sets off years of earthquakes(science.org ↗)
    76comments
  6. Show HN: Cactus Needle 3: 8-29MB automation models can match DeepSeek V4 Flash(cactuscompute.com ↗)
    20comments
  7. C++26: Trivial infinite loops are no longer undefined behaviour(sandordargo.com ↗)
    104comments
  8. OpenJev(openjev.com ↗)
    210comments
  9. Mathematicians Build Long-Awaited Graph Sandwich(quantamagazine.org ↗)
    6comments
  10. I vibed a proof of Conway's conjecture(overreacted.io ↗)
    109comments
  11. A heap overflow and SSO misconfiguration to compromise OpenAI internal repos(hacktron.ai ↗)
    181comments
  12. I don't like passkeys(hawksley.dev ↗)
    536comments
  13. GrassLobster: AI Agentic Generation of Parametric Geometry Workflows(miro.vision ↗)
    3comments
  14. Jemalloc 5.4.0(github.com/jemalloc ↗)
    76comments
  15. NATS publishes preliminary report on technical incident of 8 September(nats.aero ↗)
    23comments
  16. US Treasuries Have Become Unappetizing for Foreign Central Banks and Governments(wolfstreet.com ↗)
    64comments
  17. Cekura (YC F24) Is Hiring(ycombinator.com ↗)
    discuss
  18. The Shadows Lurking in the Equations – Underwater Islands(gods.art ↗)
    9comments
  19. Show HN: Scry, programmable internet search w/ congestion pricing(scry.io ↗)
    3comments
  20. The scourge of x86 emulation(fex-emu.com ↗)
    68comments
  21. Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint(prismml.com ↗)
    176comments
  22. BeanShell3 in Development(beanshell.github.io ↗)
    11comments
  23. Warren Buffett Steps Down as Berkshire Chairman, Names Son to Replace Him(nytimes.com ↗)
    156comments
  24. Build Faster Feedback Loops Using Qualitative User Research(nseldeib.com ↗)
    1comments
  25. Qwen 3.8 Omni Flash(qwen.ai ↗)
    118comments
  26. Second Circuit Allows Government to Search Electronic Devices at the Border(knightcolumbia.org ↗)
    43comments
  27. How to Write with an LLM(sockpuppet.org ↗)
    193comments
  28. Pre-Greek: The lost language hidden within Ancient Greek(linguisticdiscovery.com ↗)
    61comments
  29. Microsoft exec called AI scraping 'the largest theft of labor in human history'(techcrunch.com ↗)
    645comments
  30. When the fractional part of a float fixes your shader(crocidb.com ↗)
    16comments

Checked C from Microsoft Research

142 pointsby 10y agoresearch.microsoft.com
9 comments
10y agoHN ↗

StackOverflowException. Call heap size exceeded.

10y agoHN ↗

Maybe the new checked C can protect against infinite loops too ;)

10y agoHN ↗

Why? Infinite loops in C are by design and have many uses: threads waiting for signals, polling, events processing etc.

10y agoHN ↗

Heh, need to relax a little then. Anyway, I've heard this complain too many times from inexperienced "programmers" ("Why my program doesn't quit?"), so the truth is not far fetched..

10y agoHN ↗

This is a joke... but in reality there are MANY cases where programming language can prevent errors at compile time with no or minimal costs and this could be added to standard C...