🧬 Functional Programming

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

Vibing a Non-Trivial Ghostty Feature
simonwillison.net·1d
🧪Binary Fuzzing
Artist uses vintage typewriters as drawing tool
mymodernmet.com·40m·
Discuss: Hacker News
🔠Terminal Fonts
Simplifying OpenTelemetry pipelines in Kubernetes
fatihkoc.net·7h·
Discuss: Hacker News, r/devops
👁️Observatory Systems
C++26: range support for std:optional
sandordargo.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💧Liquid Types
The Architect’s Dilemma
oreilly.com·1h
🔌Interface Evolution
GPUs, module upgrades and more site fixes
markjgsmith.com·1d
🖥️Terminal Renaissance
The Pain Driven Workflow
magistr.me·3d·
Discuss: Hacker News
⚡Incremental Computation
PR-03 at Hacktoberfest: Implementing a Credit Card Validator for Terraform Provider
dev.to·7h·
Discuss: DEV
🔓Open Source Software
Krish Naik: Advanced Agentic RAG And Its Types New Series-Generative AI
dev.to·7h·
Discuss: DEV
📡RSS Automation
The Trillion Dollar AI Software Development Stack
a16z.com·2d·
Discuss: Hacker News
⚡Proof Automation
Looking for Work and Community Resources
news.ycombinator.com·3h·
Discuss: Hacker News
🚀Indie Hacking
CAM: A Constructivist View of Agentic Memory for LLM-Based Reading Comprehension
arxiv.org·5d
📝Concrete Syntax
Humanoid Artificial Consciousness Designed with Large Language Model Based on Psychoanalysis and Personality Theory
arxiv.org·9h
🔲Cellular Automata
TaoSR-SHE: Stepwise Hybrid Examination Reinforcement Learning Framework for E-commerce Search Relevance
arxiv.org·3d
🔍Information Retrieval
Show HN: Orchestro – Trello for Claude Code with Kanban Board
github.com·21h·
Discuss: Hacker News
🔄Sync Engine
Adaptive Bitstream Calibration via Reinforcement Learning in High-Resolution DACs
dev.to·14h·
Discuss: DEV
🎧Learned Audio
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2d·
Discuss: DEV
📊Multi-vector RAG
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2d·
Discuss: DEV
🎵Audio ML
Automated Data-Driven Biomarker Refinement for Personalized mRNA Cancer Vaccines
dev.to·4h·
Discuss: DEV
⚙️ABNF Mining
Simulate, Then Innovate: The AI Revolution Powered by Differentiable Physics
dev.to·15h·
Discuss: DEV
⚡Incremental Computation