5 Maths Gems #192
resourceaholic.comยท1dยท
Discuss: www.resourceaholic.com
๐Ÿ‘‘Isabelle
I made a tree visualizer
cassidoo.coยท1d
๐Ÿ”—Topological Sorting
Manifestations
theprogrammersparadox.blogspot.comยท4dยท
Discuss: theprogrammersparadox.blogspot.com
๐Ÿ”—Concatenative Programming
"Dear ImGui" Becomes "Dear User, " with LLMs
blog.igerman.ccยท19hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธTerminal Emulators
Write Better with Vale
pragprog.comยท4dยท
Discuss: Hacker News
๐Ÿ“Concrete Syntax
Adding OR logic forced us to confront why users preferred raw SQL
signoz.ioยท4dยท
Discuss: Hacker News
โ›๏ธSQL Archaeology
From Hallucinations to Prompt Injection: Securing AI Workflows at Runtime
docker.comยท4d
๐ŸŒWASI
Web Designers in Bangalore
dev.toยท9hยท
Discuss: DEV
๐ŸŽฌWebCodecs
Massively Parallel Agentic Simulations with Ray
anyscale.comยท4dยท
Discuss: Hacker News
โš™๏ธOperating System Design
[D] which papers HAVEN'T stood the test of time?
reddit.comยท1dยท
Discuss: r/MachineLearning
๐Ÿ“œDocument Physics
What if Your Refrigerator Was Twice As Efficient and Completely Silent?
scitechdaily.comยท1h
๐ŸŒก๏ธPreservation Thermodynamics
The Little Book of Everything
github.comยท6dยท
Discuss: Hacker News
ฮปLambda Formalization
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.comยท4dยท
Discuss: Lobsters, Hacker News, Hacker News, Hacker News, r/programming
๐ŸงฎConstraint Solvers
๐Ÿ”ฅ Finally finished ManjaroWizard: the ultimate post-install setup script for Manjaro Linux! Dev tools, Browsers, Gaming, Security, all in one interactive menu ๐Ÿš€...
github.comยท1dยท
Discuss: r/archlinux, r/linux
๐Ÿ”ŒOperating system internals
Vibe Coding Best Practices
dev.toยท5dยท
Discuss: DEV
โšกProof Automation
Minimal Data, Maximum Clarity: A Heuristic for Explaining Optimization
arxiv.orgยท4d
๐ŸงฎKolmogorov Complexity
Two Sides of the Same Optimization Coin: Model Degradation and Representation Collapse in Graph Foundation Models
arxiv.orgยท4d
๐Ÿ”—Graph Isomorphism
AI-Integrated Smart Contracts: The Next Revolution in DeFi Automation
dev.toยท2dยท
Discuss: DEV
โšกSMT Integration
Enhanced Polyacrylamide Flocculant Performance via Dynamic Shear-Induced Molecular Reconfiguration
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
SwarmSim: Build Intelligent Herds with Entity-Component Systems by Arvind Sundararajan
dev.toยท5dยท
Discuss: DEV
๐ŸŒCultural Algorithms