MIT 6.1200J Mathematics for Computer Science, Spring 2024
ocw.mit.edu·21h·
Discuss: Hacker News, r/programming
💻CS
Base58 versus Base85 encoding
johndcook.com·11h·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Homemade robot playing piano concert in SF (7/26)
grayarea.org·1d·
Discuss: Hacker News
🍎Apple
MakeShift: Security Analysis of Shimano Di2 Wireless Gear Shifting in Bicycles
usenix.org·4d·
Discuss: Hacker News
👁️System Observability
We built ClearWork to reveal how work gets done (not what's in the SOP)
clearwork.io·12h·
Discuss: Hacker News
🧗Climbing Tech
MetaMask crypto wallet Chrome extension is eating SSD storage at an alarming rate — owner confirms bug 'has been writing hundreds of gigabytes of data per day i...
tomshardware.com·15h·
Discuss: Hacker News
❄️Nixified Development
Debcraft – Easiest way to modify and build Debian packages
optimizedbyotto.com·5d·
Discuss: Hacker News
❄️Nixified Development
How I write docs quickly
passo.uno·2d·
Discuss: Hacker News
🔄Reproducible Builds
We Do Not Break Userspace
lore.kernel.org·4d·
Discuss: Hacker News
🔬Unikernels
OWASP's cure for a sick AI supply chain
scworld.com·5d·
Discuss: Hacker News
🛡️seL4
What's happening to Matlab? Or, "The slow demise of the engineering toolbox"
blog.pictor.us·5d·
Discuss: Hacker News
🐫Embedded OCaml
Breaking to Build: Fuzzing the Kotlin Compiler
blog.jetbrains.com·6d·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
Open-source SEC EDGAR MCP server
github.com·2d·
Discuss: Hacker News
🛡️seL4
The Tool for Shopee Multi-Site Operations
news.ycombinator.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
SQLite AI – Local AI Inference, Powered by SQLite
github.com·9h·
Discuss: Hacker News
🐫Embedded OCaml
FastSmoothSAM: A Fast Smooth Method For Segment Anything Model
arxiv.org·1d
🔄Finite State Machines
Enhancing Communications and Sensing Simultaneously by Zero-Order Optimization of MTS
arxiv.org·1d
📡Network Protocol Design
On the stability of the low-rank projector-splitting integrator for hyperbolic and parabolic equations
arxiv.org·1d
🐫OCaml
Generative Distribution Distillation
arxiv.org·1d
🤖Program Synthesis
The Prompt Makes the Person(a): A Systematic Evaluation of Sociodemographic Persona Prompting for Large Language Models
arxiv.org·21h
🐫OCaml