Roadmap for Improving the Type Checker
forums.swift.org·2d·
Discuss: Lobsters, Hacker News
🔍Type Inference
Flag this post
The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.com·1d
🔬Static Analysis
Flag this post
Borrow checker says “No”! An error that scares me every single time!
polymonster.co.uk·2d·
Discuss: Hacker News, r/rust
🔀OCaml Multicore
Flag this post
Tech With Tim: Learn Fast API With This ONE Project
dev.to·3h·
Discuss: DEV
🔌APIs
Flag this post
Handbook of Satisfiability (2021)
iospress.com·11h·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
Building NailArt AI: A Complete Technical Breakdown
dev.to·12h·
Discuss: DEV
🔧ppx
Flag this post
Bedrock, a modular, WAN-replicated database based on SQLite
bedrockdb.com·1d·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·3d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Smaller Surfaces
nrempel.com·1d·
Discuss: Hacker News
💎Refinement Types
Flag this post
Cognotik: A New FOSS AI Coding Assistant. For JetBrains IDEs
github.com·22h·
Discuss: Hacker News
🔧DevOps
Flag this post
Welcome to Aspire: Your stack, streamlined – Aspire is going polyglot
devblogs.microsoft.com·1d·
Discuss: Hacker News
🔧ppx
Flag this post
How to Build Your First MCP Server using FastMCP
hackernoon.com·2d
💬Mach Messages
Flag this post
GIL and Race Condition in Python
dev.to·17h·
Discuss: DEV
⏰Timed Automata
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·2d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Rouille – Rust Programming, in French
dev.to·2d·
Discuss: DEV
🔀OCaml Multicore
Flag this post
Show HN: Calque, Snapshot Testing in Elixir
github.com·1h·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·4h·
Discuss: Hacker News
📡Network Protocol Design
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
word2vec-style vector arithmetic on docs embeddings
technicalwriting.dev·3d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🔢Algebraic Data Types
Flag this post
Vibecoding my way to a crit on GitHub
furbreeze.github.io·12h·
Discuss: Hacker News
🔧DevOps
Flag this post