frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

MathCode, Mathematical Coding Agent

https://math-ai-org.github.io/mathcode/
10•homarp•1h ago

Comments

homarp•1h ago
A terminal AI coding assistant with a built-in math formalization engine — describe a problem in plain language and it converts it into a Lean 4 theorem and attempts a formal proof.

A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better"

https://rvembedded.com/blog_post/12/
136•Narishma•2h ago•48 comments

Claude: System Prompts

https://platform.claude.com/docs/en/release-notes/system-prompts
388•tosh•6h ago•164 comments

The AI Credit Resale Economy

https://vectoral.com/blog/who-are-the-token-brokers
162•mlenhard•4h ago•63 comments

St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core

https://www.wptv.com/news/treasure-coast/region-st-lucie-county/saint-lucie-nuclear-power-plant-u...
102•toomuchtodo•4h ago•63 comments

NIH is ending a key grant for budding clinical researchers

https://www.science.org/content/article/nih-ending-key-grant-budding-clinical-researchers
70•brandonb•3h ago•25 comments

MathCode, Mathematical Coding Agent

https://math-ai-org.github.io/mathcode/
11•homarp•1h ago•2 comments

Anton Chekhov played at love most of his life

https://commonreader.wustl.edu/winning-and-losing-at-the-great-game-of-intimacy/
35•lermontov•1d ago•3 comments

GPS and the Lost Art of Getting Lost

https://www.newyorker.com/news/annals-of-inquiry/gps-and-the-lost-art-of-getting-lost
47•karakoram•4h ago•38 comments

Clamiga: Common Lisp for the Amiga

https://nnamgreb.de/blog/Clamiga+-+Common+Lisp+for+the+Amiga
47•emptybits•3d ago•4 comments

Firefox for iOS now has a native adblocker

https://support.mozilla.org/en-US/kb/block-ads-firefox-ios
370•pentagrama•6h ago•163 comments

Plastic mechanical computer from 1963: The Digi-Comp 1 [video]

https://www.youtube.com/watch?v=-y8bGBE71yw
13•tobr•23h ago•5 comments

Tell HN: Cloudflare silently injects its analytics when you switch nameservers

48•stagas•1h ago•5 comments

Archie G. Norcross' Maine Forest Fire Maps (1918–22)

https://publicdomainreview.org/collection/maine-forest-fire-maps/
17•samclemens•3d ago•2 comments

Before Rightmove, there was the Cosmorama

https://www.ianvisits.co.uk/articles/before-rightmove-there-was-the-cosmorama-londons-forgotten-p...
12•brod_ie•5d ago•1 comments

Show HN: A public AI whose memory is shared across all users

https://wildstatic.com/
58•adjohu•5h ago•37 comments

A True Telnet BBS on a Casio Calculator

https://ei3lh.eu/2026/08/16/a-true-telnet-bbs-on-a-casio-calculator/
58•austinallegro•7h ago•8 comments

Tasklet (YC P26) Is Hiring a Head of Design Engineering

https://tasklet.ai/careers/head-of-design-engineering
1•mayop100•5h ago

A SAT Attack on Tarski's High School Algebra Problem

https://arxiv.org/abs/2608.08421
68•matt_d•4d ago•23 comments

The deep history behind the Road to Nowhere inside the Great Smoky Mountains

https://www.wunc.org/environment/2026-08-10/road-to-nowhere-great-smoky-mountains
8•yareally•3d ago•5 comments

Low-Tech Ceramic Water Filter

https://wiki.lowtechlab.org/wiki/Filtre_%C3%A0_eau_c%C3%A9ramique/en
3•Bluestein•5d ago•0 comments

Chestnut – eGPU dock with open-source firmware

https://hwbusters.com/news/comma-ai-egpu-dock-runs-open-source-firmware-249-bare-799-with-an-rx-9...
117•txrx0000•2d ago•31 comments

Asus Bike Booster

https://www.asus.com/accessories/bike-booster/asus-oxiis/oxiis-intelligent-bike-booster/
574•wiradikusuma•4d ago•397 comments

Research papers using "kidney disappointment" instead of "kidney failure"

https://scholar.google.com/scholar?q=%22kidney+disappointment%22
277•Alifatisk•6h ago•103 comments

The weekend is 100 years old

https://www.theguardian.com/money/2026/aug/16/the-weekend-is-100-years-old-skiveday-fridays-and-h...
106•lentil_soup•3h ago•68 comments

Superconducting monolayer cuprate with a single CuO2 plane

https://www.nature.com/articles/s41586-026-10857-1
57•sbulaev•4d ago•13 comments

Asynchronous I/O in DuckDB: Work, Thread, Work

https://duckdb.org/2026/07/31/asynchronous-io
254•pdet•6d ago•28 comments

AI Coding Without the Vibes

https://peterbloem.nl/blog/craft-coding
64•riskone•8h ago•39 comments

Does anyone run Postgres without PgBouncer?

https://brandur.org/fragments/postgres-without-pgbouncer
112•abelanger•3d ago•75 comments

Cultivating a state of mind where new ideas are born (2023)

https://www.henrikkarlsson.xyz/p/good-ideas
245•felixbraun•22h ago•59 comments

Super El Niño Keeps Growing as New Forecasts Reach Record Territory Ahead Winter

https://www.severe-weather.eu/long-range-2/super-el-nino-growth-accelerating-to-record-strength-f...
396•dgellow•1d ago•270 comments