Meet the 11-Year-Old Whose Code Was Adopted by a Gaming Giant
thenewstack.io·1d·
Discuss: Hacker News
🎮Verification Games
Weighted random generation in Python (2010)
eli.thegreenplace.net·1d·
Discuss: Hacker News
🎮Verification Games
Scvi-hub: an actionable repository for model-driven single-cell analysis
nature.com·2d·
Discuss: Hacker News
📚Automata Learning
Unit test isolation using MVCC
blog.alexsanjoseph.com·9h·
Discuss: Hacker News
🧪Property-Based Testing
A Multimodal RAG Framework for Housing Damage Assessment: Collaborative Optimization of Image Encoding and Policy Vector Retrieval
arxiv.org·18h
📚Automata Learning
MultimodalHugs: Enabling Sign Language Processing in Hugging Face
arxiv.org·18h
🧩Parser Combinators
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·4d·
Discuss: Hacker News
🔬Static Analysis
Vendor by Default (2021)
macwright.com·14h·
Discuss: Hacker News
🔄Reproducible Builds
Is In-Context Learning Learning?
arxiv.org·18h
📚Automata Learning
Securing and Scaling AI-Powered APIs
capestart.com·9h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Engineering Spatial and Molecular Features from Cellular Niches to Inform Predictions of Inflammatory Bowel Disease
arxiv.org·18h
🧮Lambda Calculus
Interview with Eliezer Yudkowsky on Rationality and Systematic Misunderstanding of AI Alignment
lesswrong.com·3h
🧠Automated Reasoning
Revisiting Actor-Critic Methods in Discrete Action Off-Policy Reinforcement Learning
arxiv.org·18h
🧠Automated Reasoning
Linguistic trajectories of bipolar disorder on social media
arxiv.org·18h
🧮Lambda Calculus
Skill Issue Acceptance
mtende.blog·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Effects as Capabilities in Scala
nrinaudo.github.io·5d·
Discuss: Lobsters, Hacker News, r/programming
🏹Effect Systems
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·4d
🧩Parser Combinators
Boring Is Good
jenson.org·1h·
Discuss: Hacker News
🐫Embedded OCaml
Creativity Benchmark: A benchmark for marketing creativity for LLM models
arxiv.org·18h
🧩Parser Combinators
The Thinking Therapist: Training Large Language Models to Deliver Acceptance and Commitment Therapy using Supervised Fine-Tuning and Odds Ratio Policy Optimizat...
arxiv.org·18h
🧩Parser Combinators