fp.
news
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
Load More
homarp•1h ago