[notes] the way we use language
v5.chriskrycho.com·1d
📐Formal Methods
Show HN: BinaryRPC – Lightweight WebSocket-based RPC framework in modern C++
github.com·12h·
Discuss: Hacker News
🦀Rust
Full QuickJS Support for Nginx
blog.nginx.org·2d·
Discuss: Hacker News
🔷Typescript
KSAT
corrode.dev·3d·
Discuss: Hacker News
🦀Rust
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·2d·
Discuss: Hacker News
🗃️Database Internals
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·3d·
Discuss: Hacker News
🦀Rust
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com·2d·
Discuss: Hacker News
🌊Stream Processing
Amber Smalltalk
amber-lang.net·3d·
Discuss: Hacker News
🔷Typescript
Easy dynamic dispatch using GLIBC Hardware Capabilities
kvr.at·10h·
Discuss: Lobsters, Hacker News
⚡SIMD Optimization
The Symbol Grounding Problem (1990)
arxiv.org·3h·
Discuss: Hacker News
📐Formal Methods
Forget Borrow Checkers: C3 Solved Memory Lifetimes With Scopes
c3-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Management
Adventures in Vibe Coding with AI from a Non-Coder
ozeanmedia.com·1d·
Discuss: Hacker News
🚀Query Engines
We Bundled and Saved 50% on Cold Starts of Our TypeScript SDK
dagger.io·2d·
Discuss: Hacker News
🌊Stream Processing
Writing Custom Open-Source UI for Vivaldi Browser
velzie.rip·4h·
Discuss: Hacker News
🦀Rust
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
🌐Distributed systems
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·2d·
Discuss: Hacker News
🌐Distributed systems
The First AI Coding Style Guide
github.com·5d·
Discuss: Hacker News
📐Formal Methods
Breaking Down and Explaining Type Parameters
hackernoon.com·1d
🦀Rust
The Complete MCP Experience: Full Specification Support in VS Code
code.visualstudio.com·1d·
Discuss: Hacker News
🌐Distributed systems
Vibe Coding in BASIC
goto10retro.com·3d·
Discuss: Hacker News
🧠Memory Management