VBARE: A simple alternative to Protobuf & Cap'n Proto for schema evolution
kapouay.eu.orgยท9h
๐Ÿ“ฆSerialization
Choosing the Right Key-Value Store: Redis vs Valkey
percona.comยท3h
๐Ÿ”—Redis Protocols
Do any of the Rust folks out there know of any Rust issues for "async fns increase *code size* nonlinearly"?
bsky.appยท23hยท
Discuss: Bluesky
๐Ÿ”’Rust Borrowing
Generating Consistent Imagery with Gemini
towardsdatascience.comยท19h
โœจGleam
Unlocking Performance in Python's Free-Threaded Future: GC Optimizations
labs.quansight.orgยท17hยท
๐Ÿ—‘๏ธGarbage Collection
Advanced Debugging in Elixir with IO.inspect
blog.appsignal.comยท1dยท
Discuss: Hacker News
โœจCode Formatters
Creating a database of motivated proofs
gowers.wordpress.comยท1dยท
Discuss: Hacker News
โš–๏ธInference Rules
Thoughts on my module to use a Map as an Object?
github.comยท2dยท
Discuss: r/javascript
๐ŸŒ™Lua
Go Coding with Asparagos: Saving Apples from Pies
dev.toยท8hยท
Discuss: DEV
๐ŸนMinimal Go
Is Rust a good choice for both game backends and real-time servers?
reddit.comยท2hยท
Discuss: r/gamedev
๐Ÿ“ฆMonorepos
Evaluation Codes in Bottleneck Metrics
arxiv.orgยท1d
๐ŸŽฏBit Vectors
Hyper-Efficient Multi-Modal Transit Network Optimization via Graph Neural Networks and Reinforcement Learning
dev.toยท12hยท
Discuss: DEV
๐Ÿš‚Error Propagation
Code Reuse Without Classes: A Deep Dive into Non-OOP Reusability
dev.toยท1dยท
Discuss: DEV
๐ŸชขRope Data Structures
Verifying User Interfaces using SPARK Ada: A Case Study of the T34 Syringe Driver
arxiv.orgยท1d
๐Ÿ“œBytecode Interpreters
defer and errdefer in Rust
strongly-typed-thoughts.netยท23hยท
๐Ÿ”’Rust Borrowing
RoboSeek: You Need to Interact with Your Objects
arxiv.orgยท1d
๐ŸŽญErlang OTP
SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
arxiv.orgยท1d
๐Ÿ”ชProgram Slicing
Building an Extendable Data Migration Utility in Java Using the Strategy Pattern
dev.toยท1dยท
Discuss: DEV
๐ŸššCode Migration
parSAT: Parallel Solving of Floating-Point Satisfiability
arxiv.orgยท1d
๐ŸงฉSAT Solvers
2 ways I used AI today to finally learn/write Typescript myself
reddit.comยท1hยท
Discuss: r/typescript
๐Ÿ›ก๏ธError Ergonomics