GitHub/spec-kit: Get started with Spec-Driven Development

Comments (1)

westurner · 4h ago

How is this distinct from workflows that include README.md, AGENTS.md or .agents/, and subagents?

"AGENTS.md – Open format for guiding coding agents": https://news.ycombinator.com/item?id=44957443

How does the proposed software development process differ from Formal Methods (i.e. Formal Specification, Implementation, and Verification)?

Using MacBook sensor API to make screen hinge sound like old wooden door (twitter.com)

Need help with FAANG-o-meter (sagastar.com)

When Australian scientists almost brought back the extinct gastric brooding frog (abc.net.au)

How Much of Indian Medicine Is Bad? (sayacare.in)

Longhorn – A Kubernetes-Native Filesystem (vegard.blog.engen.priv.no)

Aspected Orinted Programming and Structured Logging

Nvidia-backed U.S. atomic fusion firm eyes reactor in Japan (japantimes.co.jp)

Platypuses glow under UV light and we have no idea why (2020) (nytimes.com)

Building Towards AGI (poolside.ai)

The "impossibly small" Microdot web framework (lwn.net)

The Garden Speaks: On Cucumbers, Mildew, and Projects (zakelfassi.com)

Wix

Patterns, PREDICTIONS, AND ACTIONS A story about machine learning [pdf] (mlstory.org)

Facing stiff competition, remote workers up their game (apnews.com)

Forget love triangles. Meet the 'polycule' with 80 people in it (thetimes.com)

Magnetic Bubble Memory (smbaker.com)

Performant girl and performative male in SF

What the Next 5 to 10 Years Look Like – Prof. Jiang Xueqin [video] (youtube.com)

Liberalism Without Illusions (democracyjournal.org)

Resources, Laziness, and Continuation-Passing Style (journal.infinitenegativeutility.com)

Elizabeth Gilbert on Distinguishing Between Hobbies, Jobs, Careers, & Vocation [video] (youtube.com)

MVC: Xerox PARC 1978-79 – Trygve Reenskaug (folk.universitetetioslo.no)

The Lunar Cowboy: Introducing unittest-fixtures (lunarcowboy.com)

Postal traffic to U.S. fell 80% after gov stopped exemption on low-value parcels (cbsnews.com)

Show HN: CRoM – Context Rot Mitigation System for RAG-Based LLMs (github.com)

Dream: Visual Decoding from Reversing Human Visual System (github.com)

Tickets win $1.787B Powerball jackpot (powerball.com)

Macaws learn by watching interactions, a skill never seen in animals before (phys.org)

Ask HN: I'm building an AI database client for macOS in Swift. Is it a bad idea?

LSU AgCenter low glycemic rice shows promise for diabetics (lsuagcenter.com)

Show HN: I am vibe coding a collaborative vibe coding tool

Bad Muscle Memory (aborg.dev)

Unofficial Windows 11 requirements bypass tool allows disabling all AI features (neowin.net)

Building a Search Engine 15 times fuzzier than Lucene (andrewjsaid.com)

Charlie Rose: Niall Ferguson on How Trump Is Changing USA and the World (youtube.com)

Barnes and Noble to acquire Books Inc, saving 174-year-old store from bankruptcy (sfstandard.com)

AI Datacenters Eat the World (By High Yield) [video] (youtube.com)

The Claude Code Framework Wars (shmck.substack.com)

One of the most sacred places is being turned into a luxury mega-resort (bbc.com)

Pussy Riot Member Detained at Polish Border on Turkmenistan's Request (themoscowtimes.com)

Show HN: "All Bitcoin transactions are JPEGs" (twitter.com)

Introduction to Real Analysis (alexkontorovich.github.io)

Show HN: Glass Caustic Simulation (chaidhat.com)

New URL shorter futures available for free (sites.google.com)

RFC 3339 vs. ISO 8601 (ijmacd.github.io)

EmbeddingGemma Model Card (ai.google.dev)

Nano AI: A Free and Useful AI Tool Box (nanoai.run)

Code.org Hour of AI (code.org)

A prudent planetary limit for geologic carbon storage (nature.com)

AI Is Currently Hitting the Wall of Code Structure (modgo.org)

GitHub/spec-kit: Get started with Spec-Driven Development

Comments (1)