Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·13h·
Discuss: Hacker News
🌀Brotli Internals
Recursion and Dynamic Programming: Solving Problems Efficiently
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·4h·
Discuss: Hacker News
⚡Proof Automation
Building an Intelligent Cross-Chain Transaction Optimizer with Python & Gemini AI
dev.to·13h·
Discuss: DEV
🔌Interface Evolution
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Optimizing Periodic Operations for Efficient Inland Waterway Lock Management
arxiv.org·1d
📏Range Queries
Getting an LLM to set its own temperature
amanvir.com·23h·
Discuss: Hacker News
🐛Fuzzing
DroneDiffusion: Robust Quadrotor Dynamics Learning with Diffusion Models
arxiv.org·18h
📐Projective Geometry
The collective waste caused by poor documentation
shanrauf.com·21h·
Discuss: Hacker News
📦Deflate
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·18h
🔍Concolic Testing
Machine Learning Fundamentals: active learning project
dev.to·7h·
Discuss: DEV
🧠Machine Learning
Simulating the Waterfall Model: A Systematic Review
arxiv.org·18h
🔲Cellular Automata
SPD-CFL: Stepwise Parameter Dropout for Efficient Continual Federated Learning
arxiv.org·1d
📊Learned Metrics
PhysiX: A Foundation Model for Physics Simulations
arxiv.org·1d
🔲Cellular Automata
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·1d
📏Code Metrics
Experimenting, Fast and Slow: Bayesian Optimization of Long-term Outcomes with Online Experiments
arxiv.org·1d
🌊Streaming Algorithms
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
RecLLM-R1: A Two-Stage Training Paradigm with Reinforcement Learning and Chain-of-Thought v1
arxiv.org·18h
🔍Information Retrieval