With 80th consecutive 20-point game, Thunder star Shai Gilgeous-Alexander passes Oscar Robertson
nytimes.com·4h
🧫Cellular Automata
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·2d·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
Think DSP second edition
allendowney.com·18h
Functional Programming
Flag this post
Artificial intelligence: Nirvana or apocalypse?
mathscholar.org·13h
🧫Cellular Automata
Flag this post
I Use AI
ben.stolovitz.com·20h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
7 Prompt Engineering Tricks to Mitigate Hallucinations in LLMs
machinelearningmastery.com·2d
🧩Theorem Proving
Flag this post
Efficient Curvature-aware Graph Network
arxiv.org·1d
🕸️Graph Theory
Flag this post
About AI and context
dev.to·2h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Not Over Or Under Indexed
lesswrong.com·12h
🗄️Database Theory
Flag this post
Q-Sat AI: Machine Learning-Based Decision Support for Data Saturation in Qualitative Studies
arxiv.org·6h
🎲Probabilistic Programming
Flag this post
Approximation by Certain Complex Nevai Operators : Theory and Applications
arxiv.org·6h
Functional Programming
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·17h·
Discuss: DEV
🧭SMT Solvers
Flag this post
Multi-Sensor Distributed Hypothesis Testing in the Low-Power Regime
arxiv.org·1d
📊Information Theory
Flag this post
Neural Green's Functions
arxiv.org·6h
🎲Probabilistic Programming
Flag this post
Story and essential meaning dynamics in Bangladesh's July 2024 Student-People's Uprising
arxiv.org·6h
🧮Programming Language Theory
Flag this post
Learning When to Quit in Sales Conversations
arxiv.org·1d
Algorithmic Game Theory
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
github.com·1d·
Discuss: Hacker News
🧩Theorem Proving
Flag this post