🧬 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·13h
💾Database Formats
#367
weeknotes.barrucadu.co.uk·1d
🦀Rust Borrowing
Joy & Curiosity #57
registerspill.thorstenball.com·19h
🏺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·10h·
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·6h·
Discuss: DEV
🔄Reproducible Builds
Building AI Systems That Don't Break Under Attack
dev.to·18h·
Discuss: DEV
⚡Proof Automation
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·10h·
Discuss: DEV
📊Multi-vector RAG
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·19h·
Discuss: DEV
🌀Brotli Internals
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2d·
Discuss: DEV
📊Multi-vector RAG
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·2d
📐Compression Bounds
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.org·3d
📏Linear Logic
Unlocking AI Efficiency: Harnessing Symmetry for Lightning-Fast Optimization
dev.to·1d·
Discuss: DEV
⚡Z3 Optimization
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2d·
Discuss: DEV
📊Multi-vector RAG