frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Why Writing Correct Software Is Hard

https://pron.github.io/posts/correctness-and-complexity
1•AriFordsham•33s ago•0 comments

Show HN: Europe's gas storage, updated daily from public GIE and ENTSOG data

https://gas.beetl.io/
1•rykam•1m ago•0 comments

Carpathron Remote

https://qubitpage.com/remote
1•msrusu•2m ago•0 comments

What is static analysis, really?

https://danielefilaretti.com/what-is-static-analysis/
1•AriFordsham•2m ago•0 comments

Hackers breached AWS accounts through unused third-party access permissions

https://www.wiz.io/blog/qubole-cross-account-access-abused-in-the-wild
2•DonAtimator•3m ago•0 comments

Costcrew a app to manage AI spending

1•ArchEagle•3m ago•0 comments

Every Architecture Is a Receipt

https://hrih.si/articles/every-architecture-is-a-receipt/
1•DonAtimator•4m ago•0 comments

Israeli strike on a Gaza hospital kills 6 people, health authorities say

https://apnews.com/article/gaza-israel-hospital-strike-people-killed-50b547b5a82388b6b415aee4d776...
1•hebelehubele•5m ago•0 comments

Design software reimagines everyday objects as self-aware devices

https://news.mit.edu/2026/design-software-reimagines-everyday-objects-as-self-aware-devices-1022
1•rbanffy•6m ago•0 comments

Kensler's permute(): stateless, constant-time shuffled iteration

https://andrew-helmer.github.io/permute/
1•joshcsimmons•10m ago•0 comments

Coding Agents and Software for One

https://rumple.github.io/blog/2026/11/06/coding-agents-and-software-for-one.html
2•saikatsg•14m ago•0 comments

Show HN: StringRipper – pull URLs and strings out of running Windows processes

https://github.com/akustikrausch/StringRipper
1•akustikrausch•16m ago•0 comments

Despite Denial, Trump Was Told on Trip to China About Spying on Nvidia Leader

https://www.nytimes.com/2026/11/10/us/politics/trump-china-trip-nvidia.html
2•vrganj•19m ago•1 comments

Why most crypto track records mislead [pdf]

https://aevumprotocol.io/papers/did-they-call-it.pdf
1•Quinte2885•20m ago•0 comments

What if I had bought Apple stock with every iPhone?

https://www.seriousaboutech.com/2026/11/iphoneapplestocks.html
1•janandonly•21m ago•0 comments

Show HN: Wordout, an open-source daily word game with no server

https://dilippanicker.github.io/wordout/play/
1•onglipo•28m ago•0 comments

Show HN

https://github.com/msbayindir/panosync
2•msefabayindir•29m ago•0 comments

Connecting identity lifecycle to cryptographic key management

https://github.com/lecodev-26/nexus-q
1•lecodev•30m ago•0 comments

Walk in Bengaluru Traffic

https://www.bengaluruwalk.wtf/
1•josharsh•31m ago•1 comments

Elon Musk says it would be an honor to hire Jensen Huang

https://www.bloomberg.com/news/articles/2026-11-12/elon-musk-says-it-would-be-an-honor-to-hire-nv...
3•amelius•34m ago•2 comments

29M Japanese Buildings

https://tech.marksblogg.com/japanese-building-footprints.html
1•marklit•34m ago•0 comments

Weird licenses and the new open source

https://dustri.org/b/weird-licenses-and-the-new-open-source.html
1•birdculture•34m ago•0 comments

Show HN: Open-source animated UI icons your coding agent can add to

https://generativeicons.com/
1•reallynattu•39m ago•1 comments

Ring launches a home security drone and an enterprise security robot

https://techcrunch.com/2026/11/10/ring-known-for-its-doorbell-cameras-launches-a-home-security-dr...
2•edward•41m ago•1 comments

Show HN: Veshell – Your Linux apps on a map, not on a desktop

https://free-explorers.com/veshell
2•PapyElGringo•43m ago•1 comments

I gave an AI a week to make something interesting or I switch it off

https://lira-ia.github.io/
1•nantignolo•46m ago•1 comments

Zpq 0.5.2 – optimized Parquet locally or in S3 with Zig

https://github.com/chicagobuss/zpq/releases/tag/v0.5.2
1•chicagobuss•47m ago•1 comments

DeepL unveils Aure, its most lifelike Voice AI translation model yet

https://www.deepl.com/en/press-release/aure-voice-ai-model
2•ngruhn•49m ago•0 comments

I matched Opus 4.5 on ARC-2 with a 100M looped transformer that never saw text

https://mvakde.github.io/blog/looped-mdlarc/
2•evilmathkid•49m ago•0 comments

AWS Emulator

https://docs.aws.amazon.com/emulator/
1•BerislavLopac•52m ago•2 comments
Open in hackernews

Show HN: VibeSpec – A tool to generate structured specs for Spec2Code

https://vibespec.guaeca.com
1•paulistaunb•1y ago
I've been experimenting with a new concept called Spec2Code, and just launched a prototype SaaS tool named VibeSpec.

We hear a lot about no-code, low-code, or prompt-to-code—but these often rely on constant human input.Most agents today need us every few seconds: write a prompt, check the output, correct, repeat. You can’t step away. You definitely can’t ask them to build overnight.

Spec2Code is different. It draws from how engineers in aerospace or automotive define complex systems: with structured, layered specifications. The goal is to give agents enough information upfront that they can work autonomously for 15–30 minutes at a time—without micromanagement.

The hardest part? Writing those specs.

Nobody enjoys it, and tooling for structured requirements is basically non-existent in the software world.

So I built VibeSpec, a tool (and eventually, a framework) to turn loose ideas into structured, machine-usable specs—using agents designed specifically for that task.

Once done, the specs can be handed off to coding agents for implementation.

You can check it out here: https://vibespec.guaeca.com And here’s what the agents built from one of these specs: https:https://secretmessage.guaeca.com/

~10 minutes writing the spec with the agent ~10 minutes refining via “vibe coding” (adding missing cases) ~5 minutes testing + iterating

Would love to hear thoughts from others working on agent workflows or spec-driven development.