Do any of the Rust folks out there know of any Rust issues for "async fns increase *code size* nonlinearly"?
bsky.appยท20hยท
Discuss: Bluesky
๐Ÿ”’Rust Borrowing
On benchmarking: "measuring performance is hard" (2017)
ruudvanasseldonk.comยท20hยท
Discuss: Hacker News
โšกPerformance
GPT-5โ€™s Enhanced Reasoning Comes With a Steep Hidden Cost
thenewstack.ioยท22h
๐ŸŽญProgram Synthesis
Advanced Debugging in Elixir with IO.inspect
blog.appsignal.comยท1dยท
Discuss: Hacker News
โœจCode Formatters
From AI-Generated to Production-Ready Code: WebStorm Refactorings for the Modern Workflow
blog.jetbrains.comยท23h
๐ŸššCode Migration
Thoughts on my module to use a Map as an Object?
github.comยท2dยท
Discuss: r/javascript
๐ŸŒ™Lua
connect-four-ai: A high-performance, perfect Connect Four solver
reddit.comยท2dยท
Discuss: r/rust
๐ŸงฉConstraint Solvers
Python Tuples: The Ultimate Guide to Immutable Sequences
dev.toยท2dยท
Discuss: DEV
๐ŸงฉPersistent Vectors
Creating a database of motivated proofs
gowers.wordpress.comยท1dยท
Discuss: Hacker News
โš–๏ธInference Rules
Go Coding with Asparagos: Saving Apples from Pies
dev.toยท5hยท
Discuss: DEV
๐ŸนMinimal Go
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ยท8hยท
Discuss: DEV
๐Ÿš‚Error Propagation
Introducing PatchLens: Deep Behavior Risk Analysis for Go Module Updates
reddit.comยท12hยท
Discuss: r/golang
๐Ÿ“ฆMonorepos
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ยท19hยท
๐Ÿ”’Rust Borrowing
RoboSeek: You Need to Interact with Your Objects
arxiv.orgยท1d
๐ŸŽญErlang OTP
Code Reuse Without Classes: A Deep Dive into Non-OOP Reusability
dev.toยท1dยท
Discuss: DEV
๐ŸชขRope Data Structures
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