fp.
newest
Open in hackernews
Mizar: The first usable proof assistant for mathematics
https://lawrencecpaulson.github.io//2026/05/07/Mizar.html
3
•
chmaynard
•
1h ago
A job board for remote AI training jobs
https://aitrainerjobs.cv
1
•
calebro
•
43s ago
•
0 comments
For Every Patient Their Own Drug
https://nautil.us/for-every-patient-their-own-drug-1280433
1
•
lschueller
•
1m ago
•
0 comments
Apple to Pay $250M to Settle Claims It Overpromised on iPhone AI Features
https://www.law.com/corpcounsel/2026/05/07/apple-to-pay-250m-to-settle-claims-it-overpromised-on-...
1
•
1vuio0pswjnm7
•
2m ago
•
0 comments
I built a tool to let you export and organize your X bookmarks
https://x-archive.netlify.app/
1
•
xarchive
•
2m ago
•
1 comments
Deletion of government data is hurting Americans – from infant deaths to hunger
https://www.theguardian.com/us-news/ng-interactive/2026/may/07/trump-administration-deleting-data
1
•
robaato
•
5m ago
•
0 comments
TOML: A config file format for humans
https://toml.io/en/
2
•
thunderbong
•
5m ago
•
0 comments
Wraplet: TypeScript, OOP, and the DOM – in one working model
https://wraplet.dev/
1
•
enador
•
7m ago
•
0 comments
A Screen Addict on the Couch
https://manualdousuario.net/en/screen-addiction/
1
•
rpgbr
•
7m ago
•
0 comments
Show HN: CLI for Testing Raw Data Against Google Data Studio Dashboards
https://github.com/spookyuser/datastudio-cli
1
•
spookyuser
•
9m ago
•
0 comments
SpaceX to rent data centre capacity to Anthropic
https://www.ft.com/content/aa0239b8-0d57-4dc8-8c1a-ed7ac4d689fb
1
•
1vuio0pswjnm7
•
10m ago
•
0 comments
I built a WP plugin to solve the "AI Search" problem (YouTube-to-Blog and RAG)
https://www.indiehackers.com/post/i-built-a-wp-plugin-to-solve-the-ai-search-problem-youtube-to-b...
1
•
shahisoft
•
10m ago
•
0 comments
Big Ass Data Broker Opt-Out List
https://github.com/yaelwrites/Big-Ass-Data-Broker-Opt-Out-List
1
•
l1am0
•
10m ago
•
0 comments
For a Certain Kind of Guy, Even a Diaper Bag Needs to Be 'Tactical'
https://www.nytimes.com/2026/05/07/magazine/tactical-gear-marketing-boys-trend.html
1
•
bookofjoe
•
11m ago
•
1 comments
Show HN: Monocurl – Interactive STEM animation language and IDE
https://www.monocurl.com
1
•
enigmurl
•
12m ago
•
0 comments
Show HN: I made a vertical-pedalling bike with a novel drivetrain [video]
https://www.youtube.com/watch?v=4HLOsi2gWXQ
1
•
tonyonodi
•
13m ago
•
0 comments
Anxiety
https://www.alessiocavallo.it/articles/anxiety
1
•
jxad
•
14m ago
•
0 comments
Tensor Network Attention
https://mainlymatmul.com/blog/tensor-network-attention/
1
•
mezark
•
15m ago
•
0 comments
Span Announces XFRA, a Mini Household Data Center
https://www.span.io/blog/span-announces-xfra-a-distributed-data-center-solution-to-close-the-spee...
1
•
fastest963
•
16m ago
•
0 comments
An Agent Run Is Not Done When the Model Stops Talking
https://jeremyblankenship.dev/writing/agent-run-not-done
1
•
aliasocracy
•
16m ago
•
0 comments
Casio S100X Japanese Lacquer Edition (JP Page Only)
https://www.casio.com/jp/basic-calculators/premium/en-s100x-jc1-u/
2
•
dr_kiszonka
•
19m ago
•
0 comments
What an AI productivity surge would mean for the fiscal outlook
https://www.axios.com/2026/05/06/ai-productivity-yale-fiscal-outlook
1
•
simonpure
•
20m ago
•
0 comments
I took a 250k-mile minivan through Germany's rigorous car inspection
https://www.jalopnik.com/i-took-a-250-000-mile-minivan-through-germanys-rigorous-1845197100/
1
•
probably_wrong
•
20m ago
•
0 comments
EV-QA-Framework–Open-source battery QA anomaly detection and SOH prediction
https://github.com/remontsuri/EV-QA-Framework
1
•
remontsuri
•
20m ago
•
0 comments
An HTTP header caused time.gov to skew from UTC
https://alexsci.com/blog/how-time-gov-works/
2
•
birdculture
•
21m ago
•
0 comments
No One Reads Your Upwork Proposals Anymore
https://www.vincentschmalbach.com/why-no-one-reads-your-upwork-proposals-anymore/
1
•
vincent_s
•
21m ago
•
0 comments
Your ERP Has a New Coworker. Here's What You Need to Know
https://cloudsquid.substack.com/p/your-erp-has-a-new-coworker-heres
2
•
universesquid
•
22m ago
•
0 comments
All the popular transport thinkers are convening in Bangkok in October
https://www.informalandsharedmobility.net
1
•
TrufiAssoc
•
22m ago
•
0 comments
OWASP Foundation's Strategic Plan [pdf]
https://owasp.org/assets/files/OWASP_Foundation_Strategic_Plan.pdf
2
•
runningmike
•
23m ago
•
1 comments
Show HN: Agentkey – save days of founder research with 1 "Master key"
https://github.com/chainbase-labs/Agentkey/blob/main/README.md
1
•
Luki82
•
24m ago
•
0 comments
Adobe's 'Modern' User Interface Is Just Webpages
https://pxlnv.com/linklog/adobe-modern-user-interface/
1
•
frizlab
•
25m ago
•
0 comments
Load More