frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Ask HN: Retro Games for Kids

1•atakan_gurkan•53s ago•0 comments

Show HN: Tera.fm – A calm, radio-style way to listen to today's tech news

https://tera.fm
2•digi_wares•2m ago•0 comments

How to Install Cosmic Desktop on Ubuntu 24.04 LTS

https://linuxiac.com/how-to-install-cosmic-desktop-on-ubuntu-24-04-lts/
1•ipeev•6m ago•0 comments

Show HN: Library for HTML interaction using voice agent

https://github.com/rajnandan1/atticus
1•rajnandan1•7m ago•0 comments

How Apple works: Inside the biggest startup (2011)

https://fortune.com/2011/05/09/inside-apple/
1•ValentineC•9m ago•0 comments

Proposal: Extract the Parser of TypeScript Native into a Standalone Go Module

https://github.com/microsoft/typescript-go/discussions/2442
1•narukeu•10m ago•1 comments

Resurrecting My Game Dev Time with AI

https://rsaul.com/resurrecting-my-game-dev-project-with-ai/
1•TheGRS•10m ago•0 comments

AGI is here (and I feel fine)

https://www.robinsloan.com/winter-garden/agi-is-here/
1•jonas21•10m ago•1 comments

Show HN: Enclose Horse – Daily Puzzle Game

https://enclosehorse.com/
1•cottomzhang•13m ago•0 comments

Show HN: LeetCode on Steroids

https://leetduck.com/
1•collinboler2•15m ago•0 comments

Featherbase

https://www.featherbase.info/
2•aratno•16m ago•0 comments

PgX – Debug Postgres performance in the context of your application code

https://docs.base14.io/blog/introducing-pgx/
2•rshetty•16m ago•0 comments

Fund managers prepare for 'reckoning' in US tech sector

https://www.ft.com/content/48d9c100-0ec6-4edf-9395-eb44879ea5c6
2•zerosizedweasle•17m ago•0 comments

A Tutorial on Safe Anytime-Valid Inference [pdf]

https://www.alexander-ly.com/wp-content/uploads/2025/08/saviTutorial.pdf
2•colonCapitalDee•21m ago•0 comments

Show HN: LensFlowPro – Native macOS screen recorder with system audio capture

https://lensflowpro.vercel.app/
2•chenjy16•28m ago•0 comments

AIVO Standard Methodology Note: Correction and Assurance Ledger

https://zenodo.org/records/18168755
2•businessmate•30m ago•3 comments

Investing Mastery with Nick Sleep: Nomad's Costco Investment

https://quartr.com/insights/investment-strategy/investing-mastery-with-nick-sleep-nomad-s-costco-...
2•akbarnama•32m ago•0 comments

WebF Beta: Bring JavaScript and the Web Dev to Flutter

https://openwebf.com/en/blog/announcing-webf
2•mogomogo19292•36m ago•0 comments

A glimpse into V8 development for RISC-V

https://riseproject.dev/2025/12/09/a-glimpse-into-v8-development-for-risc-v/
3•floitsch•38m ago•1 comments

Most Shorted Stocks of 2025

https://oncow.com/market-insights/most-shorted-stocks/2025
2•lakshmananm•39m ago•0 comments

FreeBSD and Poudriere in High Security Environments

https://vermaden.wordpress.com/2026/01/07/freebsd-and-poudriere-in-high-security-environments/
2•vermaden•42m ago•0 comments

LMArena is a cancer on AI

https://surgehq.ai/blog/lmarena-is-a-plague-on-ai
3•jumploops•46m ago•0 comments

A game engine based on dynamic SDFs [video]

https://www.youtube.com/watch?v=il-TXbn5iMA
3•agys•46m ago•0 comments

Japanese Washi Paper

https://paper.gatech.edu/washi/washi-history-japanese-papermaking
2•1659447091•49m ago•1 comments

2025 Buy-Side Quant Job Advice

https://byfire.substack.com/p/2025-buy-side-quant-job-advice
2•throwaway2037•51m ago•0 comments

Ask HN: What is your set-up and process for using AI agents in Coding

2•neumann•54m ago•0 comments

The Untold Story of Charlie Munger's Final Years

https://www.msn.com/en-us/money/personalfinance/the-untold-story-of-charlie-munger-s-final-years/...
3•gregzeng95•1h ago•1 comments

What Social Science Knows About the Value of Diversity

https://www.theatlantic.com/ideas/archive/2025/08/viewpoint-diversity-profit-business/684025/
2•johntfella•1h ago•1 comments

Lego's 'SMART brick' is designed for interactive play without screens

https://www.designboom.com/design/lego-smart-brick-interactive-play-screen-free-ces-01-07-2026/
2•geox•1h ago•1 comments

Logitech Options+ not working on macOS due to expired cert

https://old.reddit.com/r/LogitechG/comments/1q62t6z/known_issue_with_g_hub_and_mac_os_1626/
6•lattalayta•1h ago•0 comments
Open in hackernews

Deterministic full-stack system generation from natural language (with proofs)

https://github.com/devmatrix-ai/devmatrix-public
1•aeghysels•1d ago

Comments

aeghysels•1d ago
Hi HN,

This is an experiment in treating software generation as compilation, not text generation.

The system takes a natural-language specification and produces a full-stack application (backend, frontend, tests) through a deterministic IR → passes → emitters pipeline.

The same spec compiled twice produces bit-identical output (same files, same tests, same hashes).

There is no post-editing, no human intervention between runs.

The repo includes: • the input spec • the generated system • pipeline manifests / evidence • instructions to reproduce and verify determinism

I’m not claiming this replaces developers or current tools. The point is to explore whether software generation can have compiler-level guarantees instead of probabilistic ones.

Feedback and criticism welcome.

https://github.com/devmatrix-ai/devmatrix-public