frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open Source Games

https://opensourcegames.dev/
1•tokozedginidze•37s ago•0 comments

Anthropic's Public Benefit Charter

https://www.anthropic.com/public-benefit-charter
1•pretext•1m ago•0 comments

What I saw inside Anthropic: AI lab pushes towards recursive self-improvement

https://www.theargumentmag.com/p/what-i-saw-inside-anthropic
1•thoughtpeddler•2m ago•0 comments

Xbox reportedly planning three more rounds of layoffs

https://www.eurogamer.net/xbox-layoffs-october-november-january-report
2•password54321•2m ago•0 comments

Canopy and Tide – 3D nature sounds synthesized live in the browser

https://canopytide.com
1•sleeploops•2m ago•0 comments

Working as a Conductor

https://jw.hn/working-as-a-conductor
1•jwpapi•3m ago•0 comments

Software Finds Its Natural Size

https://arbesman.substack.com/p/software-finds-its-natural-size
1•stevekrouse•3m ago•0 comments

eBay to lay off 9% of workforce in push to simplify operations

https://www.reuters.com/business/world-at-work/ebay-lay-off-9-workforce-push-simplify-operations-...
1•password54321•3m ago•0 comments

Run many agents 3x faster on your Mac

https://github.com/Generated-Computers/Locals
1•machinestein•3m ago•0 comments

Corporate Linux

https://lpar.ATH0.com/posts/2026/10/corporate-linux/
1•speckx•3m ago•0 comments

Legora Agentic Legal AI raises $550M at $8B Valuation

https://legora.com/blog/series-e
1•bigwheels•4m ago•0 comments

Fake polling firm fooled media for months- then someone checked the raw data

https://statmodeling.stat.columbia.edu/2026/10/20/legit-political-reporters-use-data-journalism-t...
1•Vaslo•4m ago•0 comments

A Vote Tomorrow Could Ban Horse Carriages in Central Park

https://www.nytimes.com/2026/10/21/nyregion/horse-carriage-ban-city-council.html
1•geox•5m ago•0 comments

Top AI Agent Skills for Building Live Streaming Apps

https://www.red5.net/blog/ai-agent-skills-live-streaming-app-development/
1•mondainx•6m ago•0 comments

The Immigration Enforcement Hydra Without a Kill Switch

https://www.lawfaremedia.org/article/the-immigration-enforcement-hydra-without-a-kill-switch
1•hn_acker•7m ago•0 comments

Rooftop Koreans saved neighborhoods in 1992 LA Riots, protected by 2nd amendment

https://en.wikipedia.org/wiki/Rooftop_Koreans
2•khelavastr•7m ago•0 comments

What Goes Quant Next?

https://faintsignals.substack.com/p/what-goes-quant-next
1•jbredeche•8m ago•0 comments

Archestra 1.4: OpenAPPA and Self Hosted Runtime for Claude Code and Codex

https://github.com/archestra-ai/archestra/releases/tag/platform-v1.4.0
8•ildari•10m ago•0 comments

English and the Interpreter

https://ctx-lab.com/field-notes/english-and-the-interpreter/
1•feisal•11m ago•0 comments

Trajecktory, an open-source, local-first job search dashboard

https://github.com/michaelinghilterra-creator/trajecktory
1•michaelinghilte•11m ago•0 comments

With AI coding the future of software development looks more grim

https://unixdigest.com/articles/with-ai-coding-the-future-of-software-development-looks-more-grim...
1•bitbasher•11m ago•0 comments

Blocking the Internet Archive Will Not Stop AI [Brewster Kahle]

https://www.theatlantic.com/technology/2026/10/blocking-internet-archive-will-not-stop-ai/689065/
2•bookofjoe•11m ago•1 comments

MoreSo – A photo record of your skin that shows what your products do

https://moresohealth.com
1•chancebeyer•12m ago•0 comments

Anthropic posts $80B loss in first half of 2026

https://www.aljazeera.com/news/2026/10/21/anthropic-posts-80bn-loss-in-first-half-of-2026-wsj
2•AnodicElegy•13m ago•0 comments

Show HN: Moodly – A free mood tracker that keeps entries in the browser

https://mood-tracker.org/
1•liweipt•13m ago•0 comments

Haskell Language Server 2.15.0.0

https://blog.haskell.org/hls-2-15-0-0/
1•andrewstetsenko•13m ago•0 comments

SilkStack – Local ComfyUI image browser with on-device semantic search

https://github.com/skkut/SilkStack-Image-Browser
1•skkdk•15m ago•0 comments

In Context – Rich Hickey (Clojure/Conj 2026) [video]

https://www.youtube.com/watch?v=P5eO7BNyJao
1•uh1•15m ago•0 comments

CorridorKey 2.0: Neural green and blue screen keyer

https://github.com/nikopueringer/CorridorKey2.0
1•harkh•16m ago•0 comments

Trump endorses Netanyahu ahead of Israeli elections

https://thehill.com/homenews/administration/6156511-trump-calls-netanyahu-peace-partner/
7•handfuloflight•16m ago•1 comments
Open in hackernews

Formal Methods for Spec-Driven Development: Catching Requirement Conflicts

https://blog.fizzbee.ai/formal-methods-for-spec-driven-development-catching-requirement-conflicts-as-products-evolve/
4•jayaprabhakar•1h ago

Comments

jayaprabhakar•45m ago
Author here. FizzBee is a model checker I’ve been building, with the goal of bringing formal methods to mainstream software engineering.

In this article, I take a requirements specification for a simple CRUD app, and show how writing the spec in a formal language helps catch requuirements conflicts as the product evolves.

Feedback welcome.

jayaprabhakar•31m ago
This is a follow up to my previous post that finds requirements completeness issues. https://blog.fizzbee.ai/formal-analysis-in-requirements-spec...