fp.
newest
Open in hackernews
Lea – An agent backbone for mathematician-led formalization
https://vida-nyu.github.io/Lea/
1
•
JohnHammersley
•
44m ago
Interactional Expertise
https://idcompendium.wordpress.com/interactional-expertise/
1
•
rzk
•
4m ago
•
0 comments
Kubemend – a K8s agent that can only open PRs, and never trusts its own "fixed"
https://github.com/m-stepkowski/kubemend
2
•
m-stepkowski
•
7m ago
•
0 comments
Slop.ppt
https://ckp.fyi/2026/08/14/slo-ppt/
1
•
connork
•
8m ago
•
0 comments
PayPal might be sold to Stripe
https://techcrunch.com/2026/08/14/talks-to-sell-paypal-to-stripe-and-advent-are-heating-up/
3
•
deeptishukla22
•
11m ago
•
0 comments
Bun 1.4
https://bun.com/blog/bun-v1.4
1
•
todotask2
•
15m ago
•
0 comments
The president's second term has involved pardoning more than 1,800 criminals
https://www.thetimes.com/us/american-politics/article/i-voted-trump-now-hes-pardoned-the-20m-ponz...
4
•
doener
•
20m ago
•
0 comments
Taking control of your ATProto account
https://jola.dev/posts/taking-control-atproto-account
1
•
shintoist
•
21m ago
•
0 comments
Beyond the AI Layoff Fear
https://urnicus.com/blog/beyond-the-ai-layoff-fear/
2
•
urnicus
•
21m ago
•
0 comments
Keeforge – Security audit with Fable 5
https://keeforge.com/security-audit/
2
•
amai
•
28m ago
•
0 comments
A Practical PostgreSQL Jsonb Workflow: Query, Update, and Index JSON Data
https://visualeaf.com/blog/postgresql-jsonb-query-update-index/
2
•
kyle_mongo
•
31m ago
•
1 comments
MostroEuropa – A European P2P Bitcoin Coordinator Built on Lightning and Nostr
https://mostroeuropa.shadowbip.com/
1
•
shadowbip
•
31m ago
•
0 comments
How an FDA cleared "brain protection" device built on shaky science made the NFL
https://www.bmj.com/content/391/bmj.r2028.short?rss=1
3
•
Bluestein
•
32m ago
•
0 comments
Semiconductor machines improve but integrating them remains a challenge
https://www.sdxcentral.com/opinions/semiconductor-machines-keep-getting-better-getting-them-to-wo...
1
•
giuliomagnifico
•
33m ago
•
0 comments
Tax/Vat Switcher
https://apps.shopify.com/vat-switcher
1
•
expoundcoderz
•
35m ago
•
0 comments
Show HN: AI Signal Bot for project updates
https://geekyants.com/ai-accelerator/execution-intelligence-ai-signal-bot
2
•
jamessmith789
•
36m ago
•
1 comments
Epistemic Dependence
https://rogermjones.wordpress.com/2016/11/11/epistemic-dependence/
1
•
rzk
•
39m ago
•
0 comments
Archive of corporate annual reports, 1945-1991
https://annualreport.gallery/
1
•
Michelangelo11
•
39m ago
•
0 comments
Integrating AI into the Newspeak IDE [video]
https://www.youtube.com/watch?v=D1mEQ6ixJUk
1
•
tosh
•
40m ago
•
0 comments
Show HN: Octoweb – A Keyboard-First Browser with AI as a Citizen
https://muvon.io/blog/introducing-octoweb-keyboard-first-ai-browser
1
•
donk8r
•
43m ago
•
0 comments
Online forum Reddit will join the S&P 500 index
https://apnews.com/article/reddit-sp-500-wall-street-index-funds-2decd233724da9249e86f6ccab8a86be
1
•
mapleoin
•
43m ago
•
2 comments
Nvidia AI Financing Is the $500B Risk Investors Aren't Watching
https://www.forbes.com/sites/jimosman/2026/08/16/nvidia-ai-financing-is-the-500-billion-risk-inve...
1
•
pella
•
43m ago
•
0 comments
A new 2-3x faster algorithm for computing day-of-week
https://www.benjoffe.com/fast-day-of-week
1
•
benjoffe
•
44m ago
•
0 comments
Lea – An agent backbone for mathematician-led formalization
https://vida-nyu.github.io/Lea/
1
•
JohnHammersley
•
44m ago
•
0 comments
Voluntary attention regulates acute immune responses in humans
https://www.nature.com/articles/s41562-026-02541-1
2
•
daoboy
•
46m ago
•
0 comments
Fearless_SIMD v0.7: 64-bit integers, improved generics, SSE2, and upcoming v1.0
https://linebender.org/blog/fearless-simd-0-7/
1
•
signa11
•
47m ago
•
0 comments
The challenge of AI value after deployment
https://medium.com/quantumblack/ai-value-the-growing-ai-operations-challenge-ca8621aa245c
2
•
stichers
•
49m ago
•
1 comments
The cost to retire comfortably around the world
https://www.visualcapitalist.com/mapped-how-much-americans-need-to-retire-comfortably-around-the-...
4
•
teleforce
•
53m ago
•
3 comments
A 3D-printed C7 extension adapter for wall chargers
https://blog.oxplot.com/figure-eight-extension-adapter/
1
•
oxplot
•
53m ago
•
0 comments
AI Software Development – What Does the Data Say?
https://codemanship.wordpress.com/2026/08/12/ai-software-development-what-does-the-data-say/
1
•
GeneralMaximus
•
55m ago
•
0 comments
Backgroundcanvas: One-stop free online image background editor
1
•
chgxue
•
55m ago
•
0 comments
Load More