Tetrahedral analog of the Pythagorean theorem
johndcook.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Similarities Between a Stored Procedure in SQL and a Function in Python
dev.to·5h·
Discuss: DEV
🔢Algebraic Data Types
Flag this post
Lessons from Implementing RAG in 2025
truestate.io·5h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Why your AI evals keep breaking
atla-ai.com·1d·
Discuss: Hacker News
👁️System Observability
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·3d·
Discuss: Hacker News
📚Automata Learning
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
reddit.com·1d·
🧩Parser Combinators
Flag this post
Leaving Open Philanthropy, going to Anthropic
lesswrong.com·1d
🔲Cellular Automata
Flag this post
Show HN: A new language for COBOL workloads, built on Go
github.com·6h·
Discuss: Hacker News
📦Opam
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·1d
⚙️Compiler Design
Flag this post
Prompting for Policy: Forecasting Macroeconomic Scenarios with Synthetic LLM Personas
arxiv.org·9h
📚Automata Learning
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·1d
🔤DSLs
Flag this post
NumPy for Absolute Beginners: A Project-Based Approach to Data Analysis
towardsdatascience.com·18h
👁️System Observability
Flag this post
Coverage Analysis and Optimization of FIRES-Assisted NOMA and OMA Systems
arxiv.org·1d
🩹Self-Healing Systems
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·1d
📦Opam
Flag this post
VidEmo: Affective-Tree Reasoning for Emotion-Centric Video Foundation Models
arxiv.org·9h
📚Automata Learning
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·1d
🎮Verification Games
Flag this post
OceanAI: A Conversational Platform for Accurate, Transparent, Near-Real-Time Oceanographic Insights
arxiv.org·1d
🧠Automated Reasoning
Flag this post
Aligning LLM agents with human learning and adjustment behavior: a dual agent approach
arxiv.org·1d
📚Automata Learning
Flag this post