Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Android 17 is the first since 3.x to add new APIs without releasing to the AOSP(grapheneos.social ↗)
    111comments
  2. Cloudflare Quick Tunnels(cloudflare.com ↗)
    197comments
  3. Saving another 100TB of RAM(cloudflare.com ↗)
    15comments
  4. Xcode 27.1 Beta Release Notes(developer.apple.com ↗)
    42comments
  5. Cache-to-Cache: Direct Semantic Communication Between LLMs (2025)(arxiv.org ↗)
    8comments
  6. Photon-Emission-Guided Laser Fault Injection Enables RP2350 Secure Debug(ledger.com ↗)
    36comments
  7. Show HN: Cactus Needle 3: 8-29MB automation models can match DeepSeek V4 Flash(cactuscompute.com ↗)
    63comments
  8. How to Write with an LLM(sockpuppet.org ↗)
    217comments
  9. The Implications of Linguistic Illegibility for LLM Security(arxiv.org ↗)
    12comments
  10. OpenJev(openjev.com ↗)
    234comments
  11. Claude Code now reads AGENTS.md if there is no Claude.md(claude.com ↗)
    4comments
  12. C++26: Trivial infinite loops are no longer undefined behaviour(sandordargo.com ↗)
    143comments
  13. Korea raises data breach fines to 10% of revenue(koreajoongangdaily.com ↗)
    40comments
  14. Border agents can search cellphones without a warrant or reasonable suspicion(lawandcrime.com ↗)
    83comments
  15. The first new cat species discovered in 100 years(nationalgeographic.com ↗)
    20comments
  16. Our brain evolved from two primitive nervous systems that merged: Study(newscientist.com ↗)
    41comments
  17. I vibed a proof of Conway's conjecture(overreacted.io ↗)
    167comments
  18. How SpaceX streamlined the Raptor engine(construction-physics.com ↗)
    14comments
  19. From Geometry to Algebra and Back Again: 4000 Years of Papers (2023) [video](youtube.com ↗)
    discuss
  20. Minimal Phone 2(minimalcompany.com ↗)
    116comments
  21. A search-and-inference database from scratch in pure Zig(antfly.io ↗)
    10comments
  22. Inside ZCode: Silently uploading your Git history to the cloud(ferstar.org ↗)
    85comments
  23. North Korean nuclear test sets off years of earthquakes(science.org ↗)
    138comments
  24. Cekura (YC F24) Is Hiring(ycombinator.com ↗)
    discuss
  25. Warez: The Infrastructure and Aesthetics of Piracy (2021)(archive.org ↗)
    8comments
  26. Show HN: Ax-check.com – Can agents use your product?(ax-check.com ↗)
    23comments
  27. US Military had close call after using AI for hallucinated intelligence report(cnn.com ↗)
    236comments
  28. Mathematicians Build Long-Awaited Graph Sandwich(quantamagazine.org ↗)
    15comments
  29. Show HN: Scry, programmable internet search w/ congestion pricing(scry.io ↗)
    16comments
  30. The scourge of x86 emulation(fex-emu.com ↗)
    74comments

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...