How do I get better at programming
google.com·6h·
Discuss: r/programming
💻CS
MVC Isn't MVC – Collin Donnell
collin.blog·1d·
Discuss: Hacker News
🏹Effect Systems
Parsing 1 Billion Rows in Bun/TypeScript Under 10s
taekim.dev·3d·
Discuss: Hacker News, r/node, r/programming, r/typescript
⚙️PL Implementation
Security vulnerability on U.S. trains that let anyone activate the brakes on the rear car, was known for 13 years — operators refused to fix the issue until now
tomshardware.com·17h·
Discuss: Hacker News
🛡️seL4
(PR) JEDEC Releases New LPDDR6 Standard to Enhance Memory Performance
techpowerup.com·4d·
Discuss: Hacker News
⚙️Operating System Design
The Commodore 64 Ultimate computer is the company's first hardware release in over 30 years — pre-orders start at $299
tomshardware.com·1d·
Discuss: Hacker News, Hacker News
💾Retro Computing
Ask HN: Battery life for graphical Linux VMs (or Asahi) on Apple Silicon laptops
news.ycombinator.com·7h·
Discuss: Hacker News
💾Retro Computing
Smart Ring Development (Part 2) － Hardware Design
interrupt.memfault.com·4d·
Discuss: Hacker News, r/embedded
⚙️Operating System Design
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·3d·
Discuss: Substack
🧪Property-Based Testing
Modern Electric Vehicle Infrastructure Security
ocpp.us·6d·
Discuss: Hacker News
🌐NetworkProtocols
F3-Net: Foundation Model for Full Abnormality Segmentation of Medical Images with Flexible Input Modality Requirement
arxiv.org·2h
🔠Type-Level Programming
Effect of Static vs. Conversational AI-Generated Messages on Colorectal Cancer Screening Intent: a Randomized Controlled Trial
arxiv.org·2h
🎮Verification Games
The price of software freedom is eternal politics
theregister.com·1d·
Discuss: Hacker News
🔬Unikernels
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·5d
🔬Static Analysis
Consistent and Asymptotically Efficient Localization from Bearing-only Measurements
arxiv.org·3d
💻CS
Playing Snake with Digital Microfluidics
hackaday.com·1d
🎮Verification Games
Remote Sensing Reveals Adoption of Sustainable Rice Farming Practices Across Punjab, India
arxiv.org·2h
🖥️Self-hosted Infrastructure
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org·5d
🔤DSLs
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·4d
✓Automated Theorem Proving
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·3d
⚙️PL Implementation