The Structure of Data
🗂Data structures
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.net·1d
🌀Brotli Dictionary
Flag this post
GHC 9.14.1-rc1 is now available
🔗Functional Compilers
Flag this post
From Visibility to Verification: The Second Phase of AI Surface Governance
🔗Data Provenance
Flag this post
Reinventing Assertions
⚡Proof Automation
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·1d
🌳Context free grammars
Flag this post
Speedrunning an RL Environment
⚔️Lean Tactics
Flag this post
Why I Chose Go as My Main Backend Language — and Why You Might Too
🔗Concatenative Programming
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
✓Automated Theorem Proving
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
📊Static Analysis
Flag this post
Proof Connects Quantum Mechanics with Infinitely Intricate Math Structures
📐Mathematical Art
Flag this post
Fungus: The Befunge CPU(2015)
⚡Homebrew CPUs
Flag this post
What are you doing this weekend?
📊Static Analysis
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
🧠Intelligence Compression
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·4h
🦀Rust Macros
Flag this post
ZK-SenseLM: Verifiable Large-Model Wireless Sensing with Selective Abstention and Zero-Knowledge Attestation
arxiv.org·2d
🔄Session Type Inference
Flag this post
Loading...Loading more...