Tool Expressions: The Next Evolution in Agent Intelligence
blog.nishantjosh.dev·20m·
Discuss: r/programming
⚙Operational Semantics
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·11h·
Discuss: r/programming
🎯GADT
Flag this post
The Microsoft SoftCard for the Apple II: Getting two processors to share the same memory
devblogs.microsoft.com·15h·
Discuss: Lobsters, Hacker News
💾Retro Computing
Flag this post
Speeding up JavaScript test time 1000x
kevin.burke.dev·1d·
Discuss: Hacker News
📊Runtime Verification
Flag this post
Image formats: Codecs and compression tools
developer.mozilla.org·6h
🔲Cellular Automata
Flag this post
A Claude Code Command for Hypothesis
hypothesis.works·11h·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
Making a C64/C65 compatible computer: MEGAphone contact list and Dialer
c65gs.blogspot.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·22h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
A Thesis and Playbook for Edge AI
ondeviceguy.substack.com·1d·
Discuss: Substack
🖥️Self-hosted Infrastructure
Flag this post
React-Native-Godot
github.com·2d·
Discuss: Lobsters, Hacker News
🍎Apple
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
github.com·14h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
🔍Formal Verification
Flag this post
Unlocking LLMs: The Self-Steering Revolution
dev.to·2d·
Discuss: DEV
🔄Finite State Machines
Flag this post
Solving a problem with mindware
lesswrong.com·1d
🔲Cellular Automata
Flag this post
build system tradeoffs
jyn.dev·3d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
Turning Kubernetes observability into reliability with SLOs and runbooks
reddit.com·19h·
Discuss: r/kubernetes
👁️Observability
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·1d·
Discuss: Hacker News
📦Module Systems
Flag this post
Intel's LLM-Scaler Updated With OpenAI's GPT-OSS Model Support
phoronix.com·19h
🔧Unikernel Development
Flag this post
Should I run unraid in proxmox or proxmox on unraid
reddit.com·46m·
Discuss: r/homelab
🖥Self-Hosting
Flag this post
TrueNAS/Proxmox Freeze
reddit.com·9h·
Discuss: r/homelab
🖥️KVM
Flag this post