🧬 Functional Programming

Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

Modern Data File Formats
stuartellis.name·16h
💾Database Formats
#367
weeknotes.barrucadu.co.uk·1d
🦀Rust Borrowing
Joy & Curiosity #57
registerspill.thorstenball.com·22h
🏺ZIP Archaeology
The tyranny of literacy
languagelog.ldc.upenn.edu·1d·
Discuss: Hacker News
🌍Cultural Computing
VLLM Predicted Outputs
cascadetech.ai·2d·
Discuss: Hacker News
💻Local LLMs
Cold Calculation
kae3g.codeberg.page·1d·
Discuss: Hacker News
⚡Incremental Computation
Neural Networks from Scratch in Python: Simpler Than You Think
hamza.se·2d·
Discuss: Hacker News
📊Quantization
Gowall v0.2.3 The OCR and Image Compression update (Swiss Army knife for image processing)
reddit.com·13h·
Discuss: r/golang
📸PNG Optimization
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·2d·
Discuss: Hacker News
✨Effect Handlers
Mastering Go Project Structure: Build Scalable & Maintainable Go Apps
dev.to·9h·
Discuss: DEV
🔄Reproducible Builds
Tech With Tim: My top 5 python programming course recommendations
dev.to·3h·
Discuss: DEV
🔩Systems Programming
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·6d·
Discuss: DEV
⚡SMT Applications
🧠 The Simplest Neural Network That Actually Works
dev.to·2d·
Discuss: DEV
🧠Machine Learning
"Not another GPT wrapper"
dev.to·22h·
Discuss: DEV
🌀Brotli Internals
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2d·
Discuss: DEV
📊Multi-vector RAG
Unlocking AI Efficiency: Harnessing Symmetry for Lightning-Fast Optimization
dev.to·1d·
Discuss: DEV
⚡Z3 Optimization
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·3d
📐Compression Bounds
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.org·4d
📏Linear Logic
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2d·
Discuss: DEV
📊Multi-vector RAG
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·6d
🔗Parser Combinators