🧬 Functional Programming

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

What you see may not be what you get
thoughtbot.com·1d
🔣Unicode
Some AI tools don’t understand biology yet
arstechnica.com·16h
🔲Cellular Automata
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·5h
🔓Open Source Software
Making of SARE: Master Seeds in Hybrid Post-Quantum Encryption
zola.ink·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
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·18h·
Discuss: Hacker News
🦀Rust Macros
OpenAI Releases First Open-Weight Models Since GPT-2
slashdot.org·1d
🔓Open Source Software
Python UUID Generator
dev.to·12h·
Discuss: DEV
📊Format Entropy
Axiom: Decentralized AI network that discovers, verifies, and archives truth
github.com·1d·
Discuss: Hacker News
🤝Distributed Consensus
Test-time Prompt Intervention
arxiv.org·2d
🤖Grammar Induction
The Subfactorial and Some Historical Notes
pballew.blogspot.com·1d·
Discuss: www.blogger.com
🖋Typography
ProKG-Dial: Progressive Multi-Turn Dialogue Construction with Domain Knowledge Graphs
arxiv.org·2d
🧮Prolog Parsing
Assessing the Reliability and Validity of Large Language Models for Automated Assessment of Student Essays in Higher Education
arxiv.org·2d
🔍Information Retrieval
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·23h·
Discuss: DEV
⚡gRPC
Tech Breakthroughs of July 2025
dev.to·1d·
Discuss: DEV
🖥️Terminal Renaissance
Comparative Analysis of Novel NIRMAL Optimizer Against Adam and SGD with Momentum
arxiv.org·3h
🧠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