fp.
newest
Open in hackernews
Why Higher-Order Logic Is a Good Foundation for Deep Verification
https://sequent.inc/blog/posts/why-hol-for-deep-verification/
2
•
matt_d
•
42m ago
AI contract review inside Word – first law firm signing this week
https://clausio.pl
1
•
DavidKon
•
1m ago
•
0 comments
Replacing Polling with Events in a Trading Execution Engine
https://medium.com/@DolphinDB_Inc/building-an-event-driven-execution-engine-lessons-from-an-icebe...
1
•
yiweileng
•
1m ago
•
0 comments
Show HN: I built myself the simplest worktree management tool
https://github.com/kerem-kaynak/wt
1
•
kasktra
•
4m ago
•
1 comments
Show HN: Ripple – Auto-fixes downstream code when APIs change
https://aakash2408.github.io/ripple/
1
•
Aakash2408
•
5m ago
•
0 comments
Our Great Mutator
https://artagnon.com/art/mutator
1
•
artagnon
•
7m ago
•
0 comments
Show HN: I built a tool finding potential users discussing problems
https://agenmatic.ai/features
2
•
Nancylily
•
9m ago
•
2 comments
Show HN: A Dark Cave – minimalist survival/settlement building game
https://a-dark-cave.com/
1
•
julez_
•
15m ago
•
0 comments
Opus 5, The Best Vending Machine Capitalist
https://andonlabs.com/blog/opus-5-vending-bench
2
•
arc7
•
18m ago
•
0 comments
Tailscale with Mullvad leaks your DNS
https://github.com/tailscale/tailscale/issues/9284
2
•
dtj1123
•
22m ago
•
0 comments
The Apple Calculator Language
https://wadetregaskis.com/the-apple-calculator-language/
1
•
ingve
•
23m ago
•
0 comments
Tell HN: Rising Censorship in German Social Media
1
•
Fotzenfritz
•
27m ago
•
1 comments
Lilian Weng left Thinking Machines citing health reasons, then rejoins OpenAI
https://techcrunch.com/2026/07/29/thinking-machines-co-founder-lilian-weng-left-the-company-citin...
3
•
doppp
•
28m ago
•
0 comments
Show HN: My AI keeps getting smarter. I don't. So I built Engram
https://github.com/nagisanzenin/engram
1
•
nagisanzeninz
•
29m ago
•
0 comments
Show HN: BPM Companion – app that matches playlist to your cadence (beta)
https://bpmcompanion.app/
1
•
ksh2u
•
30m ago
•
0 comments
Explain This – select text, get an explanation from a local LLM
https://github.com/Vishwamitra/explain-this
1
•
vmmishra
•
33m ago
•
0 comments
Cisco FMC static credential vulnerability exploited as a zero-day
https://sec.cloudapps.cisco.com/security/center/content/CiscoSecurityAdvisory/cisco-sa-fmc-static...
2
•
nyku
•
34m ago
•
0 comments
Keeping goals to yourself increases the chances of completing them? [pdf]
https://www.socmot.uni-konstanz.de/sites/default/files/09_Gollwitzer_Sheeran_Seifert_Michalski_Wh...
4
•
jimsojim
•
41m ago
•
0 comments
Why Higher-Order Logic Is a Good Foundation for Deep Verification
https://sequent.inc/blog/posts/why-hol-for-deep-verification/
2
•
matt_d
•
42m ago
•
0 comments
New microwave frying method could make French fries much healthier
https://www.sciencedaily.com/releases/2026/07/260729044048.htm
5
•
london_safari
•
43m ago
•
0 comments
Is Cloudflare classifying opencode.ai as malware?
1
•
_raz
•
45m ago
•
4 comments
Following the Scent
https://johnwbrown.substack.com/p/following-the-scent
1
•
ankitg12
•
49m ago
•
0 comments
Show HN: Found Live Driving Conditions all over the world. Lets see
https://www.wfy24.com/en/routes
1
•
weatherfun
•
51m ago
•
0 comments
Why Catching Skin Cancer Early Is a Home Robotics Problem
https://marionlepert.github.io/blog/openderm-robotics-problem.html
1
•
futurecat
•
53m ago
•
0 comments
Information Foraging Theory [pdf]
https://www.peterpirolli.com/ewExternalFiles/31354_C01_UNCORRECTED_PROOF.pdf
1
•
ankitg12
•
54m ago
•
0 comments
The scraper bugs that don't throw
https://gist.github.com/ConorsCode/ea7dbfa4e389554c16c308d0a19b67b2
1
•
Wevegotscrapys
•
56m ago
•
0 comments
Ron Gilbert started production on Thimbleweed Park 2
https://www.grumpygamer.com/twp2_announce/
1
•
alberto-m
•
57m ago
•
0 comments
Lessons for founders (from the Wright Brothers biography)
https://blog.thinkst.com/2026/07/other-lessons-for-security-product-founders-from-the-wright-brot...
3
•
mh_
•
59m ago
•
1 comments
Sam Altman is now talking to the White House about decelerating AI
https://twitter.com/AISafetyMemes/status/2082569026929394008
7
•
abhishekdev
•
1h ago
•
3 comments
Hearsay: Vision-Language Medical Diagnoses Without an Image
https://arxiv.org/abs/2607.26886
1
•
sbulaev
•
1h ago
•
0 comments
Instrumenting my espresso machine with OpenTelemetry
https://clickhouse.com/blog/espresso-machine-observability-with-otel
3
•
g0xA52A2A
•
1h ago
•
0 comments
Load More