A PhD in Snapshots
rbharath.github.io·1d·
Discuss: Hacker News
🎯Finite Automata
There is No One Place and that is Fine
taniyn.quest·1d
📏Linear Logic
A grand week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·1d·
Discuss: Hacker News
🛡️Stack Safety
Breakout Clone: Generating levels via JSON
jetbrains.com·4d·
Discuss: r/godot
📝Rope Editors
Stuck with My Final Year Project, Need Advice & Direction
reddit.com·1h·
Discuss: r/computers
📊LR Parsing
Hallucination reduction with CASAL: Contrastive Activation Steering For Amortized Learning
arxiv.org·1d
🔍ML Language
Detecting Distillation Data from Reasoning Models
arxiv.org·9h
✅Type Checking
Automated Structure-Based Drug Discovery via Hyperdimensional Protein-Ligand Interaction Scoring
dev.to·4h·
Discuss: DEV
✨Effect Inference
The Stack Unpacked Episode 4: to Query or Not to Query
dev.to·1d·
Discuss: DEV
🗄️Database Engines
Training Dynamics of Parametric and In-Context Knowledge Utilization in Language Models
arxiv.org·1d
🪜Recursive Descent
How AI broke the DRY principle — and why that’s a good thing
dev.to·21h·
Discuss: DEV
🎭Program Synthesis
Java Backend Coding Technology: Writing Code in the Era of AI
central.sonatype.com·3d·
Discuss: DEV
🎮Language Ergonomics
PoLi-RL: A Point-to-List Reinforcement Learning Framework for Conditional Semantic Textual Similarity
arxiv.org·9h
🌳Parser Visualization
9 ReSharper Features Every .NET Developer Should Know
blog.jetbrains.com·22h
🎮Language Ergonomics
Front-Loading Reasoning: The Synergy between Pretraining and Post-Training Data
arxiv.org·9h
🗺️Region Inference
Your-Error-Handling-is-a-Mess-and-Its-Costing-You-💸
dev.to·7h·
Discuss: DEV
🚂Error Propagation
NS-Pep: De novo Peptide Design with Non-Standard Amino Acids
arxiv.org·9h
🪄C Metaprogramming
Categorical Invariants of Learning Dynamics
arxiv.org·9h
🔗Category Theory
Stop-Guessing-Start-Measuring-A-Pragmatic-Guide-to-Web-Performance
dev.to·7h·
Discuss: DEV
🌪️V8 TurboFan