Generalized Algebraic Data Types, Type Safety, Phantom Types

Defeating KASLR by Doing Nothing at All
googleprojectzero.blogspot.com·13h·
🔧Unikernel Development
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·16h·
Discuss: Hacker News
🏗️Dune
Flag this post
Branched Signature Model
arxiv.org·2h
🕸️Graph Theory
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·2h
🎮Verification Games
Flag this post
Feature-Guided SAE Steering for Refusal-Rate Control using Contrasting Prompts
arxiv.org·2h
📚Automata Learning
Flag this post
Towards Automated Petrography
arxiv.org·2h
🔲Cellular Automata
Flag this post
Wave-Particle (Continuous-Discrete) Dualistic Visual Tokenization for Unified Understanding and Generation
arxiv.org·2h
🔲Cellular Automata
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·2h
🔲Cellular Automata
Flag this post
A toy model of corrigibility
lesswrong.com·1d
Timed Automata
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.to·3d·
Discuss: DEV
🏃Escape Analysis
Flag this post
Deep Learning Approach to Anomaly Detection in Enterprise ETL Processes with Autoencoders
arxiv.org·2h
🔢Algebraic Data Types
Flag this post
Confounding Factors in Relating Model Performance to Morphology
arxiv.org·2h
🧩Parser Combinators
Flag this post
Dynamic Model Selection for Trajectory Prediction via Pairwise Ranking and Meta-Features
arxiv.org·2h
👁️Observability
Flag this post
Why Multimodal AI Broke the Data Pipeline — And How Daft Is Beating Ray and Spark to Fix It
hackernoon.com·1d
👁️System Observability
Flag this post
Building a Writing Tool Taught Me More About Explaining Ideas Than I Expected
dev.to·1h·
Discuss: DEV
🔤Language Design
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.org·2h
🔲Cellular Automata
Flag this post
Part 4: Building Station Station - Where SDD Helped (and Where It Didn't)
dev.to·1h·
Discuss: DEV
📊Runtime Verification
Flag this post
Split Learning-Enabled Framework for Secure and Light-weight Internet of Medical Things Systems
arxiv.org·2h
🌐Network Protocols
Flag this post