From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·3d·
Discuss: Hacker News
📏Linear Types
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·1d·
Discuss: Lobsters, Hacker News
📏Linear Types
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·12h·
Discuss: Hacker News
📈Time Series ML
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·11h·
Discuss: Hacker News
📏Linear Types
Flag this post
Welcome to Aspire: Your stack, streamlined – Aspire is going polyglot
devblogs.microsoft.com·1d·
Discuss: Hacker News
🧩Microservices
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·1d·
Discuss: Hacker News
🔄Async Rust
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2d·
Discuss: Hacker News
🏹Apache Arrow
Flag this post
Org Mode as Architecture Notebook
blog.wilcoxd.com·2d·
Discuss: Hacker News
🏹Apache Arrow
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·1d·
Discuss: Hacker News
💹Rust Finance
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·2d·
Discuss: Lobsters, Hacker News
📏Linear Types
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
📮Message Queues
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·4d·
Discuss: Hacker News
📏Linear Types
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·16h·
Discuss: Substack
📏Linear Types
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·2d·
Discuss: Hacker News
📏Linear Types
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·11h·
Discuss: Hacker News
🏹Apache Arrow
Flag this post
Challenge: Improve Multilingual ASR Performance for Mozilla
community.mozilladatacollective.com·9h·
Discuss: Hacker News
📈Time Series ML
Flag this post
Linux/WASM
joelseverin.github.io·1d·
Discuss: Hacker News
🌐Distributed systems
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·2d·
Discuss: Hacker News
📏Linear Types
Flag this post
20 Years Building for the Web: From PHP's Simple Server Rendering to TypeScript
nikuscs.com·1d·
Discuss: Hacker News
🔷Typescript
Flag this post
build system tradeoffs
jyn.dev·1d·
Discuss: Lobsters, Hacker News
📏Linear Types
Flag this post