๐Ÿ“ E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Discovering the Discovery of Designated Resolvers
labs.ripe.netยท10h
๐ŸŒDNS Security
The Top 7 Video Editing SDKs in 2025
img.lyยท7h
๐ŸŽฌWebCodecs
Rockchip RV1126B-P quad-core Cortex-A53 SoC shows up in AI Vision system-on-module
cnx-software.comยท4h
๐ŸฆพARM Cortex-M
Joint LFCS/AIAI Seminar-Monday 29th September 2025 by Visiting Speaker: Andrew D. Gordon
informatics.ed.ac.ukยท9h
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Show HN: ZenStack V3 โ€“ Modern, AI-Friendly Data Layer for TypeScript App
zenstack.devยท6hยท
Discuss: Hacker News
๐Ÿ“ฆMETS Containers
Dynamic Optical Resource Allocation via Reinforcement Learning for Virtualized Data Centers
dev.toยท4hยท
Discuss: DEV
โšกIncremental Computation
[R] Graph ML benchmarks and foundation models
reddit.comยท1dยท
Discuss: r/MachineLearning
๐Ÿ•ธ๏ธGraph Embeddings
There's a gap between AI coding demos and daily reality
github.comยท11hยท
Discuss: Hacker News
โšกProof Automation
AI is Your Copilot, Not Your Architect: A Senior Developer's Guide to Prompt Engineering for Code
dev.toยท20hยท
Discuss: DEV
๐Ÿ“Code Metrics
Introducing MindsDBโ€™s Hybrid Search: Find What Matters in a Sea of Enterprise Data
dev.toยท3hยท
Discuss: DEV
๐Ÿ”Search Indexing
The use of Claude Code in SciML repos
discourse.julialang.orgยท3dยท
Discuss: Hacker News
๐Ÿ“Code Metrics
How is Ultrassembler so fast?
jghuff.comยท2dยท
Discuss: Lobsters, Hacker News, r/programming
โš™๏ธModern Assembly
Asymmetric Linearizable Local Reads
muratbuffalo.blogspot.comยท1hยท
Discuss: Hacker News
๐Ÿ›ก๏ธByzantine Fault Tolerance
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.netยท1dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Sandboxing AI-generated code: why we moved from WASM to AWS Lambda
quesma.comยท2dยท
Discuss: Hacker News
๐Ÿ›ก๏ธWASM Sandboxing
Why Bittensor's Top Subnets Still Can't Explain Themselves
abittensorjourney.comยท2hยท
Discuss: Hacker News
๐Ÿ”—Topological Sorting
Dynamic Bio-Digital Archive Reconstruction via Temporal Graph Neural Networks
dev.toยท6hยท
Discuss: DEV
โณTime Capsule Networks
The Feature I Almost Abandoned (That Users Loved Most)
dev.toยท6hยท
Discuss: DEV
๐Ÿ”—Topological Sorting
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.orgยท1d
โš™๏ธABNF Mining
Show HN: Prototyper - AI design platform
getaprototype.comยท6hยท
Discuss: Hacker News
๐Ÿ“ŸCLI Design