Advice on mini pc
reddit.com·5h·
Discuss: r/homelab
💾Retro Computing
10 Insights from Integrating AI into My Coding Workflow
thenewstack.io·6h
🤖Program Synthesis
The Ancient History of Compression Algorithms
cs4fn.org·1d·
Discuss: Hacker News
💻CS
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·18h·
Discuss: Hacker News
🌐NetworkProtocols
The Complete MCP Experience: Full Specification Support in VS Code
code.visualstudio.com·2h·
Discuss: Hacker News
🔄Reproducible Builds
Fun with flags: How Compilers Break and Fix Constant-Time Code
arxiv.org·2d·
Discuss: Hacker News, r/programming
🔬Static Analysis
The hidden cost of AI reliance
codebytom.blog·1d·
Discuss: Hacker News, r/programming
✓Automated Theorem Proving
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·1d·
Discuss: Substack
🧪Property-Based Testing
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·14h
🔍Formal Verification
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
🔬Static Analysis
Orca Build System
orca-app.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
T5Gemma: A new collection of encoder-decoder Gemma models
developers.googleblog.com·2d·
Discuss: Hacker News
🐫OCaml
The Analog Art
joostrekveld.net·59m·
Discuss: Hacker News
💾Retro Computing
Stacked Intelligent Metasurfaces-Aided eVTOL Delay Sensitive Communications
arxiv.org·1d
📡Network Protocol Design
FrameShift: Learning to Resize Fuzzer Inputs Without Breaking Them
arxiv.org·2d
🧪Property-Based Testing
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·3d·
Discuss: Hacker News
🔬Unikernels
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Model-free Optical Processors using In Situ Reinforcement Learning with Proximal Policy Optimization
arxiv.org·2d
🐫OCaml
Feint and Attack: Attention-Based Strategies for Jailbreaking and Protecting LLMs
arxiv.org·2d
🌐NetworkProtocols
The inevitable trend toward low code makes programming tedious
thefoggiest.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds