Show HN: Yansu, Serious Coding
📝Lisp
Flag this post
Circular Sorting
anuragbishnoi.wordpress.com·1d
🔢Mathematical Logic
Flag this post
Think DSP second edition
allendowney.com·1d
⚙Functional Programming
Flag this post
Building Custom LLM Judges for AI Agent Accuracy
databricks.com·1d
🧭SMT Solvers
Flag this post
NDC Conferences: "Would YOU Survive the Titanic?", with ML and .NET - Simon Painter - NDC Copenhagen 2025
🎲Probabilistic Programming
Flag this post
How to evaluate and benchmark Large Language Models (LLMs)
together.ai·2d
🧭SMT Solvers
Flag this post
Being "Usefully Concrete"
lesswrong.com·1d
🧩Theorem Proving
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.org·19h
🧩Theorem Proving
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.org·1d
🔐Cryptography
Flag this post
1 billion JSON records, 1-second query response: Apache Doris vs. ClickHouse, Elasticsearch, and PostgreSQL
🗄️Database Theory
Flag this post
Continuous takeoff is a bad name
lesswrong.com·49m
🧫Cellular Automata
Flag this post
I made a tensor runtime & inference framework in C (good for learning how inference works)
⚙Functional Programming
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography for Secure Model Aggregation in Cross-Silo Envir...
🔐Cryptography
Flag this post
IVGAE-TAMA-BO: A novel temporal dynamic variational graph model for link prediction in global food trade networks with momentum structural memory and Bayesian o...
arxiv.org·1d
🧫Cellular Automata
Flag this post
A Practical Guide to Building AI Agents With Java and Spring AI - Part 1 - Create an AI Agent
🧩Theorem Proving
Flag this post
For Synthetic Situations
lesswrong.com·2d
⚙Functional Programming
Flag this post
Loading...Loading more...