Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Four Theories of Meta
pxlnv.comยท12h
๐Ÿ“ฐContent Curation
Show HN: Consentless โ€“ A minimalist, privacy-preserving traffic counter
consentless.joeldare.comยท4hยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
You and Your Local Gradient
whybyfire.netยท1dยท
Discuss: Hacker News
๐ŸŽฏContent Recommendation
The Case for Cowboy Coding
bevel.workยท3dยท
Discuss: Hacker News
๐Ÿ“Code Metrics
Widespread NPM Supply Chain Attack: Breaking Down Impact and Scope Across Debug
wiz.ioยท3dยท
Discuss: Hacker News
๐ŸŽซKerberos Attacks
NPM debug and chalk packages compromised
aikido.devยท4dยท
๐ŸบZIP Archaeology
The Android Linux Commander
hackaday.comยท3d
๐Ÿ“ŸCLI Design
Debunking the Claims of K2-Think
sri.inf.ethz.chยท4hยท
๐Ÿง Intelligence Compression
Frankenstein Variant of the ToneShell Backdoor Targeting Myanmar
intezer.comยท1d
๐Ÿ”“Hacking
nanomsg/nng
github.comยท2d
๐Ÿ”ŒInterface Evolution
Gut-Brain Axis as a Closed-Loop Molecular Communication Network
arxiv.orgยท2d
โš›๏ธInformation Physics
Gram: Open-Source platform to create, curate and host MCP servers
github.comยท3dยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
How I Log ESPHome Device Data to CSV with Python (and Why You Should Too)
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ฒsyncthing
Enhanced Real-time Cardiac Mapping via Adaptive Wavelet Decomposition and Bayesian Inference
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠDigital Signal Processing
LAVA: Language Model Assisted Verbal Autopsy for Cause-of-Death Determination
arxiv.orgยท13h
๐Ÿ’ปLocal LLMs
My Education Track Submission - AI Learning Project
dev.toยท6hยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
Embedding Poisoning: Bypassing Safety Alignment via Embedding Semantic Shift
arxiv.orgยท3dยท
Discuss: Lobsters
๐ŸŒณArchive Merkle Trees
OOTSM: A Decoupled Linguistic Framework for Effective Scene Graph Anticipation
arxiv.orgยท3d
๐Ÿ›Digital humanities
SQLStorm & CogniSQL: An AI-Augmented SQL Dataset(202508)
dev.toยท3dยท
Discuss: DEV
โ›๏ธSQL Archaeology
The Impact of Artificial Intelligence on Traditional Art Forms: A Disruption or Enhancement
arxiv.orgยท2d
๐ŸŒCultural Algorithms