Vibing a Non-Trivial Ghostty Feature
simonwillison.net·1h
🧪Binary Fuzzing
Your LLM Won’t Stop Lying Any Time Soon
hackaday.com·15h
💻Local LLMs
Toy Binary Decision Diagrams
philipzucker.com·5d
🧮Algebraic Datatypes
Macros 2.0 is one of the most exciting Rust features I'm looking forward to
reddit.com·19h·
Discuss: r/rust
🦀Rust Macros
Beyond the Hyped IMO Benchmarks: Towards a True Mathematical AI Discovery
quantumformalism.substack.com·1d·
Discuss: Substack
🧮SMT Solvers
When Python can't thread: a deep-dive into the GIL's impact
pythonspeed.com·1d·
Discuss: Hacker News
🔩Systems Programming
Experiments With Sonnet 4.5's Fiction
lesswrong.com·2h·
Discuss: Hacker News
🔗Concatenative Languages
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·6d·
Discuss: Hacker News
📝Concrete Syntax
LLC Artificial Intelligence Trained to Lie by Omission
dev.to·4h·
Discuss: DEV
📏Code Metrics
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·18h·
Discuss: Hacker News
⚡Proof Automation
Categorical Invariants of Learning Dynamics
arxiv.org·4d
🕸️Algebraic Topology
English - the hottest programming language of the future
dev.to·1d·
Discuss: DEV
🔄Language Evolution
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·1d
💻Local LLMs
Mitigating Judgment Preference Bias in Large Language Models through Group-Based Polling
arxiv.org·1d
💻Local LLMs
TIGeR: Tool-Integrated Geometric Reasoning in Vision-Language Models for Robotics
arxiv.org·2d
🌀Differential Geometry
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.to·12h·
Discuss: DEV
💻Local LLMs
🚀 From Rejection to Reinvention: How I Built an AI That Finds My Jobs
dev.to·12h·
Discuss: DEV
🇨🇳Chinese Computing
Neural Networks from Scratch in Python: Simpler Than You Think
hamza.se·21h·
Discuss: Hacker News
📊Quantization
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·19h·
Discuss: DEV
⚙️Proof Engineering