Friday 21 November - 11am
informatics.ed.ac.uk·2d
💻Programming languages
Flag this post
Pressure to change
maryrosecook.com·19h
⚡Proof Automation
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
✓Automated Theorem Proving
Flag this post
How I Use Every Claude Code Feature
⚡Proof Automation
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
📊Static Analysis
Flag this post
Fungus: The Befunge CPU(2015)
⚡Homebrew CPUs
Flag this post
Automated Starlink Installation Procedure Validation via Bayesian Network Inference
📡Network Protocol Design
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
🧠Intelligence Compression
Flag this post
ZK-SenseLM: Verifiable Large-Model Wireless Sensing with Selective Abstention and Zero-Knowledge Attestation
arxiv.org·3d
🔄Session Type Inference
Flag this post
Circular dependency check in Python
📏Code Metrics
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·19h
🦀Rust Macros
Flag this post
Linkage
11011110.github.io·1d
📐Mathematical Art
Flag this post
The Kinetics of Reasoning: How Chain-of-Thought Shapes Learning in Transformers?
arxiv.org·2d
✨Effect Handlers
Flag this post
Neither Consent nor Property: A Policy Lab for Data Law
arxiv.org·2d
🧲Magnetic Philosophy
Flag this post
Loading...Loading more...