🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Dingo: A Meta-Language for Go
github.com·6h·
Discuss: Lobsters, Hacker News, r/golang
🦀Rust Macros
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·10h·
Discuss: Hacker News
📟Terminals
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·22h·
Discuss: Substack
💻Programming languages
Flag this post
Mad drunk on the mead of poetry
blog.zarfhome.com·1d
🧪CBOR Fuzzing
Flag this post
The Original OTP: Inside the Only Encryption Proven to Be Unbreakable
hackernoon.com·1d
🔐Cryptographic Archaeology
Flag this post
Railway Oriented Programming
fsharpforfunandprofit.com·3d·
Discuss: Hacker News
🧬Functional Programming
Flag this post
Comprehensive Girl Math Theory by Irma Mastenbroek
networkcultures.org·1d·
Discuss: Hacker News
🔲Proof Irrelevance
Flag this post
How X national origin label is not a magic 8-ball at all
justapedia.org·18h·
Discuss: Hacker News
🧲Magnetic Philosophy
Flag this post
Implementing Custom Autocomplete in VSCode
dganev.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·13h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
The Machine Learning Roadmap
github.com·9h·
Discuss: Hacker News
🎵Audio ML
Flag this post
TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation
arxiv.org·2d
🔧Hardware Verification
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·23h·
Discuss: Substack
🔩Systems Programming
Flag this post
Type-safe `net/rpc` alternative with context support
reddit.com·12h·
Discuss: r/golang
⚡gRPC
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
A New Bridge Links the Strange Math of Infinity to Computer Science
quantamagazine.org·1d·
Discuss: Hacker News, r/compsci
📐Mathematical Art
Flag this post
A dream of AI DLC A peek into the future based on tools and tech that we have
magistr.me·11h·
Discuss: Hacker News
⚙️Proof Engineering
Flag this post
Python Registry Pattern: A Clean Alternative to Factory Classes
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·11h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post