I Don't Like Imports
kevincox.ca·6d
🦀Rust Macros
Serializable Isolation for Snapshot Databases
muratbuffalo.blogspot.com·2d·
Discuss: Hacker News
🔀CRDT
Cashfree Payments Saved 160 Hours of Manual Testing with Generative AI
tech.cashfree.com·1d·
Discuss: Hacker News
🔍Concolic Testing
An evaluation scheme for sampling
statmodeling.stat.columbia.edu·2d
🧮Kolmogorov Bounds
Fast LoRA inference for Flux with Diffusers and PEFT
huggingface.co·4d·
Discuss: Hacker News
⚡Performance Mythology
A front end love story
tobiasuhlig.medium.com·2d·
Discuss: Hacker News
🌐WASI
Inside GPT – The Maths Behind the Magic • Alan Smith • GOTO 2024
youtube.com·2d
🎯Proof Tactics
New software simulates cancer cell behavior using genomics and computational models
phys.org·1d
🔲Cellular Automata
Remembering the Markov Property in Cooperative MARL
arxiv.org·2d
🧮Kolmogorov Complexity
ZORMS-LfD: Learning from Demonstrations with Zeroth-Order Random Matrix Search
arxiv.org·3d
🧮SMT Solvers
I’m a .NET Developer, and I Want to Be Free from Frameworks.
dev.to·2d·
Discuss: DEV
🧱Immutable Infrastructure
Sticking to the Mean: Detecting Sticky Tokens in Text Embedding Models
arxiv.org·2d
📝Text Parsing
Generation of Synthetic Clinical Text: A Systematic Review
arxiv.org·2d
📝Concrete Syntax
📈 Bug rate improvement after switching to AI assistants:
dev.to·29m·
Discuss: DEV
✏️OCR Correction
MuseAir hashing algorithm v0.4 released (currently Rust only)
github.com·2d·
Discuss: Hacker News
🔍MinHash Variants
Whys and Hows of Apply Family of Functions in R
dev.to·4d·
Discuss: DEV
📐Linear Algebra
Why Java is Still a Top Backend Language in the AI Era
dev.to·8h·
Discuss: DEV
🌊Streaming Systems
Mind the Gap: Evaluating the Representativeness of Quantitative Medical Language Reasoning LLM Benchmarks for African Disease Burdens
arxiv.org·4d
✅Formal Methods
Can External Validation Tools Improve Annotation Quality for LLM-as-a-Judge?
arxiv.org·3d
✨Effect Handlers
When Noisy Labels Meet Class Imbalance on Graphs: A Graph Augmentation Method with LLM and Pseudo Label
arxiv.org·2d
🔤Character Classification