Show HN: Yansu, Serious Coding
📝Lisp
Flag this post
Generalizing Test-Time Compute-Optimal Scaling as an Optimizable Graph
📈Complexity Theory
Flag this post
Think DSP second edition
allendowney.com·1d
⚙Functional Programming
Flag this post
Further thoughts
samhawken.com·8h
🧩Theorem Proving
Flag this post
How to evaluate and benchmark Large Language Models (LLMs)
together.ai·1d
🧭SMT Solvers
Flag this post
Building Custom LLM Judges for AI Agent Accuracy
databricks.com·23h
🧭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
Post-training methods for language models
developers.redhat.com·1d
🎲Probabilistic Programming
Flag this post
10 Smart Performance Hacks For Faster Python Code
blog.jetbrains.com·8h
🏗Computer Architecture
Flag this post
Being "Usefully Concrete"
lesswrong.com·21h
🧩Theorem Proving
Flag this post
Code Smell 313 - Workslop Code
🧫Cellular Automata
Flag this post
Q-Sat AI: Machine Learning-Based Decision Support for Data Saturation in Qualitative Studies
arxiv.org·14h
🎲Probabilistic Programming
Flag this post
Reality check
⚙Functional Programming
Flag this post
Aligning LLM agents with human learning and adjustment behavior: a dual agent approach
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
PROPEX-RAG: Enhanced GraphRAG using Prompt-Driven Prompt Execution
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
Loading...Loading more...