Aperiodic Tilings V: the Refinable Frontier
chiark.greenend.org.uk·17h·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
What Can We Learn from Harry Potter? An Exploratory Study of Visual Representation Learning from Atypical Videos
arxiv.org·1d
🎮Verification Games
Spatiotemporal EEG-Based Emotion Recognition Using SAM Ratings from Serious Games with Hybrid Deep Learning
arxiv.org·1d
🎮Verification Games
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: I Made an ESP32 On-Call Beeper
techsquidtv.com·4h·
Discuss: Hacker News
🩹Self-Healing Systems
DRASP: A Dual-Resolution Attentive Statistics Pooling Framework for Automatic MOS Prediction
arxiv.org·1d
👁️System Observability
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com·1d·
Discuss: Hacker News
👁️System Observability
VoCap: Video Object Captioning and Segmentation from Any Prompt
arxiv.org·1d
🧩Parser Combinators
The Origins of Python
inference-review.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Seven Hours, Zero Internet, and Local AI Coding at 40,000 Feet
betweentheprompts.com·1h·
Discuss: r/programming
🔬Unikernels
‘World Models,’ an Old Idea in AI, Mount a Comeback
quantamagazine.org·4h·
Discuss: Hacker News
🧠Automated Reasoning
Breaking Verifiable Abstractions
alperenkeles.com·1d·
Discuss: Hacker News, r/programming
🔍Formal Verification
Method Iteration: An LLM Prompting Technique
lesswrong.com·3d
✓Automated Theorem Proving
Tripping Around REPL
vlaaad.github.io·1d·
Discuss: Hacker News
🛡️seL4
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2d·
Discuss: Hacker News
🔤DSLs
Build an AI coding agent in Python
theptrk.com·12h·
Discuss: Hacker News
💎Refinement Types
How AI Is Changing–Not 'Killing'–College
insidehighered.com·3h·
Discuss: Hacker News
🎮Verification Games
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·1d
🧩Parser Combinators
Chat Is: The Future or a Terrible UI
lukew.com·1h·
Discuss: Hacker News
🎮Verification Games
ORCA: ORchestrating Causal Agent
arxiv.org·1d
⚙Operational Semantics