🌲 Parse Trees

AST Construction, Syntax Analysis, Grammar Processing, Tree Transformations

It takes a Kraken to scan billions of source files
softwareheritage.org·1d
🏠Homelab Archaeology
A New Identity for Prefix.dev
prefix.dev·1h·
Discuss: Hacker News
🏺ZIP Archaeology
Intelligent Search in Rails with Typesense
avohq.io·1d·
Discuss: Hacker News
🎯Gradual Typing
Build Something That Lasts
velagao.substack.com·9h·
Discuss: Substack
🧊Arctic Storage
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·1d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
Where is Mathematics Going? Large Language Models and Lean Proof Assistant
hackaday.com·13h
⚙️Proof Engineering
Coding Agent Teams: The Next Frontier in AI-Assisted Software Development
devops.com·4h
⚙️Proof Engineering
Beating the L1 cache with value speculation (2021)
mazzo.li·2d·
Discuss: Lobsters, Hacker News
⚡CPU Microarchitecture
💻 Mastering MongoDB CRUD Operations — A Hands-on Student Database Example 🎓
dev.to·1d·
Discuss: DEV
🦴Database Paleontology
AppCUI-Rs – Powerful and Easy TUI Framework Written in Rust
github.com·1d·
Discuss: Hacker News
📺Terminal UI
Static Bundle Object: Modernizing Static Linking
medium.com·2d·
Discuss: Hacker News
🔗Static Linking
Token Hidden Reward: Steering Exploration-Exploitation in Group Relative Deep Reinforcement Learning
arxiv.org·2d
🔲Cellular Automata
Cost Efficient Fairness Audit Under Partial Feedback
arxiv.org·2d
🌸Bloom Variants
Unsupervised Active Learning via Natural Feature Progressive Framework
arxiv.org·2d
🧠Machine Learning
Learning Mixtures of Linear Dynamical Systems (MoLDS) via Hybrid Tensor-EM Method
arxiv.org·1d
🌀Differential Geometry
Embrace the Limits: How AI's Constraints Fuel Innovation by Arvind Sundararajan
dev.to·7h·
Discuss: DEV
🤖AI Curation
Detecting Invariant Manifolds in ReLU-Based RNNs
arxiv.org·2d
🌀Riemannian Computing
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·14h·
Discuss: DEV
🔄Burrows-Wheeler
I Tried 500+ New AI Tools, and Honestly, These Will Blow Your Mind
dev.to·10h·
Discuss: DEV
⚡Proof Automation
Tech With Tim: How to Build AI Agents in Python
dev.to·8h·
Discuss: DEV
⚔️Lean Tactics