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

This is what a degree in cannabis studies will get ya
statmodeling.stat.columbia.edu·17h
🧲Magnetic Philosophy
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
Godot Ruined My Sense of Speed
daymare.net·9h·
🎮Game Decompilation
C++26: range support for std:optional
sandordargo.com·4d·
💧Liquid Types
The Pain Driven Workflow
magistr.me·3d·
Discuss: Hacker News
Incremental Computation
Technological Approach to Mind Everywhere: A Grounded Framework (pdf, 2022)
frontiersin.org·4d·
Discuss: Hacker News
🔲Cellular Automata
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
Beyond Words: Infusing Conversational Agents with Human-like Typing Behaviors
arxiv.org·2h
🎙️Whisper
Decoding Positive Selection in Mycobacterium tuberculosis with Phylogeny-Guided Graph Attention Models
arxiv.org·2h
🌸Bloom Variants
CAM: A Constructivist View of Agentic Memory for LLM-Based Reading Comprehension
arxiv.org·5d
📝Concrete Syntax
Show HN: Orchestro – Trello for Claude Code with Kanban Board
github.com·14h·
Discuss: Hacker News
🔄Sync Engine
Adaptive Bitstream Calibration via Reinforcement Learning in High-Resolution DACs
dev.to·7h·
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