My AI Workflow for Understanding Any Codebase
steipete.me·22h
⚡Proof Automation
Reverse Engineering the Microchip CLB Part 1: Background and Reverse Engineering the BLEs
mcp-clb.markomo.me·2h·
Discuss: Lobsters, Hacker News
🔬Binary Analysis
The one-more-re-nightmare compiler (2021)
applied-langua.ge·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Agent Lineage Evolution: A Novel Framework for Managing LLM Agent Degradation
danieltan.weblog.lol·1h·
Discuss: Hacker News
⚙️TLA+
WQ42: Grounding LLMs in Wikidata Facts via Tool Calling
thottingal.in·4d·
Discuss: Hacker News
🔗Constraint Handling
SlimMoE: Structured Compression of Large MoE Models via Expert Slimming and Distillation
arxiv.org·2d
⚡Modern Compression
PATCH! {P}sychometrics-{A}ssis{T}ed Ben{CH}marking of Large Language Models against Human Populations: A Case Study of Proficiency in 8th Grade Mathematics
arxiv.org·1d
🧠Intelligence Compression
AI’s ‘Neutral Voice’ Is a Structural Illusion
hackernoon.com·1d
🤖Grammar Induction
🧠 Solving LeetCode Until I Become Top 1% — Day `31`
dev.to·43m·
Discuss: DEV
🔢Bitwise Algorithms
QueueEDIT: Structural Self-Correction for Sequential Model Editing in LLMs
arxiv.org·2d
🔗Monadic Parsing
Detecting Machine-Generated Texts: Not Just "AI vs Humans" and Explainability is Complicated
arxiv.org·1d
🧮Kolmogorov Complexity
Machine Learning Fundamentals: active learning
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.org·4h
🎯Performance Proofs
How do you see the current state and future of Rust? And, will Rust get popular in game dev?
reddit.com·7h·
Discuss: r/rust
🦀Rust Macros
Can structural correspondences ground real world representational content in Large Language Models?
arxiv.org·3d
🌳Context free grammars
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·4h
🧠Intelligence Compression
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·11h·
Discuss: DEV
🦀Rust Borrowing
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·1d
🔍Type Inference
PDF Retrieval Augmented Question Answering
arxiv.org·2d
📊Multi-vector RAG
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming