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·9h
⚙Functional Programming
Flag this post
Circular Sorting
anuragbishnoi.wordpress.com·4h
🔢Mathematical Logic
Flag this post
Context7 is the most underrated MCP server you're not using for your local LLM
xda-developers.com·23h
🧮Programming Language Theory
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
⚙Functional Programming
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·20h
✅Formal Verification
Flag this post
Disciplined Biconvex Programming
arxiv.org·20h
⚙Functional Programming
Flag this post
How to evaluate and benchmark Large Language Models (LLMs)
together.ai·1d
🧭SMT Solvers
Flag this post
This is one way I use AI for coding
🧩Theorem Proving
Flag this post
Artificial intelligence: Nirvana or apocalypse?
mathscholar.org·4h
🧫Cellular Automata
Flag this post
Alpamayo-R1: Bridging Reasoning and Action Prediction for Generalizable Autonomous Driving in the Long Tail
arxiv.org·20h
🎲Probabilistic Programming
Flag this post
Low-Level Hacks
🧠Memory Management
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·20h
🔗Parser Combinators
Flag this post
Loading...Loading more...