Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. We Built a City of 10k AI Researchers (lab.cloud)
    —discuss
  2. Congestion pricing funds $5M program for overnight truck deliveries in NYC (gothamist.com)
    —discuss
  3. Show HN: I built 11 Sudoku variants – killer cage generation was the hard part (iqiqgame.com)
    1comments
  4. Side-Channel Leakage from the File-Notification System (inoti.fyi)
    1comments
  5. Learning to Discover Interesting Mathematics (arxiv.org)
    —discuss
  6. Research into file-notification attacks on Linux (lwn.net)
    —discuss
  7. FDA panel endorses first-of-a-kind cancer blood test from Grail (apnews.com)
    —discuss
  8. Government considers £11 monthly UK broadband fee to fund BBC TV (ispreview.co.uk)
    1comments
  9. Show HN: Today I deployed this Durable Chat application and was impressed (netly.workers.dev)
    —discuss
  10. AICore: Exploring an adaptive control layer for heterogeneous PCs (github.com/7-hello007)
    —discuss
  11. Scaling Laws for Neural Language Models (first "scaling laws" paper from 2020) (arxiv.org)
    —discuss
  12. Bad examples can override agent skill files (codecut.ai)
    —discuss
  13. Search and Recommender Engines AI (github.com/alopatenko)
    —discuss
  14. Ask HN: Who is smarter than you that you listen to what they have to say?
    1comments
  15. Using AI to Contribute to Open Source (visidata.org)
    1comments
  16. Show HN: Apple Ads as Infra as Code (github.com/picubedllc)
    —discuss
  17. Supreme Court's emergency rulings imposing institutional costs (thehill.com)
    —discuss
  18. Show HN: Zchyoom - Live-ish Shinkansen Map (nyoom.io)
    1comments
  19. Human Help to Survive AI (cdtglobal.org)
    1comments
  20. Spec Vibing with Speccheck (github.com/rioffe)
    1comments
  21. The End of Apps and Websites (judahgabriel.com)
    1comments
  22. MentalHealthBench (openai.com)
    —discuss
  23. Some data centers could consume more power than major cities (visualcapitalist.com)
    —discuss
  24. Global bond sell-off deepens, sending borrowing costs higher around the world (cnn.com)
    —discuss
  25. How to serve trillions of tokens for trillion-parameter coding agents (modal.com)
    —discuss
  26. YouTube Announces A/B Testing for Video Contents (reddit.com)
    —discuss
  27. Appointing AIs to manage bitter political divisions (spakhm.com)
    —discuss
  28. Nike's Phil Knight donates $1B to establish engineering school at U Oregon (nytimes.com)
    2comments
  29. Stripe Link exposes merchants to undefendable fraud risk
    —discuss
  30. Fagan – frontier models plan and review, open-weight models write code (github.com/motock)
    —discuss

Spec Vibing with Speccheck

1 pointsby 42m agogithub.com
1 comments
42m agoHN ↗

Over the past four years, I've shipped a lot of vibe-coded software. It feels great in the moment — but keep vibe coding the same project on and off for three to six months, and the technical debt piles up. Things start falling apart at the seams, and you end up playing whack-a-mole with bugs popping up in unexpected places. So between Andrej Karpathy's vibe coding and Professor Andrew Ng's more rigorous AI Engineering, there has to be a middle ground. I call it spec vibing. Enter speccheck — a set of agentic skills that:

* write, review, and revise the spec (the document you hand your coding agent) * plan the build in waves (small, verifiable increments rather than one big build) * build against the spec * then run speccheck as a final gate before you call it done

speccheck answers one question: do you have evidence that what the coding agent built fully satisfies the spec? It can check this two ways — mechanically (grep-like, fast but not very reliable), or using LLM-as-judge (local or remote). The coding agent iterates until your code is speccheck clean.

The introduction: https://rioffe.github.io/speccheck