Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. An Empirical Study of Harness Design for Coding Agents(arxiv.org ↗)
    15comments
  2. I Vibed a Proof of Conway's Conjecture(overreacted.io ↗)
    35comments
  3. Cloudflare Quick Tunnels(cloudflare.com ↗)
    17comments
  4. North Korean nuclear test sets off years of earthquakes(science.org ↗)
    3comments
  5. C++26: Trivial infinite loops are no longer undefined behaviour(sandordargo.com ↗)
    12comments
  6. Bend 2 and the Vibe-Coding Trap(liampwll.com ↗)
    180comments
  7. BeanShell3 in Development(beanshell.github.io ↗)
    3comments
  8. OpenJev(openjev.com ↗)
    186comments
  9. The Shadows Lurking in the Equations – Underwater Islands(gods.art ↗)
    6comments
  10. I don't like passkeys(hawksley.dev ↗)
    350comments
  11. Jemalloc 5.4.0(github.com/jemalloc ↗)
    63comments
  12. Warren Buffett Steps Down as Berkshire Chairman, Names Son to Replace Him(nytimes.com ↗)
    117comments
  13. Cekura (YC F24) Is Hiring(ycombinator.com ↗)
    discuss
  14. NATS publishes preliminary report on technical incident of 8 September(nats.aero ↗)
    4comments
  15. Build Faster Feedback Loops Using Qualitative User Research(nseldeib.com ↗)
    discuss
  16. Show HN: Rickub – The Smartest Git in the Universe(rickub.com ↗)
    discuss
  17. ZCode, the GLM coding agent, silently uploads your Git history(tokenstead.ai ↗)
    51comments
  18. The scourge of x86 emulation(fex-emu.com ↗)
    57comments
  19. Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint(prismml.com ↗)
    170comments
  20. Astra for Law(openai.com ↗)
    647comments
  21. Microsoft exec called AI scraping 'the largest theft of labor in human history'(techcrunch.com ↗)
    507comments
  22. Mathematicians Build Long-Awaited Graph Sandwich(quantamagazine.org ↗)
    discuss
  23. Replacing Pull Requests with Delta(zed.dev ↗)
    52comments
  24. Bend – A language that blocks AI mistakes via proof, on CPU and GPU(bend-lang.com ↗)
    278comments
  25. Second Circuit Allows Government to Search Electronic Devices at the Border(knightcolumbia.org ↗)
    15comments
  26. Subnormal floating-point numbers are expensive on Intel processors(lemire.me ↗)
    40comments
  27. Qwen 3.8 Omni Flash(qwen.ai ↗)
    102comments
  28. When the fractional part of a float fixes your shader(crocidb.com ↗)
    14comments
  29. How to Write with an LLM(sockpuppet.org ↗)
    171comments
  30. Pre-Greek: The lost language hidden within Ancient Greek(linguisticdiscovery.com ↗)
    57comments

Welcome to the Parallel Future of Computation

168 pointsby 2y agohigherorderco.com
6 comments
2y agoHN ↗

Hey, Taelin here.

Thanks for posting, but our URL is wrong, it should be: HigherOrderCO.com. I can't post it again (gets flagged as a duplicate). Would appreciate if HN mods could change it!

Anyway, after years of hard work, HVM2 is finally production ready, and we're delivering on a long promise: targeting GPUs! And Bend is a new, Python-like and Haskell-like language to interface with it.

Let me know if you have any questions!

2y agoHN ↗

Also, I wonder if you will agree with me, but I'm perhaps too bothered by this title? We'd probably use something more mundane, like:

- Bend: a high-level language that runs on GPUs, powered by HVM2

Or something similar. I don't like this one because it feels too self-important and not really informative (how do you know what it is about without clicking?). But perhaps I'm overthinking this?

2y agoHN ↗

I agree with you, I don’t think this title is helping with parsing what this is about, nor is it helping with discoverability.