Explaining software and computational methods
blog.khinsen.netยท18h
๐Ÿ“Concrete Syntax
2025-06-24: GPU Hours Granted on Hypothesis Generation by Oak Ridge Leadership Computing Facility
ws-dl.blogspot.comยท1dยท
Discuss: ws-dl.blogspot.com
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Song recommendations from F# combinators
blog.ploeh.dkยท2d
๐Ÿ”—Functional Compilers
๐Ÿง  Solving LeetCode Until I Become Top 1% โ€” Day `30`
dev.toยท10hยท
Discuss: DEV
๐Ÿ“Error Bounds
Threaded Code
muforth.devยท7hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Why Dyad?: A Perspective for Modelica Users
juliahub.comยท3hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
The Interactive Handbook on Data Structures and Algorithms
cartesian.appยท1dยท
Discuss: Lobsters, Hacker News, Hacker News
๐ŸŒณTrie Structures
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.orgยท14h
๐Ÿ’ปLocal LLMs
Slashing CI Costs at Uber
uber.comยท8hยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.orgยท14h
๐Ÿ”Concolic Testing
Introducing ZMatrix: High-Performance Tensor Operations for PHP
dev.toยท18hยท
Discuss: DEV
โšกSIMD Vectorization
You Are the Main Thread
claudelog.comยท3hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.comยท1d
๐ŸงฎZ3 Solver
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comยท9hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Implementing Ray Tracing In One Weekend in F#
heftymouse.meยท3dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Some Thoughts On The Future โ€œDoudnaโ€ NERSC-10 Supercomputer
nextplatform.comยท13hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธModern Terminals
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท4h
๐Ÿ“ŠGraph Databases
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.orgยท14h
๐Ÿ“Compression Bounds