Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·3d
🔓Decompilation
Flag this post
What Artifacts Teach Us
systemsapproach.org·1h
📡Network Archaeology
Flag this post
Building Up And Sanding Down
endler.dev·3d
🔩Systems Programming
Flag this post
The Development of Pie
🔗Concatenative Languages
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
🧪Protocol Fuzzing
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
🎯Performance Proofs
Flag this post
Learning Sparse Approximate Inverse Preconditioners for Conjugate Gradient Solvers on GPUs
arxiv.org·3h
📐Linear Algebra
Flag this post
pDANSE: Particle-based Data-driven Nonlinear State Estimation from Nonlinear Measurements
arxiv.org·3h
🌀Differential Geometry
Flag this post
ViSurf: Visual Supervised-and-Reinforcement Fine-Tuning for LargeVision-and-Language Models
📊Learned Metrics
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.org·3d
💻Local LLMs
Flag this post
Gaperon: A Peppered English-French Generative Language Model Suite
arxiv.org·4d
⚙️Compression Benchmarking
Flag this post
Simplifying Preference Elicitation in Local Energy Markets: Combinatorial Clock Exchange
arxiv.org·3h
🤝Consensus Algorithms
Flag this post
VISAT: Benchmarking Adversarial and Distribution Shift Robustness in Traffic Sign Recognition with Visual Attributes
arxiv.org·3h
🧠Machine Learning
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
🧬PostgreSQL Forensics
Flag this post
The Hardest Bug to Fix Is Ambiguity
⚖️Hoare Logic
Flag this post
Loading...Loading more...