Investigating intentionality in elephant gestural communication
royalsocietypublishing.org·1d·
Discuss: Hacker News
🏹Effect Systems
This Page Is a Quine
pranavg.me·4d·
Discuss: Hacker News
🧮Lambda Calculus
Is the "cost of inference" going up or down?
crespo.business·14h·
Discuss: Hacker News
📝Term Rewriting
Answering some questions about Baba Yaga
eli.li·4d·
Discuss: Hacker News
💎Refinement Types
Context Engineering: A Primer
okigu.com·2d·
Discuss: Hacker News
🔍Formal Verification
AI gave me honest sounding reason to explain why it didn't analyze logs
news.ycombinator.com·1d·
Discuss: Hacker News
📚Automata Learning
Quirks of Common Lisp Types
fosskers.ca·4d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Show HN: A vibe port of security library libinjection from C to Rust
github.com·19h·
Discuss: Hacker News
🔬Static Analysis
HCCM: Hierarchical Cross-Granularity Contrastive and Matching Learning for Natural Language-Guided Drones
arxiv.org·3d
📚Automata Learning
Domain Generalization in-the-Wild: Disentangling Classification from Domain-Aware Representations
arxiv.org·3d
📚Automata Learning
Speech Command Recognition Using LogNNet Reservoir Computing for Embedded Systems
arxiv.org·1d
🐫Embedded OCaml
RAG-PRISM: A Personalized, Rapid, and Immersive Skill Mastery Framework with Adaptive Retrieval-Augmented Tutoring
arxiv.org·1d
🎮Verification Games
A Unified Denoising and Adaptation Framework for Self-Supervised Bengali Dialectal ASR
arxiv.org·1d
📚Automata Learning
Exploring LLMs for ICD Coding – Part 1
medium.com·1h·
Discuss: Hacker News
🤖Program Synthesis
Integrated Multivariate Segmentation Tree for the Analysis of Heterogeneous Credit Data in Small and Medium-Sized Enterprises
arxiv.org·1d
📚Automata Learning
Assessing prompting frameworks for enhancing literature reviews among university students using ChatGPT
arxiv.org·1d
🎮Verification Games
Cyclic Implicit Complexity
arxiv.org·3d
🐫OCaml
Enabling Down Syndrome Research through a Knowledge Graph-Driven Analytical Framework
arxiv.org·1d
🧠Automated Reasoning
Evaluating Cumulative Spectral Gradient as a Complexity Measure
arxiv.org·1d
💻CS
The Missing Error Bars in AI Research That Nobody Talks About.
lesswrong.com·10h
✓Automated Theorem Proving