🧬 Functional Programming

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

Fixed Points via Logically Contractive Maps
lightcapai.medium.com·3d·
Discuss: Hacker News
🎯Performance Proofs
Creating the perfect modding language
mynameistrez.github.io·1d
🦀Rust Macros
Randomness as a Control for Alignment
news.ycombinator.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Accrescent – Progress Update and Roadmap
blog.accrescent.app·1d·
Discuss: Hacker News
🔄Sync Engine
Unused COVID-19 vaccines may have a second life in the development of new biosensors
phys.org·10h
📜Document Physics
Going Faster Than Memcpy
squadrick.dev·2d·
Discuss: Lobsters, Hacker News, r/programming
⚡Cache Coherence
The unexpected joy of Claude Code on your iPhone
clay.fyi·15h·
Discuss: Hacker News
🪟Awesome windows command-line
Evaluating LLMs Playing Text Adventures
entropicthoughts.com·14h·
Discuss: Lobsters, Hacker News
🎯Emulator Accuracy
From GPT-2 to gpt-oss: Analyzing the Architectural Advances
magazine.sebastianraschka.com·3d·
Discuss: Hacker News, Hacker News
🌊Streaming Algorithms
Database Query Operator – Manage Kubernetes Resources from Your Database
reddit.com·1d·
Discuss: r/kubernetes
🌊Streaming Databases
Replacing dshackle
dev.to·15h·
Discuss: DEV
🔌Interface Evolution
Automated Microstructure Analysis for Predictive Material Degradation Modeling
dev.to·21h·
Discuss: DEV
🏺Computational Archaeology
Fine-Tuning ResNet-18 with TensorFlow Model Garden for CIFAR-10 Classification
hackernoon.com·9h
🧠Neural Codecs
5 ways to 10x your "Vibe" coding
dev.to·3d·
Discuss: DEV
🦋Format Metamorphosis
YC S25 — Coolest software-focused startups (developer-forward review)
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Automated Phenotype Scoring & Predictive Modeling in Knockout Mouse Lines
dev.to·1d·
Discuss: DEV
🔍Vector Forensics
Deep Learning Models for Robust Facial Liveness Detection
arxiv.org·1h
🔍Vector Forensics
BiXSE: Improving Dense Retrieval via Probabilistic Graded Relevance Distillation
arxiv.org·1d
🔍Information Retrieval
Bridging Farm Economics and Landscape Ecology for Global Sustainability through Hierarchical and Bayesian Optimization
arxiv.org·2d
🏺Computational Archaeology
TEFormer: Texture-Aware and Edge-Guided Transformer for Semantic Segmentation of Urban Remote Sensing Images
arxiv.org·2d
🔶Voronoi Diagrams