Frozen in Place
🧩Parser Combinators
Flag this post
AWK technical notes (2023)
🔀Brzozowski Derivatives
Flag this post
My Experience as a SDE Intern at AWS
🔧DevOps
Flag this post
Experts find flaws in hundreds of tests that check AI safety and effectiveness
⏱️Computational Complexity
Flag this post
Subgame Credible Nash Equilibrium
arxiv.org·9h
🎮Verification Games
Flag this post
AI Progress Should Be Measured by Capability-Per-Resource, Not Scale Alone: A Framework for Gradient-Guided Resource Allocation in LLMs
arxiv.org·9h
🎯Hindley-Milner
Flag this post
Using Claude, Perplexity, v0, ChatGPT, etc to Make Tech Apps and Write Content
🤖Program Synthesis
Flag this post
Automatic Minds: Cognitive Parallels Between Hypnotic States and Large Language Model Processing
arxiv.org·9h
📚Automata Learning
Flag this post
Using AI in Playwright Tests
🎮Verification Games
Flag this post
A toy model of corrigibility
lesswrong.com·1d
⏰Timed Automata
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·9h
❓Existential Types
Flag this post
Probabilistic Robustness for Free? Revisiting Training via a Benchmark
arxiv.org·9h
📚Automata Learning
Flag this post
Automated Scientific Literature Validation via Hyperdimensional Semantic Analysis
🧠Automated Reasoning
Flag this post
Diagnosing Hallucination Risk in AI Surgical Decision-Support: A Sequential Framework for Sequential Validation
arxiv.org·9h
📐Hoare Logic
Flag this post
Un-Attributability: Computing Novelty From Retrieval & Semantic Similarity
arxiv.org·1d
📚Automata Learning
Flag this post
EL-MIA: Quantifying Membership Inference Risks of Sensitive Entities in LLMs
arxiv.org·9h
🛡️Privacy Engineering
Flag this post
Loading...Loading more...