Structural Search, Code Transformation, AST Matching, Refactoring Tools

Digging into the OCI Image Specification (2022)
blog.quarkslab.comยท1dยท
Discuss: Hacker News
๐Ÿ”ขBinary Formats
Ubiquitin's ability to tag synthetic compounds offers new path to drug discovery
phys.orgยท16h
โœจEffect Inference
Omittable โ€” Solving the Ambiguity of Null
committing-crimes.comยท1dยท
Discuss: r/programming
๐Ÿ—‚๏ธType Indexing
Kyle Tucker seeking another opinion as Cubs try to get All-Star back in time for playoffs
nytimes.comยท20h
๐ŸงฎCombinator Calculus
Be Careful When Assigning ArenaAllocators (2024)
openmymind.netยท2dยท
๐Ÿ—๏ธCustom Allocators
Linux fd Command: 10 Terminal File Search Methods
howtogeek.comยท56m
๐Ÿ’ปTerminal Control
<span class="nop nop-start">1/n
threadreaderapp.comยท20h
๐ŸงฉConstraint Solvers
I Put ChatGPT into Jail and Let Him Code Anyays
indiehackers.comยท3dยท
Discuss: Hacker News
โšกLive Coding
Scaling AI Evaluation Through Expertise
harvey.aiยท1dยท
Discuss: Hacker News
๐Ÿท๏ธAttribute Grammars
Prototyping Apps with AI: Why Replit Handled My Big Idea Better Than Cursor
spin.atomicobject.comยท1d
โšกLive Coding
Good AI innovation means focusing on workflow not cutting jobs
fastcompany.comยท6h
โšกJIT Optimizations
Why is Protobufโ€™s C++ API so clunky? Would a nlohmann/json-style wrapper make sense?
github.comยท2dยท
๐Ÿ indieweb
On the Regularity and Fairness of Combinatorial Multi-Armed Bandit
arxiv.orgยท1d
๐Ÿ—บ๏ธRegion Inference
Building Web Servers from First Principles (Part 7)
dev.toยท13hยท
Discuss: DEV
๐ŸŒHTTP Servers
LangChain, LangGraph, and LangSmith: Untangling the Confusion
dev.toยท3dยท
Discuss: DEV
๐ŸŒŠDataflow Languages
MiniRust
github.comยท5dยท
Discuss: Hacker News
๐Ÿฆ€MIR Optimization
FACTORS: Factorial Approximation for Complementary Two-factor Optimization with Risk-aware Scoring
arxiv.orgยท2d
โœจEffect Inference
๐Ÿš€ Exploring GitHub Models (Public Preview) for AI in Development Workflows๐Ÿš€
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
VulAgent: Hypothesis-Validation based Multi-Agent Vulnerability Detection
arxiv.orgยท2d
๐Ÿ”Static Analysis
DerivationBuilder, extracting Nix's sandboxing logic for library use (nixcon2025)
cdn.media.ccc.deยท8h
๐Ÿ“œBytecode Interpreters