fp.
newest
Open in hackernews
Theorem proving as a (brain tumor) therapy/distraction
https://orcid.org/0000-0002-4206-3283
1
•
fredokun
•
1h ago
Comments
fredokun
•
1h ago
I am a computer scientist with glioblastoma. Thanks to innovative treatments (shoutout: Optune) and wonderful family and academic environments, I pursue my happy teaching/research/hacking/theorem-proving adventure.
Watch the Moment When the Wreck of the Titanic Was First Discovered (1985)
https://www.openculture.com/2026/05/watch-the-moment-when-the-wreck-of-the-titanic-was-first-disc...
1
•
Brajeshwar
•
21s ago
•
0 comments
Meta AI introduces private confidential-compute backed Incognito Chats
https://about.fb.com/news/2026/05/incognito-chat-whatsapp-meta-ai/
1
•
brianmcnulty
•
26s ago
•
0 comments
CN Diagrams: Architecture Diagrams That Scale with Your System
https://www.chiply.dev/post-cn-diagrams
1
•
chiply
•
1m ago
•
1 comments
Elon Musk and Jensen Huang Among CEOs Joining Trump on China Trip
https://www.bbc.com/news/articles/c5yx757w048o
1
•
Markoff
•
1m ago
•
0 comments
Open Source Resistance: keep OSS alive on company time
https://ossresistance.com/
1
•
mikemcquaid
•
1m ago
•
0 comments
CUDA Proves Nvidia Is a Software Company
https://www.wired.com/story/cuda-proves-nvidia-is-a-software-company/
1
•
bookofjoe
•
2m ago
•
1 comments
Economy Wholesale inflation jumps 6% in April
https://www.cnbc.com/2026/05/13/ppi-inflation-report-april-2026-.html
1
•
tcp_handshaker
•
2m ago
•
0 comments
Security Advisory YSA-2026-02 – webauthn-server-core User Impersonation
https://www.yubico.com/support/security-advisories/ysa-2026-02/
2
•
yread
•
2m ago
•
0 comments
Steam Controller does Wilhelm scream when dropped
https://old.reddit.com/r/pcmasterrace/comments/1tbmco7/apparently_the_new_steam_controller_someti...
1
•
6581
•
3m ago
•
0 comments
The Nearly Mile-Wide Diamond Mine That Helped Build the Soviet Union (2014)
https://gizmodo.com/the-nearly-mile-wide-diamond-mine-that-helped-build-the-1593234924
1
•
downbad_
•
3m ago
•
0 comments
Scherlok – zero-config data quality monitoring, works with dbt
https://github.com/rbmuller/scherlok
1
•
rbmuller
•
3m ago
•
1 comments
ShieldRegime – A physics-inspired financial market anomaly detector in Python
https://github.com/VL-mwb/shield-regime
1
•
VLmwb
•
4m ago
•
0 comments
Hydrogen jukeboxes: on the crammed poetics of "creative writing" LLMs
https://www.tumblr.com/nostalgebraist/778041178124926976/hydrogen-jukeboxes
2
•
simonebrunozzi
•
4m ago
•
0 comments
The limits of Rust, or why you should probably not follow Amazon and Cloudflare
https://kerkour.com/the-limits-of-rust
2
•
randomint64
•
5m ago
•
0 comments
Anthropic Was Behind. Now It's the AI Boom's Front-Runner
https://www.wsj.com/tech/ai/anthropic-was-behind-now-its-the-ai-booms-front-runner-5020f621
1
•
megacorp
•
6m ago
•
0 comments
I have started a new startup
https://dennisy.me/notes/i-have-finally-started-a-new-startup
1
•
dennisy
•
6m ago
•
0 comments
How the world has avoided an oil catastrophe so far
https://www.economist.com/finance-and-economics/2026/05/12/how-the-world-has-avoided-an-oil-catas...
1
•
bookofjoe
•
7m ago
•
1 comments
Clawpatrol
https://clawpatrol.dev/
1
•
carlos-menezes
•
8m ago
•
0 comments
What Is a Business Agent?
https://jitera.com/blog/business-agents/
1
•
jitera
•
10m ago
•
1 comments
Circ, a DSL for digital circuits with self-rendering ASCII schematics
https://circ-lang.org/
2
•
jeffersonmourak
•
11m ago
•
0 comments
CyberSecQwen-4B: Why Defensive Cyber Needs Small, Specialized, Local Models
https://huggingface.co/blog/lablab-ai-amd-developer-hackathon/cybersecqwen-4b
1
•
gmays
•
12m ago
•
0 comments
The AI Land Grab Looks Familiar
https://www.boot.dev/blog/news/ai-land-grab-looks-familiar/
1
•
speckx
•
13m ago
•
0 comments
Show HN: Splice – A programming language with custom VM for embedded systems
https://github.com/Open-Splice/Splice
1
•
amitabhi
•
13m ago
•
0 comments
Could this be the moment that drug manufacturing takes off in orbit?
https://arstechnica.com/space/2026/05/varda-signs-deal-with-major-us-pharma-firm-to-develop-drugs...
1
•
Brajeshwar
•
13m ago
•
0 comments
Show HN: Mainline – a project tool with no backlog, story points or surveillance
https://mainline.dev/demo
2
•
natyoung
•
14m ago
•
0 comments
Want to add my new post
1
•
foammolders
•
15m ago
•
0 comments
'Click clotting' stops bleeding fast and could transform emergency care
https://medicalxpress.com/news/2026-04-click-clotting-fast-emergency.html
1
•
PaulHoule
•
15m ago
•
0 comments
Argo CD Mobile
https://apps.apple.com/us/app/argo-cd/id6766354032
1
•
gpi
•
15m ago
•
0 comments
No Flying Cars Yet
https://yourcolumnist.substack.com/p/no-flying-cars-yet
1
•
ddmichael
•
16m ago
•
0 comments
A proposed standard for governing autonomous AI deployment
https://ica-manual.netlify.app/standard/
1
•
shaneschreck
•
17m ago
•
0 comments
Load More
fredokun•1h ago