MIT 6.1200J Mathematics for Computer Science, Spring 2024
ocw.mit.edu·2d·
Discuss: Hacker News, r/programming
💻CS
TaxCalcBench: A benchmark for evaluating AI's ability to calculate tax returns
columntax.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: The Magic of Code – book about the wonders and weirdness of computation
themagicofcode.com·3d·
Discuss: Hacker News
🏹Effect Systems
Combatting reverse shell bots with honeypots
laura.media·2h·
Discuss: Hacker News, r/programming
🛡️seL4
Unexpected inconsistency in records
codeblog.jonskeet.uk·5d·
Discuss: Hacker News, r/programming
🧪Property-Based Testing
A brief perspective from an IMO coordinator
reddit.com·2d·
Discuss: r/math
🎮Verification Games
Architecture Styles – Azure Architecture Center
learn.microsoft.com·2d·
Discuss: Hacker News
⚙️Operating System Design
You Might Not Need LangChain for Your Next AI App
shuvrojit.substack.com·4d·
Discuss: Substack
🐫OCaml
Aula WIN68 Hall-Effect Standard Edition Keyboard Review
boilingsteam.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Proposal for Martian Calendar
github.com·16h·
Discuss: Hacker News
⎈Kubernetes
We maintain HarfBuzz, the text shaping engine used in Linux desktop and more — Ask us anything (or tell us what confused you)
github.com·3d·
Discuss: Hacker News, r/linux
🍎Apple
Multimodal AI for Gastrointestinal Diagnostics: Tackling VQA in MEDVQA-GI 2025
arxiv.org·3d
🔄Finite State Machines
FedMultiEmo: Real-Time Emotion Recognition via Multimodal Federated Learning
arxiv.org·3d
🔬Unikernels
A universal augmentation framework for long-range electrostatics in machine learning interatomic potentials
arxiv.org·3d
🏹Effect Systems
Socio-Technical Smell Dynamics in Code Samples: A Multivocal Review on Emergence, Evolution, and Co-Occurrence
arxiv.org·4d
🔄Reproducible Builds
npm ‘is’ Package Hijacked in Expanding Supply Chain Attack
socket.dev·2d·
Discuss: Hacker News
❄️Nixified Development
DENSE: Longitudinal Progress Note Generation with Temporal Modeling of Heterogeneous Clinical Notes Across Hospital Visits
arxiv.org·4d
🔬Static Analysis
Open source's superior security is a matter of eyeballs: Be kind to the brains behind them
theregister.com·3d·
Discuss: Hacker News
🛡️seL4
Temporal Basis Function Models for Closed-Loop Neural Stimulation
arxiv.org·3d
🔄Finite State Machines
Beyond Architectures: Evaluating the Role of Contextual Embeddings in Detecting Bipolar Disorder on Social Media
arxiv.org·3d
🐫OCaml