NDC Conferences: "Would YOU Survive the Titanic?", with ML and .NET - Simon Painter - NDC Copenhagen 2025
🎲Probabilistic Programming
Flag this post
Think DSP second edition
allendowney.com·17h
⚙Functional Programming
Flag this post
Generalizing Test-Time Compute-Optimal Scaling as an Optimizable Graph
📈Complexity Theory
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·14h
🧭SMT Solvers
Flag this post
Post-training methods for language models
developers.redhat.com·1d
🎲Probabilistic Programming
Flag this post
Context7 is the most underrated MCP server you're not using for your local LLM
xda-developers.com·1d
🧮Programming Language Theory
Flag this post
Being "Usefully Concrete"
lesswrong.com·11h
🧩Theorem Proving
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
🧮Programming Language Theory
Flag this post
7 Prompt Engineering Tricks to Mitigate Hallucinations in LLMs
machinelearningmastery.com·1d
🧩Theorem Proving
Flag this post
Balancing Cost, Power, and AI Performance
oreilly.com·15h
🔗Parser Combinators
Flag this post
Deciphering Human Language for Machines: A Developer's Guide to NLP
🔗Parser Combinators
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
🧭SMT Solvers
Flag this post
Reality check
⚙Functional Programming
Flag this post
Moving regression artificial neural network framework for reliability evaluation of complex structure/system
sciencedirect.com·18h
🎲Probabilistic Programming
Flag this post
Loading...Loading more...