๐Ÿ“ E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Signed and Dangerous: BYOVD Attacks on Secure Boot
binarly.ioยท2d
๐Ÿ”’Secure Boot
Rails on SQLite: exciting new ways to cause outages
andre.arko.netยท2dยท
Discuss: Hacker News
๐Ÿ—„๏ธSQLite Internals
UAE Lab Releases Open-Source Model to Rival China's DeepSeek
slashdot.orgยท3h
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Nvidia's context-optimized Rubin CPX GPUs were inevitable
theregister.comยท3dยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธModern Terminals
The OSS code that powers Claude and the maintainer they didn't hire
agenticweb.nearestnabors.comยท3dยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Show HN: FSP2 Tested on excerpt "Romeo and Juliet" impressive compresion results
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐Ÿ“Text Compression
A Markov Decision Process Model for Intrusion Tolerance Problems
arxiv.orgยท3d
๐ŸŽฏThreat Hunting
Machine Learning-Based Prediction of Speech Arrest During Direct Cortical Stimulation Mapping
arxiv.orgยท2d
๐Ÿง Machine Learning
Agents of Discovery
arxiv.orgยท2d
๐Ÿ“กInformation theory
Mind Meets Space: Rethinking Agentic Spatial Intelligence from a Neuroscience-inspired Perspective
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
GenAI Foundations โ€“ Chapter 5: Project Planning with the Generative AI Canvas
dev.toยท4dยท
Discuss: DEV
โšกProof Automation
Using topological data analysis to compare inter-subject variability across resting state functional MRI brain representations
arxiv.orgยท2d
๐Ÿ•ธ๏ธAlgebraic Topology
How to integrate AI APIs in Make (formerly Integromat) using CometAPI?
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
Introducing MindsDBโ€™s Integration with Gong: AI Analytics on Call Data
dev.toยท2dยท
Discuss: DEV
๐ŸŒŠStreaming Databases
Kubernetes and GKE for Beginners - Richard Belleville, gRPC Maintainer
youtube.comยท21h
โšกgRPC
Using AI as my engineering copilot (not autopilot)
dev.toยท4dยท
Discuss: DEV
โœจEffect Handlers
Automated Test Case Prioritization via Dynamic Attribute Weighting and Reinforcement Learning
dev.toยท4dยท
Discuss: DEV
๐Ÿ”Concolic Testing
GHC Developer Blog: GHC 9.10.3 is now available
haskell.orgยท3d
๐Ÿ”—Functional Compilers
Unlock Privacy-First AI: Securely Unleash LLMs on Your Customer Data
dev.toยท1hยท
Discuss: DEV
๐Ÿ’ปLocal LLMs
Building Scalable Multi-Modal AI Agents with Strands Agents and Amazon S3 Vectors
dev.toยท5dยท
Discuss: DEV
๐Ÿ”„Sync Engine