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

Applying Domain-Driven Driven Design to Integration and Consumption
apievangelist.comยท4d
๐Ÿ”ŒArchive APIs
Flag this post
Protein phase change batteries drive innate immune signaling and cell fate
elifesciences.orgยท1dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Flag this post
Well-Typed.Com: Verifying and testing timeliness constraints with io-sim
well-typed.comยท5d
๐Ÿ”Concolic Testing
Flag this post
Porting from Perl to Go: Simplifying for Platform Engineering
phoenixtrap.comยท2dยท
๐ŸšBash Monads
Flag this post
Ideas on Glitching in Rust
tritium.legalยท3dยท
๐Ÿฆ€Rust Macros
Flag this post
"Clean Code" is killing (pre-revenue) startups
benxlabs.substack.comยท20hยท
Discuss: Substack
๐ŸšShell Calculus
Flag this post
Reclaiming Data: Why Tech Needs Data Realism
hackernoon.comยท2d
๐ŸงฒMagnetic Philosophy
Flag this post
Sqlorm โ€“ Python ORM with a focus on SQL
github.comยท1dยท
Discuss: Hacker News
๐Ÿ’พSQLite
Flag this post
Building with Elixir for Three Years: A Production Retrospective
ryanrasti.comยท3dยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Flag this post
why is no one talking about ATL?
reddit.comยท16hยท
Discuss: r/linux
๐Ÿ”“Open Source Software
Flag this post
Time-delay snapshots enable scientists to identify dynamics in chaotic systems
phys.orgยท18h
๐ŸŒˆSpectroscopy
Flag this post
The AI-collapse pre-mortem
berthub.euยท2dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Flag this post
Nonparametric Data Attribution for Diffusion Models
arxiv.orgยท1d
๐Ÿง Machine Learning
Flag this post
Ancient Mummification Artifact Analysis via Hyper-Spectral Predictive Modeling for Disease Reconstruction
dev.toยท2dยท
Discuss: DEV
๐ŸบComputational Archaeology
Flag this post
CompoDistill: Attention Distillation for Compositional Reasoning in Multimodal LLMs
arxiv.orgยท3d
โŸทBidirectional Grammars
Flag this post
HoneyBee: Data Recipes for Vision-Language Reasoners
arxiv.orgยท3d
๐Ÿ“ŠLearned Metrics
Flag this post
VideoLucy: Deep Memory Backtracking for Long Video Understanding
arxiv.orgยท3d
๐Ÿ“ŠLearned Metrics
Flag this post
Multivariate Time Series Forecasting with Gate-Based Quantum Reservoir Computing on NISQ Hardware
arxiv.orgยท2d
โš›๏ธQuantum Circuits
Flag this post
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท4dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Flag this post
Krish Naik: Advanced Agentic RAG And Its Types New Series-Generative AI
dev.toยท1dยท
Discuss: DEV
๐Ÿ“กRSS Automation
Flag this post