🧬 Functional Programming

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

All the concerns that make you a boring developer
daverupert.com·13h
🔩Systems Programming
Spectral: A Screen-First Typeface (2017)
design.google·1d·
Discuss: Hacker News
🔤Font Archaeology
OpenAI Releases gpt-oss AI Model, Offers Bounty For Vulnerabilities
hackaday.com·2h
🔓Open Source Software
Making of SARE: Master Seeds in Hybrid Post-Quantum Encryption
zola.ink·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Remembrance Agent A continuously running automated information retrieval system
bradleyrhodes.com·1d·
Discuss: Hacker News
🔍Information Retrieval
Quiz: First Steps With LangChain
realpython.com·2d
🌳Context free grammars
Created a Go-specific alternative to LeetCode
medium.com·2d·
Discuss: r/golang, r/programming
🔩Systems Programming
Automated Browser Testing with Claude Code Agents and Browserbase
ritza.co·15h·
Discuss: Hacker News
🦀Rust Macros
Python UUID Generator
dev.to·9h·
Discuss: DEV
📊Format Entropy
Sliver1-Rendering-engine pure CPU based render
dev.to·9h·
Discuss: DEV
🎬WebCodecs API
Assessing the Reliability and Validity of Large Language Models for Automated Assessment of Student Essays in Higher Education
arxiv.org·2d
🔍Information Retrieval
ProKG-Dial: Progressive Multi-Turn Dialogue Construction with Domain Knowledge Graphs
arxiv.org·2d
🧮Prolog Parsing
Topolow: Force-Directed Euclidean Embedding of Dissimilarity Data with Robustness Against Non-Metricity and Sparsity
arxiv.org·2d
🌐Computational Topology
Gmail API developer intro: spotting chatty threads
dev.to·20h·
Discuss: DEV
⚡gRPC
Comparative Analysis of Novel NIRMAL Optimizer Against Adam and SGD with Momentum
arxiv.org·31m
🧠Machine Learning
Graph Lineages and Skeletal Graph Products
arxiv.org·3d
🔗Graph Isomorphism
Elucidating the Role of Feature Normalization in IJEPA
arxiv.org·1d
📊Learned Metrics
LLM Agent-Based Simulation of Student Activities and Mental Health Using Smartphone Sensing Data
arxiv.org·1d
🔲Cellular Automata
Flexible Automatic Identification and Removal (FAIR)-Pruner: An Efficient Neural Network Pruning Method
arxiv.org·2d
🧠Machine Learning
How AI is Transforming Software Development: The Rise of Vibe Coding with Generative Tools
dev.to·1d·
Discuss: DEV
🔄Language Evolution