Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
👨‍💻Programming
Flag this post
Labs for Broke – EKS for Pennies
georgedeblog.com·1d·
Discuss: Hacker News
🐧Linux
Flag this post
Building blobd: single-machine object store with sub-millisecond reads and 15 GB/s uploads
blog.wilsonl.in·2d·
Discuss: Hacker News, Hacker News
⚙️OS
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
👨‍💻Programming
Flag this post
We need to give LLMs human-like vision
matml.bearblog.dev·19h·
Discuss: Hacker News, Hacker News
👨‍💻Programming
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
medium.com·1d·
Discuss: Hacker News
👨‍💻Programming
Flag this post
SUSE Enterprise Linux 16 is here, and its killer feature is digital sovereignty
zdnet.com·19h·
Discuss: Hacker News
🐧Linux
Flag this post
Nvidia, Deutsche Telekom strike €1B partnership for a data center in Munich
techcrunch.com·21h·
Discuss: Hacker News
🐧Linux
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·5d·
Discuss: Hacker News
👨‍💻Programming
Flag this post
Humans and neural networks show similar patterns of transfer and interference
nature.com·18h·
Discuss: Hacker News
👨‍💻Programming
Flag this post
Ghosts in the Codex Machine
docs.google.com·1d·
Discuss: Hacker News
👨‍💻Programming
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·5d·
Discuss: Lobsters, Hacker News
👨‍💻Programming
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·20h·
Discuss: Hacker News
👨‍💻Programming
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·1d·
Discuss: Hacker News
🌐Computer Networking
Flag this post
CEF.AI is hiring for Principal Software Engineer position in SF
join.com·1h·
Discuss: Hacker News
👨‍💻Programming
Flag this post
Reforging the ReScript Build System
rescript-lang.org·19h·
Discuss: Lobsters, Hacker News
🔄Compilers
Flag this post
Small Vs. Large Language Models
semiengineering.com·2d·
Discuss: Hacker News, r/LLM
🌐Computer Networking
Flag this post
Chicken Coop Tech Stack
excamera.substack.com·15h·
Discuss: Substack
🐧Linux
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·1d·
Discuss: Hacker News
👨‍💻Programming
Flag this post
What does OSWorld tell us about AI's ability to use computers?
epoch.ai·13h·
Discuss: Hacker News
⚙️OS
Flag this post