Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Nvidia announces native GPU programming in Rust(nvidia.com ↗)
    92comments
  2. Training a 4B model to produce 81% faster query plans than Postgres(rohanbansal.com ↗)
    84comments
  3. Breaking the 1.58-bit Barrier for Ternary LLMs(arxiv.org ↗)
    16comments
  4. Xiaomi Mimo 2.6 live post-training dashboard(xiaomi.com ↗)
    63comments
  5. Backups Aren't Simple(filipovski.net ↗)
    29comments
  6. Small programming tricks(will-keleher.com ↗)
    181comments
  7. The engineering behind the US Strategic Petroleum Reserve(johnjwang.com ↗)
    28comments
  8. OpenSpec – A lightweight and configurable AI spec framework(openspec.dev ↗)
    15comments
  9. Reversing Factorio's RNG(gegell.github.io ↗)
    17comments
  10. HarnessTax: How Much Does the Harness Matter for Coding Agents?(harnesstax.github.io ↗)
    4comments
  11. Performance Improvements in .NET 11(devblogs.microsoft.com/dotnet ↗)
    32comments
  12. AWS says it can't restore some data from mideast facilities struck by Iran(wsj.com ↗)
    195comments
  13. Australia says it could follow Canada in forging deeper ties with EU(independent.co.uk ↗)
    70comments
  14. Reverse-engineered Jev-like model(github.com/vinnylarouge ↗)
    9comments
  15. Japan's book scene is moving from bookstores to libraries(untranslatedjp.substack.com ↗)
    39comments
  16. Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations(github.com/arnegiacomo ↗)
    239comments
  17. How good are frontier models at physics?(arxiv.org ↗)
    38comments
  18. Why Does the Universe Expand?(cosmicave.org ↗)
    10comments
  19. Anecdotally, programmers dislike "reduce"(evanhahn.com ↗)
    152comments
  20. I replaced my brown-noise browser tab with a menu bar app(oldmanrahul.com ↗)
    7comments
  21. Developing provably correct Rust code with Verus(amazon.science ↗)
    discuss
  22. Anatomy of a Texture(agentlien.github.io ↗)
    13comments
  23. Dream-RSI: Recursive Self-Improvement through Evolving Worlds(arxiv.org ↗)
    49comments
  24. Accurate Models of AMD Matrix Cores(arxiv.org ↗)
    7comments
  25. Destroy After Reading: photocopiers,cheap paper and DIY gave metal it's look(truegrittexturesupply.com ↗)
    3comments
  26. Hackers Got Inside a Flock Camera(wired.com ↗)
    217comments
  27. Training Text-to-Image Models 3.6× Faster(linum.ai ↗)
    7comments
  28. The DeepMind Institute(deepmind.com ↗)
    43comments
  29. OpenAI Discloses Six New Incidents of ‘Concerning’ A.I. Behavior(nytimes.com ↗)
    4comments
  30. Tell the speakers that you liked their talks(ohhelloana.blog ↗)
    75comments

OpenSpec – A lightweight and configurable AI spec framework

57 pointsby 2h agoopenspec.dev
15 comments
2h agoHN ↗

I've been using this, or more pointedly, I built an agent fleet (bespoke harness) where the planner agent uses OpenSpec to generate the plan. Then turns the tasks into a ticket graph.

It works fairly well, and it is definitely less heavy than SpecKit.

1h agoHN ↗

This looks like exactly what I've been thinking I needed. I've tried Superpowers, GSD and oh-my-claude/openagent and mostly they burn more tokens.

Lately I've been using stock OMP and its close to the right balance but not quite enough of the brainstorming and spec maintenance built in. I've tried to layer some simple stuff on myself but with mixed results.

1h agoHN ↗

I think they might be in the process of re-designing the site and/or moving docs because it all used to work not that long ago, but the site design was completely different last time I checked.

1h agoHN ↗

