The continuation monad: a mathematical introduction
wildonblog.wordpress.comยท2d
๐Ÿ”„Category Theory
Nexon under fire for using AI generated streamers to promote The First Descendant
tweaktown.comยท1d
๐Ÿ’พRetrocomputing
Electricity Prices Are Climbing More Than Twice as Fast as Inflation
hardware.slashdot.orgยท6h
โš–Algorithmic Game Theory
5 to 18: Why Your Count Might Be Off by One
ruslanspivak.comยท14h
๐ŸŽฒProbabilistic Programming
A Complete Guide to Tagging for Personal Knowledge Management
fortelabs.comยท10hยท
Discuss: Hacker News
๐ŸŒDistributed Systems
I made an interactive & visual explanation of HRM - a small neural net that went viral for beating OpenAI on reasoning puzzles
thelatents.comยท1dยท
Discuss: r/InternetIsBeautiful
๐ŸงญSMT Solvers
How I learn about generative AI
blog.pamelafox.orgยท1dยท
Discuss: www.blogger.com
๐ŸงฉTheorem Proving
87% of game developers are already using AI agents and over a third use AI for creative elements like level design and dialogue according to a new Google survey
pcgamer.comยท15h
๐Ÿค–Sci-Fi
Code Smell 308 - The Key to Safer, Cleaner, More Polymorphic Code
hackernoon.comยท2d
๐ŸงฎProgramming Language Theory
Last Flag, the 'Imagine Dragons game,' is poised to reinvent mulitplayer shooters
polygon.comยท12h
โš–Algorithmic Game Theory
Protection of savings by reducing the salience of opposing errors
nature.comยท6h
๐ŸŽฒProbabilistic Programming
Automating Fence Security with Python Scripts
dev.toยท13hยท
Discuss: DEV
๐Ÿ”ŒNetwork Programming
LeetCode #387. Find Unique Character in a String
dev.toยท20hยท
Discuss: DEV
โš™Functional Programming
The Constraint Satisfaction Problem Over Multisorted Cores
arxiv.orgยท2d
๐ŸŽฏConstraint Programming
I Gave My AI a Conscience in 3 Lines of Code: The Sacred Pause Pattern
dev.toยท7hยท
Discuss: DEV
โš™Functional Programming
๐——๐—ฒ๐—ฐ๐—ถ๐˜€๐—ถ๐—ผ๐—ป๐˜€ ๐— ๐—ฎ๐˜๐˜๐—ฒ๐—ฟ: ๐—Ÿ๐—ฒ๐˜ƒ๐—ฒ๐—น ๐—จ๐—ฝ ๐—ฌ๐—ผ๐˜‚๐—ฟ ๐——๐—ฒ๐˜ƒ ๐—š๐—ฟ๐—ผ๐˜„๐˜๐—ต
dev.toยท20hยท
Discuss: DEV
๐ŸงฉTheorem Proving
RISE: Enhancing VLM Image Annotation with Self-Supervised Reasoning
arxiv.orgยท2h
๐ŸŽฒProbabilistic Programming
Depth-Breadth Synergy in RLVR: Unlocking LLM Reasoning Gains with Adaptive Exploration
arxiv.orgยท2h
๐ŸŽฒProbabilistic Programming
liblcf 0.8.1 Integer Overflow
packetstorm.newsยท1d
๐ŸคProtocol Design
iDempiere WebUI 12.0.0.202508171158 CSV Injection
packetstorm.newsยท1d
๐ŸคProtocol Design