HTML Slides in 22 Lines of JavaScript
nbd.neocities.org·5h·
Discuss: Hacker News
📺Vintage Apple
Flag this post
A Claude Code Command for Hypothesis
hypothesis.works·2d·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
Learning to Model the World with Language
dynalang.github.io·7h·
Discuss: Hacker News
📚Automata Learning
Flag this post
Handbook of Satisfiability (2021)
iospress.com·4d·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
Lessons from Implementing RAG in 2025
truestate.io·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
[D] CVPR submission risk of desk reject
reddit.com·1h·
🛡️seL4
Flag this post
Day 2 of building Secrin
dev.to·2d·
Discuss: DEV
📦Module Systems
Flag this post
Learning When to Quit in Sales Conversations
arxiv.org·3d
🎮Verification Games
Flag this post
Active Noise Control Method Using Time Domain Neural Networks for Path Decoupling
arxiv.org·1d
🩹Self-Healing Systems
Flag this post
PROPEX-RAG: Enhanced GraphRAG using Prompt-Driven Prompt Execution
arxiv.org·3d
🧩Parser Combinators
Flag this post
I Work in Healthcare, and I Built Syda to Solve One Simple Problem: Test Data
dev.to·2d·
Discuss: DEV
🎯GADT
Flag this post
Oolong: Evaluating Long Context Reasoning and Aggregation Capabilities
arxiv.org·2d
📚Automata Learning
Flag this post
How to be convincing when talking to people about existential threat from AI
lesswrong.com·2d
🎮Verification Games
Flag this post
BondBERT: What we learn when assigning sentiment in the bond market
arxiv.org·2d
🧩Parser Combinators
Flag this post
SurgViVQA: Temporally-Grounded Video Question Answering for Surgical Scene Understanding
arxiv.org·1d
🔲Cellular Automata
Flag this post
SurgAnt-ViVQA: Learning to Anticipate Surgical Events through GRU-Driven Temporal Cross-Attention
arxiv.org·1d
🔲Cellular Automata
Flag this post
Systematizing LLM Persona Design: A Four-Quadrant Technical Taxonomy for AI Companion Applications
arxiv.org·1d
🔲Cellular Automata
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.org·4d
📐Linear Algebra
Flag this post
MedDChest: A Content-Aware Multimodal Foundational Vision Model for Thoracic Imaging
arxiv.org·2h
🕸️Graph Theory
Flag this post