Esp-hal 1.0.0 release announcement
developer.espressif.com·1d·
Discuss: Hacker News, Hacker News, r/embedded, r/rust
🏗️Dune
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·4h·
Discuss: Hacker News
📦OPAM
Flag this post
C3 0.7.7 Vector ABI changes, RISC-V improvements and more
reddit.com·13h·
Discuss: r/programming
⚙️PL Implementation
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·12h·
Discuss: Hacker News
💬Mach Messages
Flag this post
Oops, My UUIDs Collided
alexsci.com·10h·
Discuss: Hacker News
🎯GADT
Flag this post
A portable picokernel for async I/O
ryansepassi.com·2h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Nim 2.2.6
nim-lang.org·15h·
Discuss: Hacker News
📦Opam
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·20h·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
How to Build Your First MCP Server using FastMCP
hackernoon.com·23h
💬Mach Messages
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·7h
🧠Automated Reasoning
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
dev.to·1d·
Discuss: DEV
❓Existential Types
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·2d·
Discuss: Substack
⚙️Compiler Design
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·15h·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·2d·
Discuss: Hacker News, r/rust
🏗️Dune
Flag this post
CAD-3D on the Atari ST
stonetools.ghost.io·10h·
Discuss: Hacker News
💾Retro Computing
Flag this post
Vectorizing for Fun and Performance
ibm.com·2d·
Discuss: Hacker News
🏹Effect Systems
Flag this post
The LLM-First Manifesto: From Prose to Programs
dev.to·9h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
🧮Lambda Calculus
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·21h·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post