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·
💧Liquid Types
GPUs, module upgrades and more site fixes
markjgsmith.com·1d
🖥️Terminal Renaissance
PR-03 at Hacktoberfest: Implementing a Credit Card Validator for Terraform Provider
dev.to·5h·
Discuss: DEV
🔓Open Source Software
Looking for Work and Community Resources
news.ycombinator.com·1h·
Discuss: Hacker News
🚀Indie Hacking
Padding
reddit.com·2d·
Discuss: r/golang
🔧KAITAI
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
Beyond Words: Infusing Conversational Agents with Human-like Typing Behaviors
arxiv.org·7h
🎙️Whisper
Decoding Positive Selection in Mycobacterium tuberculosis with Phylogeny-Guided Graph Attention Models
arxiv.org·7h
🌸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·19h·
Discuss: Hacker News
🔄Sync Engine
Tech With Tim: How to Build AI Agents in Python
dev.to·2h·
Discuss: DEV
🧠Intelligence Compression
Adaptive Bitstream Calibration via Reinforcement Learning in High-Resolution DACs
dev.to·12h·
Discuss: DEV
🎧Learned Audio
Automated Data-Driven Biomarker Refinement for Personalized mRNA Cancer Vaccines
dev.to·2h·
Discuss: DEV
⚙️ABNF Mining
Simulate, Then Innovate: The AI Revolution Powered by Differentiable Physics
dev.to·13h·
Discuss: DEV
Incremental Computation