Dependent Types, Proof Development, Tactics, Mathematical Foundations

Charter of Democratic Pansystemism:Replacing the Constitution with Cybernetics [pdf]
files.catbox.moeΒ·14hΒ·
Discuss: Hacker News
πŸ“–Nordic Typography
Flag this post
Beyond Earnings Premia: Debt-Adjusted Returns to Postsecondary Education
papers.ssrn.comΒ·1dΒ·
Discuss: Hacker News
πŸ—ΊοΈCompetency Maps
Flag this post
Yale Journal on Regulation: Navigating the Web of Agency Authority with AI
pacificlegal.orgΒ·20hΒ·
Discuss: Hacker News
βš–οΈConstraint CHR
Flag this post
eBPF Rootkit
synacktiv.comΒ·1dΒ·
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Β·2hΒ·
Discuss: Hacker News
πŸ“œBinary Philology
Flag this post
Bytes before FLOPS: your algorithm is (mostly) fine, your data isn't
bitsdraumar.isΒ·2hΒ·
Discuss: Hacker News
⚑SIMD Optimization
Flag this post
Spiral Development for Hardware Programs
asbuilt.pubΒ·2dΒ·
Discuss: Hacker News
πŸ›‘οΈError Boundaries
Flag this post
Building GreenGovRAG
dev.toΒ·13hΒ·
Discuss: DEV
πŸ”„Archival Workflows
Flag this post
Critical Thinking during the age of AI
addyo.substack.comΒ·1dΒ·
Discuss: Substack
βš™οΈProof Engineering
Flag this post
[P] Interactive Advanced Llama Logit Lens
reddit.comΒ·16hΒ·
🌳Context free grammars
Flag this post
Explainable Causal Reinforcement Learning for smart agriculture microgrid orchestration with ethical auditability baked in
dev.toΒ·4dΒ·
Discuss: DEV
✨Effect Systems
Flag this post
QMA Complete Quantum-Enhanced Kyber: Provable Security Through CHSH Nonlocality
arxiv.orgΒ·5d
πŸ”Quantum Security
Flag this post
Disparity-in-Differences: Extracting Hierarchical Backbones of Weighted Directed Networks
arxiv.orgΒ·2d
πŸ”—Graph Isomorphism
Flag this post
Adaptive Cell-Based Manufacturing via Reinforcement Learning-Driven Process Parameter Optimization
dev.toΒ·4hΒ·
Discuss: DEV
πŸ”²Cellular Automata
Flag this post
TONL: A New LLM-Friendly Data Serialization Format
dev.toΒ·2dΒ·
Discuss: DEV
πŸ”’Linear Types
Flag this post
πŸš€ TOON for Laravel β€” A Complete Tutorial to Make AI Prompts Cheaper & Faster
dev.toΒ·2hΒ·
Discuss: DEV
πŸŒ€Brotli Internals
Flag this post
Real estate app built with Next.js 16, shadcn/ui, and Prisma. Browse, list, and manage properties
dev.toΒ·3hΒ·
Discuss: DEV
πŸ”„Sync Engine
Flag this post
[D] Why aren’t there more multimodal large foundation models out there? Especially in AI for science?
reddit.comΒ·1dΒ·
πŸŽ™οΈWhisper
Flag this post