fp.
newest
Open in hackernews
Prolog for Verification, Analysis and Transformation Tools Michael Leuschel [pdf]
https://arxiv.org/abs/2008.02933
1
•
jnpnj
•
59m ago
Show HN: Capd – A local-first searchable library for macOS
https://github.com/jamiedavenport/capd
1
•
jamie_davenport
•
41s ago
•
0 comments
Statistics Behind Lucy Letby – Prof John Quigley
https://www.youtube.com/watch?v=Y0zoezTy-2A
1
•
lifeisstillgood
•
43s ago
•
0 comments
Lights Out, part 2: old school stays king
https://dibranmulder.github.io/2026/07/31/lights-out-02-old-school-stays-king/
1
•
dibranmulder
•
1m ago
•
0 comments
Elements of Critical Thinking – and How to Develop Them
https://www.forbes.com/sites/eliamdur/2024/06/13/10-elements-of-critical-thinking--and-how-to-dev...
1
•
allgirl
•
2m ago
•
1 comments
Background Remover Chrome Plugin
https://chromewebstore.google.com/detail/background-remover/mnbkdhmkopnjagljdcnhfpppkkanadfp
1
•
javatuts
•
3m ago
•
0 comments
Show HN: Isolade, a local-first coding agent workbench with secretless microVMs
https://github.com/isolade/isolade
1
•
jachris
•
3m ago
•
0 comments
Show HN: Free HTML formatter/minifier/validator - 20MB files, no signup
https://at-use.com/tools/html-formatter
1
•
atuse
•
3m ago
•
0 comments
AI-Native Firms
https://papers.ssrn.com/sol3/papers.cfm?abstract_id=6905079
1
•
simonpure
•
4m ago
•
0 comments
Bending Spoons to acquire Airtable for $1.285B
https://investors.bendingspoons.com/newsroom/bending-spoons-agrees-to-acquire-airtable
2
•
bradly
•
4m ago
•
0 comments
Kimi-k3-in-C, 2.78T-parameter model, one CPU, 8GB RAM
https://github.com/FareedKhan-dev/kimi-k3-in-c
1
•
daniel_iversen
•
4m ago
•
0 comments
HarfBuzz at 20 [video]
https://www.youtube.com/watch?v=XfwvwPkEqC4
1
•
robin_reala
•
5m ago
•
0 comments
Surveillance cameras will be required in all new cars by 2027
https://geekspin.co/surveillance-cameras-will-be-required-in-all-new-cars-by-2027/
1
•
allgirl
•
7m ago
•
2 comments
The System That Turned Paper Charts into Digital Medical Records
https://spectrum.ieee.org/ieee-milestone-digital-medical-records
1
•
sohkamyung
•
7m ago
•
0 comments
Ask HN: Good ASX Shares API?
1
•
prologic
•
10m ago
•
0 comments
AI's talent wars have a loyalty problem
https://www.axios.com/2026/08/03/ai-talent-wars-openai-google-meta-anthropic
1
•
gpi
•
12m ago
•
0 comments
Important Null Results in Development Economics
https://voxdev.org/topic/important-null-results-development-economics
1
•
barry-cotter
•
13m ago
•
0 comments
Apple TV+: Prestige Darling, Streaming Loser
https://www.statsignificant.com/p/apple-tv-prestige-darling-streaming
1
•
speckx
•
13m ago
•
0 comments
Deos Forecasting Have Room at the Top?
https://www.astralcodexten.com/p/does-forecasting-have-room-at-the
1
•
fbrusch
•
13m ago
•
0 comments
Why Japan Is Losing the AI Race It Helped Create
https://bytepith.com/article/why-japan-losing-ai-race-it-helped-create
1
•
khanhnguyen8386
•
14m ago
•
1 comments
Maine's highest court upholds Sunday hunting ban
https://www.bangordailynews.com/2024/03/28/state/state-police-courts/maine-sunday-hunting-ban-uph...
1
•
allgirl
•
14m ago
•
1 comments
1,150 journeys from books and films mapped on an interactive globe
https://readingmaps.com/
1
•
airesao
•
15m ago
•
0 comments
Dutch defense chief: F-35s can be jailbroken like iPhones
https://www.theregister.com/software/2026/02/18/dutch-defense-chief-f-35s-can-be-jailbroken-like-...
1
•
abdelhousni
•
15m ago
•
0 comments
Show HN: Vultrino – Credential proxy so AI agents never see the keys
https://github.com/FeirAI/vultrino
3
•
dz-codes
•
16m ago
•
0 comments
The U.S. Military Is Missing Six Nuclear Weapons (2021)
https://nationalinterest.org/blog/reboot/us-military-missing-six-nuclear-weapons-180032
1
•
downbad_
•
16m ago
•
0 comments
The End of the Age of Heroes
https://www.noahpinion.blog/p/the-end-of-the-age-of-heroes
1
•
pfdietz
•
17m ago
•
0 comments
Big Tech's Hidden Debt Problem (Patrik Boyle) [video]
https://www.youtube.com/watch?v=NufJ7g63KSY
1
•
u1hcw9nx
•
17m ago
•
0 comments
Agentxray – an MCP server that finds where your coding agent wasted tokens
https://github.com/mertdotdev/agentxray
1
•
Mert7nr
•
17m ago
•
0 comments
August 12 Solar eclipse map
https://eclipsemap.xyz/#4.24/48.85/4.63
1
•
speckx
•
19m ago
•
0 comments
The Queen's Duck
https://bwiggs.com/notebook/queens-duck/
1
•
hosteur
•
19m ago
•
0 comments
Hiring More Developers Is Often the Wrong Answer [video]
https://www.youtube.com/watch?v=Oig8ZNHUksQ
2
•
Harish_0089
•
20m ago
•
0 comments
Load More