🧬 Functional Programming

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

The Copyright That Wasn't
jxself.org·16h
🏺ZIP Archaeology
The cost of design iteration in software engineering
ayende.com·1d
⚙️Proof Engineering
FCFZ: Compatible Flipper Zero
hackster.io·39m·
Discuss: Hacker News
🎮Switch Archaeology
Dealing with Eventual Consistency and Idempotency in projections
event-driven.io·3d·
Discuss: r/programming
🌊Stream Processing
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·4d·
Discuss: Hacker News
🔗Concatenative Programming
RAG vs. Memory: Addressing Token Crisis in Agentic Tasks
agamjn.com·1d·
Discuss: Hacker News
🦀Rusty Databases
The Great Software Quality Collapse
developers.slashdot.org·4h
🔩Systems Programming
5 NotebookLM Tips to Make Your Day a Little Easier
kdnuggets.com·1d
📊Feed Optimization
I need help with my SaaS apps
news.ycombinator.com·2h·
Discuss: Hacker News
🚀Indie Hacking
Digital flocks, predators allow ecologists to simulate real-world animal behaviour
nature.com·1d
🔶Voronoi Diagrams
DevSpace: The Missing Piece for Kubernetes Development (CNCF Project)
reddit.com·3h·
Discuss: r/kubernetes
🌊Apache Kafka
Show HN: Local Full-Rank Fine-Tuning Library for LLMs with Evolutionary Methods
github.com·20h·
Discuss: Hacker News, r/LocalLLaMA
💻Local LLMs
Krish Naik: Advanced Agentic RAG And Its Types New Series-Generative AI
dev.to·1h·
Discuss: DEV
🌍Cultural Algorithms
#20 Sine...... Etymology and History of Math Terms
pballew.blogspot.com·13h·
Discuss: www.blogger.com
🌏Character Sets
Quantum memory optimisation using finite-horizon, decoherence time and discounted mean-square performance criteria
arxiv.org·4d
⚛️Quantum Storage
Low Complexity Detector for XL-MIMO Uplink: A Cross Splitting Based Information Geometry Approach
arxiv.org·1d
🧮Kolmogorov Complexity
I Built a ChatGPT Clone for $100. It Outperforms OpenAI on These 3 Tasks.
dev.to·16h·
Discuss: DEV
⚡gRPC
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Krish Naik: 5-Getting Started With Agentic RAG With Detailed Implementation Using LangGraph
dev.to·1h·
Discuss: DEV
📊Multi-vector RAG
Stable Video Infinity: Infinite-Length Video Generation with Error Recycling
arxiv.org·1d
🎥Streaming Codecs