🧬 Functional Programming

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

When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·2d
📐Mathematical Art
Vibing a Non-Trivial Ghostty Feature
simonwillison.net·1d
🧪Binary Fuzzing
C++26: range support for std:optional
sandordargo.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💧Liquid Types
Agents 2.0: From Shallow Loops to Deep Agents
philschmid.de·1d·
Discuss: Hacker News
📼Tape Combinators
GPUs, module upgrades and more site fixes
markjgsmith.com·1d
🖥️Terminal Renaissance
Padding
reddit.com·2d·
Discuss: r/golang
🔧KAITAI
Fast, Declarative Open Graph Image Generation in Python
dev.to·1d·
Discuss: DEV
📸PNG Optimization
Decoding Positive Selection in Mycobacterium tuberculosis with Phylogeny-Guided Graph Attention Models
arxiv.org·4h
🌸Bloom Variants
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·4h
🔲Cellular Automata
TaoSR-SHE: Stepwise Hybrid Examination Reinforcement Learning Framework for E-commerce Search Relevance
arxiv.org·3d
🔍Information Retrieval
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
Simulate, Then Innovate: The AI Revolution Powered by Differentiable Physics
dev.to·10h·
Discuss: DEV
⚡Incremental Computation
Show HN: Orchestro – Trello for Claude Code with Kanban Board
github.com·17h·
Discuss: Hacker News
🔄Sync Engine
Foraging with the Eyes: Dynamics in Human Visual Gaze and Deep Predictive Modeling
arxiv.org·4h
📊Learned Metrics
SAM2-3dMed: Empowering SAM2 for 3D Medical Image Segmentation
arxiv.org·4h
🌀Riemannian Computing
Sensing, Detection and Localization for Low Altitude UAV: A RF-Based Framework via Multiple BSs Collaboration
arxiv.org·4h
🧠Machine Learning
Adaptive Bitstream Calibration via Reinforcement Learning in High-Resolution DACs
dev.to·10h·
Discuss: DEV
🎧Learned Audio
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·6d
⚡Proof Automation