The Rosetta Code of Being – When Philosophy Compiles Itself
ontocode.org·18h·
Discuss: Hacker News
🔧functional programming languages
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·1d·
Discuss: Hacker News
💻programming
Flag this post
Handbook of Satisfiability (2021)
iospress.com·3d·
Discuss: Hacker News
🔧functional programming languages
Flag this post
Composing the Idea: Why "Next Word Prediction" Misses the Point
medium.com·1d·
Discuss: Hacker News
🔧functional programming languages
Flag this post
A fun application of Green’s functions and geometric algebra: Residue calculus
peeterjoot.com·2d
🐪ocaml
Flag this post
'No Free Lunch: Deconstruct Efficient Attention with MiniMax M2'
lmsys.org·1d
🦀Rust
Flag this post
7 Prompt Engineering Tricks to Mitigate Hallucinations in LLMs
machinelearningmastery.com·2d
⚠️Error Handling
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·1d
🦀Rust
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·1d
🔧functional programming languages
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
⚠️Error Handling
Flag this post
Advancing Cognitive Science with LLMs
arxiv.org·1d
🔧functional programming languages
Flag this post
When numbers lie: the Java equality bug every dev hits at least once
dev.to·9h·
Discuss: DEV
⚠️Error Handling
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
🔧functional programming languages
Flag this post
[D] Trajectory Distillation for Foundation Models
reddit.com·1h·
🔧functional programming languages
Flag this post
For Synthetic Situations
lesswrong.com·1d
⚠️Error Handling
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·1d
🔧functional programming languages
Flag this post
Approximation by Certain Complex Nevai Operators : Theory and Applications
arxiv.org·6h
🐪ocaml
Flag this post
Causal Graph Neural Networks for Healthcare
arxiv.org·6h
🔧functional programming languages
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.org·6h
🔧functional programming languages
Flag this post