Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·1d
🤝Paxos Consensus
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
Winetricks/winetricks
github.com·21h
🔄Sync Engine
Enabling Kotlin Incremental Compilation on Buck2
engineering.fb.com·7h
🔄Reproducible Builds
Using Real Survey Data to Create Authentic AI Personas for Extended Research
askrally.com·10h·
Discuss: Hacker News
🏛Digital humanities
Parlant - Renovation AI Open-Source framework
dev.to·15h·
Discuss: DEV
✨Effect Handlers
Reloading classes in python and shared borders
andrewpwheeler.com·12h·
Discuss: Hacker News
🦀Rust Macros
Fine-Tuning and Deploying GPT Models Using Hugging Face Transformers
blog.jetbrains.com·1d
🤖Grammar Induction
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·1d·
Discuss: Hacker News
⚡Proof Automation
Sound and Solution-Complete CCBS
arxiv.org·1d
🛡️Archive Verification
Chatting with Unmesh about building language with LLMs
martinfowler.com·9h
💻Programming languages
Build a baby Claude Code using Python
siddharthbharath.com·1d·
Discuss: Hacker News
⚡Proof Automation
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·19h
🔧Hardware Verification
How to Build a ChatGPT Clone in Go: Cost, Context, and Lessons
nleiva.medium.com·1d·
Discuss: Hacker News
⚡gRPC
Show HN: Cosmic AI Platform – Build and deploy CMS sites using natural language
cosmicjs.com·8h·
Discuss: Hacker News
🔗Hypermedia APIs
The AI Data Scientist
arxiv.org·19h
🧪Data science
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·1d·
Discuss: Hacker News
🔱Galois Cryptography
The Compass Pattern: How smart documentation architecture saves $0.63M annually
wyrd-technology.com·10h·
Discuss: Hacker News
📚MARC Evolution
I don’t code much anymore.
dev.to·4h·
Discuss: DEV
🔗Concatenative Languages
A Dynamic Approach to Collaborative Document Writing
arxiv.org·19h
🔗Parser Combinators