Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systemsยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”„Finite State Machines
Go experiments with SIMD
golangweekly.comยท20h
๐Ÿ’งLiquid Types
Building an Ergonomic OpenTelemetry for JavaScript
thenewstack.ioยท6h
๐ŸšNordic Shell
Show HN: Enterprise MCP Bridge โ€“ Solving the MCP Chaos for IT
blog.inxm.aiยท1dยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
How Chat UIs Communicate with MCP Servers
dev.toยท4hยท
Discuss: DEV
๐ŸŒŠStream Processing
Trust Spanning Protocol (TSP) Specification
trustoverip.github.ioยท2dยท
Discuss: Hacker News
๐ŸŒณArchive Merkle Trees
Guessing Game: Haskell Style
entropicthoughts.comยท1d
๐Ÿ‘‘Dependent Haskell
Dependent types I โ€บ Universes, or types of types
jonmsterling.comยท14hยท
Discuss: Hacker News
๐Ÿ”คType Theory
API Design 101: From Basics to Best Practices
javarevisited.substack.comยท18hยท
Discuss: Substack, r/programming
โšกgRPC
I made a simple LAN scanner in Rust
github.comยท12hยท
Discuss: Hacker News
๐Ÿ“ปHomebrew Protocols
Itโ€™s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blogยท9h
๐ŸŒณArchive Merkle Trees
The Emacs thread-related code needs a maintainer
lists.gnu.orgยท11hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
TypeScript Cookbook โ€ข Stefan Baumgartner & Peter Krรถner
youtube.comยท1d
๐ŸŽฏGradual Typing
(็นไธญ) The Art of PHP โ€” My CTF Journey and Untold Stories!
blog.orange.twยท18h
๐Ÿ‡จ๐Ÿ‡ณChinese Computing
Future Research in XP Modeling: A Call for Self-Learning Models
hackernoon.comยท4h
โš™๏ธOperating System Design
Chatbots, APIs, and the Hidden Risks Inside Your Application Stack
blog.qualys.comยท1d
๐Ÿ‘๏ธSystem Observability
Trying to get error backtraces in rust libraries right
iroh.computerยท1dยท
Discuss: Lobsters, Hacker News, r/programming, r/rust
๐Ÿ”’Linear Types
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.comยท1dยท
Discuss: Hacker News
๐ŸงฎAlgebraic Datatypes
Research, Review, Rebuild: Intelligent Modernisation with MCP and Strategic Prompting
martinfowler.comยท6h
๐Ÿฆ‹Format Metamorphosis
Deep dive into Mojo object initialization
connorgray.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Borrowing