Advice on mini pc
reddit.com·10h·
Discuss: r/homelab
💾Retro Computing
C++: Maps on Chains
bannalia.blogspot.com·15h·
Discuss: Hacker News
🏹Effect Systems
The Ancient History of Compression Algorithms
cs4fn.org·1d·
Discuss: Hacker News
💻CS
Orca Build System
orca-app.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
The Analog Art
joostrekveld.net·5h·
Discuss: Hacker News
💾Retro Computing
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·3d·
Discuss: Hacker News
🔬Unikernels
Model-free Optical Processors using In Situ Reinforcement Learning with Proximal Policy Optimization
arxiv.org·2d
🐫OCaml
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
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
Data-Star.dev – v1 and Beyond
data-star.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
I don't think LLM's are making us stupider
news.ycombinator.com·6h·
Discuss: Hacker News
🔬Static Analysis
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·2d
🔬Static Analysis
How to Write Rust Code Like a Rustacean
thenewstack.io·2d·
Discuss: Hacker News
🔬Static Analysis
Consistent and Asymptotically Efficient Localization from Bearing-only Measurements
arxiv.org·18h
💻CS
Stop Converting Your REST APIs to MCP
jlowin.dev·5h·
Discuss: Hacker News
🧱Immutable Infrastructure
Richard Feynman and the Connection Machine
longnow.org·1d·
Discuss: Hacker News
🔄Finite State Machines
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org·2d
🔤DSLs
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
✓Automated Theorem Proving
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·18h
⚙️PL Implementation