From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·4d·
Discuss: Hacker News
🔄distributed
Show HN: Easy Python Time Parsing
github.com·20h·
Discuss: Hacker News
💿SQLite
Chess Llama - Training a tiny Llama model to play chess
lazy-guy.github.io·1d·
Discuss: Hacker News, r/LocalLLaMA, r/programming
🤖ai
Show HN: Souko.ai – Web scraping, search and extraction APIs for AI workflows
souko.ai·3d·
Discuss: Hacker News
🏛️software architecture
Show HN: Flowrite – Why I built a songwriting app instead of paying subs
github.com·6d·
Discuss: Hacker News
🏛️software architecture
MCP: Bringing mashups back!
blog.pamelafox.org·3d·
Discuss: www.blogger.com, Hacker News
🏛️software architecture
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·4d·
Discuss: Hacker News
🤖ai
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·6d·
Discuss: Hacker News
🐘PostgreSQL
Run a server at home using Raspberry Pi and Tunnelmole
softwareengineeringstandard.com·3d·
Discuss: Hacker News
🔄distributed
The Data Room App (thedataroom.app)
djpardis.medium.com·1d·
Discuss: Hacker News
🏛️software architecture
Show HN: Fluent-state: a new fresh take on local React state
github.com·3d·
Discuss: Hacker News
🏛️software architecture
Cheeky Python Shell Script
leontrolski.github.io·5d·
Discuss: Hacker News
📝emacs
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·5d·
Discuss: Hacker News
🤖ai
The .a File Is a Relic: Why Static Archives Were a Bad Idea All Along
medium.com·2d·
Discuss: Hacker News, r/C_Programming
💿SQLite
I just decompiled a decompiler so I could use it to decompile itself (2008)
dougmccune.com·47m·
Discuss: Hacker News
🏛️software architecture
Optimising DeepSeek-R1-Distill-Qwen-7B for use in production
fin.ai·3d·
Discuss: Hacker News
🐘PostgreSQL
Show HN: Open-source DevOps agent in Rust to secure and manage production infra
github.com·21h·
Discuss: Hacker News
🏛️software architecture
Nextflow: System for creating scalable, portable, reproducible workflows
github.com·6d·
Discuss: Hacker News
🔄distributed
Experimenting with Flox's new build and publish
thefridaydeploy.substack.com·3d·
Discuss: Substack
🏛️software architecture
Show HN: Tips for getting great Text2Cypher outputs from LLMs for Graph RAG
blog.kuzudb.com·3d·
Discuss: Hacker News
🏛️software architecture