TikTok’s payment service struggled at 100,000 queries per second until engineers rewrote critical APIs in Rust
lord.technology·1d
🚂Cranelift Backend
Flag this post
Julia 1.12 Adds Trim Feature
i-programmer.info·11h
🚀MLton
Flag this post
Locating the Lemniscate
alexkritchevsky.com·1d
📐Quotient Types
Flag this post
Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
Connectivity Structure and Dynamics of Nonlinear Recurrent Neural Networks
journals.aps.org·3h
🔍ML Language
Flag this post
Defeating KASLR by Doing Nothing at All
📏Linear Memory
Flag this post
Reflection for Aggregates (2020)
🗂️Type Indexing
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·4d
📚Stack Allocation
Flag this post
LED Blinking Using Bare-Metal Register-Level Programming on STM32H-series.
📱Bytecode Design
Flag this post
Engineering a Rust optimization quiz
🦀MIR Optimization
Flag this post
EDL - a JIT-compiled scripting language for certain performance critical workloads with high compatibility with Rust; written in Rust
🪆Embedded DSLs
Flag this post
learn-data-structures-js
🪢Rope Data Structures
Flag this post
Beyond Start and End: PostgreSQL Range Types
📋Row Typing
Flag this post
Writing a DOS Clone in 2019
⚙️Assembly
Flag this post
AstuteRAG-FQA: Task-Aware Retrieval-Augmented Generation Framework for Proprietary Data Challenges in Financial Question Answering
arxiv.org·22h
📋Tablegen
Flag this post
A fun application of Green’s functions and geometric algebra: Residue calculus
peeterjoot.com·23h
∫Mathematical DSLs
Flag this post
Loading...Loading more...