Dependent Types, Proof Development, Tactics, Mathematical Foundations

Charter of Democratic Pansystemism:Replacing the Constitution with Cybernetics [pdf]
files.catbox.moe·13h·
Discuss: Hacker News
📖Nordic Typography
Flag this post
Yale Journal on Regulation: Navigating the Web of Agency Authority with AI
pacificlegal.org·19h·
Discuss: Hacker News
⚖️Constraint CHR
Flag this post
eBPF Rootkit
synacktiv.com·23h·
Discuss: Hacker News
🛡️eBPF Security
Flag this post
Minimizing Variable Scope in Go: New Blog Post and Static Analyzer Tool
blog.fillmore-labs.com·3d
🦀Rust Macros
Flag this post
Using Claude Code with Obsidian
kyleygao.com·1h·
Discuss: Hacker News
📜Binary Philology
Flag this post
Bytes before FLOPS: your algorithm is (mostly) fine, your data isn't
bitsdraumar.is·1h·
Discuss: Hacker News
SIMD Optimization
Flag this post
Stop handling auth like it's 2007: My journey from hard-coded tokens to OAuth2 & JWKS with Go
reddit.com·1d·
Discuss: r/golang
🎫Kerberos History
Flag this post
Green Resilience of Cyber-Physical Systems: Doctoral Dissertation
arxiv.org·2d
🌊Streaming Systems
Flag this post
Spiral Development for Hardware Programs
asbuilt.pub·2d·
Discuss: Hacker News
🛡️Error Boundaries
Flag this post
The Sacrilegious Coder
dev.to·18h·
Discuss: DEV
🎯Gradual Typing
Flag this post
NLP Datasets for Idiom and Figurative Language Tasks
arxiv.org·2d
📊HyperLogLog
Flag this post
As AI-driven diagnosis and treatment plans become increasing
dev.to·1d·
Discuss: DEV
🔍Information Retrieval
Flag this post
How LLMs generate judgments
nature.com·3d·
Discuss: Hacker News
💻Local LLMs
Flag this post
Robot Metacognition: Decision Making with Confidence for Tool Invention
arxiv.org·2d
🔲Cellular Automata
Flag this post
Critical Thinking during the age of AI
addyo.substack.com·1d·
Discuss: Substack
⚙️Proof Engineering
Flag this post
Building GreenGovRAG
dev.to·12h·
Discuss: DEV
🔄Archival Workflows
Flag this post
[P] Interactive Advanced Llama Logit Lens
reddit.com·15h·
🌳Context free grammars
Flag this post