A safer memcpy with very limited use cases
subethasoftware.com·22h
🧠Memory Management
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·5h·
Discuss: Hacker News
🔗Parser Combinators
GITEX GLOBAL 2025
darkreading.com·1d
🛡️IoT Security
Vibe coding complex changes in Rust
youtube.com·18h
🦀Rust
Learning the Bitter Lesson
rlancemartin.github.io·1d·
Discuss: Hacker News
🧩Theorem Proving
Python Beginner's Guide to Processing Data
howtogeek.com·2d
📝Lisp
Mythbusting Large Language Models
medium.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Photon-Lines Tech Notes - July 2025
photonlines.substack.com·1d·
Discuss: Substack
🤖Sci-Fi
Show HN: Gomoku game in JavaScript (GitHub and live demo)
github.com·49m·
Discuss: Hacker News, r/javascript
⚖Algorithmic Game Theory
Experts can now identify and track you using Wi-Fi signals that bounce off your body - and its over 95% accurate.
threadreaderapp.com·8h
🔗Parser Combinators
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·2d
🔍Static Analysis
Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
arxiv.org·1d
⚖Algorithmic Game Theory
Mitigating Resolution-Drift in Federated Learning: Case of Keypoint Detection
arxiv.org·1d
📊Information Theory
Research Areas in Interpretability (The Alignment Project by UK AISI)
lesswrong.com·1d
🔗Parser Combinators
Partner with the AI, throw away the code
martinfowler.com·2d
🧩Theorem Proving
Researchers optimize AI systems for science
techxplore.com·2d
🔗Parser Combinators
The Effect of Prior Parameters on Standardized Kalman Filter-Based EEG Source Localization
arxiv.org·1d
📊Information Theory
Improving annotator selection in Active Learning using a mood and fatigue-aware Recommender System
arxiv.org·1d
🗄️Database Theory
Preface to "Simulacra and Simulation: Sections from the Work of Janus"
lesswrong.com·7h
🧩Theorem Proving
Deep Learning-based Prediction of Clinical Trial Enrollment with Uncertainty Estimates
arxiv.org·1d
⚖️Logic Programming