fp.
newest
Open in hackernews
The Unreasonable Effectiveness of Property Testing for Validating Formal Specs
https://proofsandintuitions.net/2026/05/18/property-based-testing-specifications/
1
•
_doctor_love
•
46m ago
Is AI Coding Effecting Our Mental Health? [video]
https://www.youtube.com/watch?v=iPUn1Fnfn0k
1
•
tosh
•
2m ago
•
0 comments
Socync – Automatic social media posting and scheduling
https://wordpress.org/plugins/socync/
1
•
sepokroce
•
3m ago
•
0 comments
Qwen 3.8 27B at 2x speed on a 5090
https://github.com/jtc268/balto-speedrunner
1
•
husky8
•
3m ago
•
0 comments
We Need to Talk About Leopold [video]
https://www.youtube.com/watch?v=rE75WvOtcu8
1
•
mgh2
•
4m ago
•
0 comments
I built Fusekit, a place to deploy internal web apps
https://fusekit.cloud/
1
•
harshulgoel
•
4m ago
•
0 comments
A 25-year-old video patent just expired, ending a legal headache for Linux
https://www.xda-developers.com/25-year-old-brazilian-video-patent-expired-legal-headache-linux/
4
•
theanonymousone
•
6m ago
•
0 comments
How to get a matmul kernel into the top percentile (worklog)
https://philipbotros.github.io/2026/08/11/matmul-worklog.html
1
•
gietema
•
7m ago
•
0 comments
Show HN: Bluetooth keyboard and Windows 95 cursor on reMarkable
https://twitter.com/martino_piaggi/status/2088659565168509424
1
•
martinopiaggi
•
7m ago
•
0 comments
The origin of vertebrate teeth and evolution of sensory exoskeletons
https://www.nature.com/articles/s41586-025-08944-w
1
•
BiraIgnacio
•
7m ago
•
1 comments
Find duplicate code across nine languages
https://deslop.live/
2
•
cebert
•
7m ago
•
0 comments
Show HN: Velorn – an open-source desktop video editor with MCP agent control
https://github.com/VelornLabs/velorn
1
•
j_aime
•
8m ago
•
0 comments
Show HN: MyFirst.News – AI-generated podcast for curious kids
https://myfirst.news/
1
•
hakunin
•
10m ago
•
1 comments
Ask HN: You have model orders of magnitudes faster than transformer, so?
1
•
aunekiaru
•
11m ago
•
0 comments
Humanists Have Done Nothing Wrong
https://defector.com/humanists-have-done-nothing-wrong
1
•
rlio
•
11m ago
•
0 comments
JOE – Joe's Own Editor
https://joe-editor.sourceforge.io/
1
•
smartmic
•
11m ago
•
0 comments
Show HN: Ansi.md – Everything I know about building modern CLI apps
https://ansi.md
1
•
gurgeous
•
13m ago
•
0 comments
What makes a good puzzle image?
https://composedpuzzles.com/articles/what-makes-a-good-puzzle-image
1
•
debo_
•
17m ago
•
0 comments
One agent, every surface: how we built the Kiro agent harness
https://kiro.dev/blog/one-agent/
2
•
gmays
•
18m ago
•
0 comments
Apple takes down billboard after accusations of 'electronic babysitting'
https://9to5mac.com/2026/08/14/apple-takes-down-billboard-after-accusations-of-normalizing-electr...
1
•
latexr
•
19m ago
•
0 comments
The price of a Costco hot dog has gone up
https://sina.bio/posts/costco-hotdog.html
1
•
sinab
•
22m ago
•
0 comments
CheckMate: An RPG inspired habit tracker with quests, co-op raids, Journal
https://checkmate-daily.com/
1
•
cionutd
•
22m ago
•
1 comments
Empty shelves or lost keys? Recall is the bottleneck for parametric factuality
https://research.google/blog/empty-shelves-or-lost-keys-recall-is-the-bottleneck-for-parametric-f...
1
•
Anon84
•
23m ago
•
0 comments
The Architectural Hostility of Doorknobs (2025)
https://sightlessscribbles.com/posts/doorknob-hostility/
1
•
jllyhill
•
24m ago
•
0 comments
Does vitriol make you feel special?
https://news.harvard.edu/gazette/story/2026/08/does-vitriol-make-you-feel-special/
1
•
thisislife2
•
24m ago
•
0 comments
Show HN: Kungfu – One human, agents, and 3,467 merged PRs in 30 days
https://kungfu.tech/
1
•
dongkeren
•
25m ago
•
0 comments
Ask HN: How to Stay Marketable in the AI Era?
2
•
OulaX
•
25m ago
•
0 comments
Semaglutide linked to 26% lower 5-year predicted dementia risk
https://alz-journals.onlinelibrary.wiley.com/doi/10.1002/dad2.70432
3
•
randycupertino
•
25m ago
•
3 comments
Show HN: Mimi – the free language learning app that anyone can edit
https://mimilearn.org/
1
•
sapphire42
•
25m ago
•
0 comments
Show HN: I built an iOS calorie tracker to replace my three fitness apps
https://apps.apple.com/us/app/youcal-ai-calorie-tracker/id6753720597
2
•
kimmarqly
•
27m ago
•
0 comments
SpaceX has acquired coding AI startup Cursor
https://www.engadget.com/2237655/spacex-officially-acquired-ai-coding-startup-cursor/
1
•
NordStreamYacht
•
27m ago
•
0 comments
Load More