This is my first time seeing openspec, and it seems to share a similar philosophy to what I've been working on this year.

If you like this / SDD, I'd appreciate your feedback:

https://github.com/spekk-ai/spekk-cli

Similar iterative specs philosophy. Ours is a bit different because we focus on declarative specs and installable agent skills. We chose Go for simplicity and minimal requirements (single binary).

1h agoHN ↗

I've also been building something like this, and browsing spekk-cli, it's interesting to see that we ended up with similar roles. Might be fun to compare and contrast a couple of these systems. :)

1h agoHN ↗

It's just a bundle of skills and md files...

Why does it need to have an entire CLI?

1h agoHN ↗

The CLI is actually useful. It gives the skills a way to deterministically interact with the spec. For example, it can validate the shape without having to spend tokens reading the files.

58m agoHN ↗

What are people using for this nowadays?

There seems to be a spectrum from fluid, iterative workflows like OpenSpec to more up-front alignment and control like Matt Pocock skills.

Curious what people have settled on.

19m agoHN ↗

Symlink the global MD files to a single file I control that is versioned. Define my own general spec and workflow terminology using markdown files in this universal MD.

```

~/.config/opencode/AGENTS.md

~/.claude/CLAUDE.md

~/.codex/AGENTS.md

~/.copilot/copilot-instructions.md

~/.gemini/GEMINI.md

```

Define it as a graph and iterate. I use more tokens, but I can also use more tools without disruption. Delegating markdown to folders/smaller repos can solve the tokens/context issue.

53m agoHN ↗

LOVE. LOVE. LOVE. Openspec.

Easily my favorite spec driven development framework.

It scored really well in our internal evals as well.

I think it has the most sane ceremony and its model fits my mental model really well.

I've also been working on a TUI that will automatically generate "phases" with each one being a openspec spec.

I would highly recommend trying out SpecDriven development. I found it to be the most productive way to work with LLMs for larger tasks, and I have found that it improves performance on larger tasks.

To me, this is where LLMs should go. Collaborating on shared documents that serve as a contract that then gets evaluated post-implementation

I've made multiple attempts to write domain-specific languages for LLMs to use to guide software architecture so that I can have higher-quality software architecture and also so that it can communicate ideas to me in a more terse way.

One thing that I think LLMs are lacking right now is information density. I'm a guitarist, and I like this game called Rocksmith, but I think that its user interface kind of sucks. It's fun to play along with the songs, and it's fun that it scores me on the songs and gamifies playing guitar. For dense notes, the user interface just isn't very good.

That kind of made me think more about information density. A sheet of notes is very dense, but it takes a little more time to process. Guitar tablature is slightly less dense, but I think it strikes a better balance between treble clef and Rocksmith. Really, I'd rather have all three of those presented to me.

This is really where I'd like to go with how I'm writing software now. LLMs: I'd love to be able to just create a specification that is very dense and describes domain-driven design concepts to the LLM, and then have a workflow that will do adversarial review to evaluate those concepts after implementing a phase.

This also kind of solves part of the problem with design decisions and artifact storage and all those things that we kind of see LLMs scatter around a codebase. If it exists in the spec, then it can be referenced later, and you can document changes, etc. Also, if you do the spec right, it could be language-agnostic.

39m agoHN ↗

Tired of wrestling JIRA for AI project specs. If this actually streamlines things, I'm definitely giving it a look.

28m agoHN ↗

Haven’t we moved on from these things? Most recent LLMs have been trained on enough long context tasks to have become pretty good at planning. Perhaps with contributions from the harness. In either case, I wouldn’t bother if I were using Codex or Claude Code.

14m agoHN ↗

They can plan, but no guarantee it will produce what you want. Sometimes most of the work is aligning on what to build. And I'm not handing over technical planning to it yet.

I use this skill and it makes the specing process progressive. Human driven for the "what", 50/50 for higher level technical planning, only where it has questions in the low level details: https://github.com/scosman/vibe-crafting