Swift 6.2: Observations
mjtsai.comยท1d
๐Ÿ”„Lens Laws
Flag this post
JavaScript Utility Library Lodash Changing Governance Model
thenewstack.ioยท23h
๐Ÿ”„Language Evolution
Flag this post
Practical Steps Towards Vibe Writing with AI Positron
blog.oxygenxml.comยท1h
๐Ÿ”„Language Evolution
Flag this post
Joy & Curiosity #60
registerspill.thorstenball.comยท6h
๐ŸŽฏContent Recommendation
Flag this post
Fil-C: A memory-safe C implementation
lwn.netยท4dยท
Discuss: Hacker News
๐Ÿง Separation Logic
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.comยท1dยท
Discuss: Hacker News
๐Ÿง Lisp Dialects
Flag this post
Automated Peptide-Mimetic Design via Constraint-Based Generative Networks
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Vector Forensics
Flag this post
Why I Chose Go as My Main Backend Language โ€” and Why You Might Too
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.orgยท2d
๐Ÿ’ปProgramming languages
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Flag this post
Nirvana: A Specialized Generalist Model With Task-Aware Memory Mechanism
arxiv.orgยท2d
๐Ÿ’ปLocal LLMs
Flag this post
Revisiting interface segregation in Go
rednafi.comยท1dยท
๐Ÿ“‹Format Specification
Flag this post
Rdza โ€“ Rust Programming, in Polish
github.comยท2dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Flag this post
Algorithmic Constraints on Multiverse Exploration via Compactified Topological Spaces
dev.toยท11hยท
Discuss: DEV
๐ŸŒ€Differential Geometry
Flag this post
You Don't Need Types in Ruby
zhisme.comยท3dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
Writing an LLM from scratch, part 25 โ€“ instruction fine-tuning
gilesthomas.comยท3dยท
Discuss: Hacker News
โšกProof Automation
Flag this post
Convex Optimization (or Mathematical Programming) in Go
reddit.comยท21hยท
Discuss: r/golang
๐Ÿ“ˆLinear programming
Flag this post
Entropy in algorithm analysis
11011110.github.ioยท15h
๐ŸงฎKolmogorov Complexity
Flag this post
Linear Causal Discovery with Interventional Constraints
arxiv.orgยท2d
โœจEffect Handlers
Flag this post
Hybrid Neuro-Symbolic Reasoning for Adaptive Robotics Control in Dynamic Environments
dev.toยท6hยท
Discuss: DEV
โœจAlgebraic Effects
Flag this post