Trump news at a glance: US troops will be paid despite shutdown, president claims
theguardian.comยท3h
๐Ÿ“กRSS
MultiPar 1.3.3.5 Beta / 1.3.2.9
scour.ingยท1d
๐ŸบZIP Archaeology
Physics-informed AI excels at large-scale discovery of new materials
phys.orgยท1d
๐Ÿง Machine Learning
Toy Binary Decision Diagrams
philipzucker.comยท6d
๐ŸงฎAlgebraic Datatypes
Vexing Exceptions
ericlippert.comยท2dยท
Discuss: Hacker News
๐ŸงชBinary Fuzzing
Keyboard Holders, Generation 1
cceckman.comยท2dยท
Discuss: Hacker News
โŒจ๏ธMechanical Keyboards
When dirt meets data: ScottsMiracle-Gro saved $150M using AI
venturebeat.comยท15hยท
Discuss: Hacker News
๐Ÿค–AI Curation
Dealing with Eventual Consistency and Idempotency in projections
event-driven.ioยท21hยท
Discuss: r/programming
๐ŸŒŠStream Processing
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท2dยท
Discuss: Hacker News
ฮปLambda Encodings
Replacing the Type Checker for the Swift Compiler
forums.swift.orgยท3dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Programmer in Wonderland
binaryigor.comยท2dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
The Trillion Dollar AI Software Development Stack
a16z.comยท1dยท
Discuss: Hacker News
โšกProof Automation
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.comยท1dยท
Discuss: Hacker News
โœจEffect Handlers
CubicLog โ€“ A single-binary logging server with zero-config smart analytics
github.comยท2dยท
Discuss: Hacker News
๐Ÿ“Log Parsing
AI Reddit Sensational Video Summarizer & Shorts Extractor:
dev.toยท1dยท
Discuss: DEV
๐Ÿค–Archive Automation
Decoding Cultures: Why Your Video AI Isn't Truly Seeing the World by Arvind Sundararajan
dev.toยท1dยท
Discuss: DEV
๐ŸŒCultural Algorithms
Extreme Amodal Face Detection
arxiv.orgยท3d
๐ŸŒ€Differential Geometry
ResAD: Normalized Residual Trajectory Modeling for End-to-End Autonomous Driving
arxiv.orgยท2d
๐ŸŒ€Riemannian Computing
Python 3.14 Released with Template String Literals, Deferred Annotations, and
socket.devยท4dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
GRACE: Generative Representation Learning via Contrastive Policy Optimization
arxiv.orgยท5d
๐Ÿ“ŠHyperLogLog