Answering some questions about Baba Yaga
eli.li·2d·
Discuss: Hacker News
💎Refinement Types
Apertus: a fully open, transparent, multilingual language model
actu.epfl.ch·1h·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🔬Unikernels
Cyclic Implicit Complexity
arxiv.org·1d
🐫OCaml
There's a gap between AI coding demos and daily reality
github.com·3h·
Discuss: Hacker News
🤖Program Synthesis
This Page Is a Quine
pranavg.me·2d·
Discuss: Hacker News
🧮Lambda Calculus
Isolated(any)
nshipster.com·19h·
Discuss: Hacker News
🧮Lambda Calculus
My AI Predictions for 2027
lesswrong.com·1d
🧠Automated Reasoning
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·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Breaking Verifiable Abstractions
alperenkeles.com·22h·
Discuss: Hacker News, r/programming
🔍Formal Verification
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
Method Iteration: An LLM Prompting Technique
lesswrong.com·3d
✓Automated Theorem Proving
Tripping Around REPL
vlaaad.github.io·1d·
Discuss: Hacker News
🛡️seL4
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·1d
🧩Parser Combinators
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2d·
Discuss: Hacker News
🔤DSLs
ORCA: ORchestrating Causal Agent
arxiv.org·1d
⚙Operational Semantics