frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Common beliefs about DNSSEC put to the test

https://circleid.com/posts/common-beliefs-about-dnssec-put-to-the-test-an-invitation-to-fact-chec...
1•ibobev•37s ago•0 comments

Pratt parsing is a black box

https://vinipsmaker.github.io/blog/article/pratt-parsing-is-a-black-box/
1•ibobev•48s ago•0 comments

When Does Your Acme Client Renew?

https://devops-daily.com/posts/lets-encrypt-64-day-certificates-renewal-check
1•ibobev•1m ago•0 comments

Show HN: Traccia – Vendor-neutral runtime control for AI agents

https://github.com/traccia-ai/traccia-py
1•vijaypoudel•1m ago•0 comments

Userland Linux scheduler in Rust – faster than time

https://kapteko.com/userland-linux-scheduler-in-rust/
1•fessguid•2m ago•0 comments

AI 'panic': Back office jobs cut – but not the expected roles

https://www.rnz.co.nz/news/science-and-technology/2327983/ai-panic-back-office-jobs-cut-but-not-t...
3•billybuckwheat•4m ago•0 comments

Formalizing Nvidia PTX in Lean to Prove GPU Kernel Correctness

https://sf-tensor.com/engineering/formalizing-ptx
1•adamnemecek•4m ago•0 comments

How astronauts are casting their mid-term votes from space

https://time.com/article/2026/11/03/how-astronauts-are-casting-their-midterm-votes-from-space/
1•dcminter•4m ago•0 comments

Show HN: Bookmarker - A minimal, private bookmark organizer for macOS

https://github.com/meraccos/bookmarker
1•meraccos•4m ago•1 comments

Show HN: ZapFast, Native WhatsApp for Linux, macOS, and Windows with Calls

https://zapfast.rocks/
2•earcar•9m ago•0 comments

Pyinfra – simple infrastructure automation in Python

https://death.andgravity.com/pyinfra
1•lumpa•10m ago•0 comments

SurrealDB 4 and SurrealDB Earth: A serverless database built on Cloudflare

https://surrealdb.com/earth
3•tobiemh•11m ago•0 comments

Core to core is not core to core

https://jacen.li/writings/core-to-core-is-not-core-to-core/
1•ceryle•12m ago•0 comments

Revived Pig Kidneys Frozen for a Year Could Rewrite Future of Organ Transplants

https://gizmodo.com/scientists-just-revived-pig-kidneys-frozen-for-a-year-it-could-rewrite-the-fu...
1•gmays•13m ago•0 comments

New Security Developer at the PSF

https://pyfound.blogspot.com/2026/10/announcing-new-security-developer-2026.html
1•lumpa•13m ago•0 comments

Kimi-k3-in-C: A 2.78T-parameter model. No GPU. 8 GB of RAM

https://github.com/FareedKhan-dev/kimi-k3-in-c
1•theHocineSaad•13m ago•0 comments

Nine engineers, 1,211 PRs in a day: Lessons from building Copilot Cowork

https://commandline.microsoft.com/how-we-built-copilot-cowork-python-to-rust-migration/
1•droidjj•14m ago•0 comments

The Return of the Stock Market

https://siliconempires.substack.com/p/the-return-of-the-stock-market
1•smartmic•15m ago•0 comments

Spar – Make Claude and Codex argue to get the best outputs

https://github.com/spar-ai-app/spar
1•dotarsojat•15m ago•0 comments

$20M in Fines and Vizio Smart TVs Opt Out of Spying Option Does Nothing

https://pcper.com/2026/11/20-million-in-fines-and-still-vizio-smart-tvs-opt-out-of-spying-option-...
2•speckx•16m ago•0 comments

Show HN: HackerByte – Finding promising AI stories by analyzing HN discussions

https://hackerbyte.net
1•bakigul•17m ago•0 comments

Improved asteroid deflection model runs faster, reveals more doomsday worries

https://www.theregister.com/science/2026/11/03/improved-asteroid-deflection-model-runs-faster-rev...
1•jjgreen•19m ago•0 comments

Anomaly detection for alerting: statistics, LLMs and decision models compared

https://anomaly-detection.coroot.com/
1•nikolay_sivko•19m ago•0 comments

Show HN: A framework for Raspberry Pi pico projects

https://github.com/AdrianCX/picohive-firmware
1•AdrianCX•23m ago•0 comments

Show HN: Twitter but you can only use paint

https://peck.pikju.com/
1•baby•25m ago•0 comments

100 Fly Brains Play Doom

https://namespace.so/blog/fly-brains-play-doom
1•benwen•25m ago•0 comments

Three Points on AI Safety

https://nicholasdecker.substack.com/p/three-points-on-ai-safety
1•speckx•27m ago•0 comments

Odin OS: Cryptographically authorized memory access on RISC-V

https://zenodo.org/records/23928302
1•nwalker85•27m ago•0 comments

North Korea used LinkedIn, fake job interviews to trick Binance engineer

https://fortune.com/2026/11/03/binance-hack-details-linkedin/
4•overcast•28m ago•0 comments

New strategies for the cognitive science of dreaming (2024)

https://pmc.ncbi.nlm.nih.gov/articles/PMC11623913/
1•Daniel_Van_Zant•29m ago•0 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.