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

How a Tsunami Revived a Global Craft Movement: The Story of Japan’s Sashiko Gals
carryology.com·50m
🌍Cultural Computing
Flag this post
Why Signal's Post-Quantum Makeover Is An Amazing Engineering Achievement
it.slashdot.org·1d
🔐Quantum Security
Flag this post
Popular Attention Alternatives: GQA, MLA, SWA
sebastianraschka.com·5d·
Discuss: Hacker News
💻Local LLMs
Flag this post
Shells vs. GUI's vs. Muhammed Ali
rmitz.org·1d·
Discuss: Hacker News
📟Terminal Physics
Flag this post
My Impressions from Oracle AI World 2025 – MySQL, AI, and Its Open Source Future
anotherboringtechblog.com·2d·
Discuss: Hacker News
⛏️SQL Archaeology
Flag this post
Writing an LLM from scratch, part 22 – training our LLM
gilesthomas.com·5d·
Discuss: Hacker News
🧠Intelligence Compression
Flag this post
fastfire/deepdarkCTI
github.com·2d
🌐WARC Forensics
Flag this post
Decoding AI: The Elegance of Tensor Equations
dev.to·5d·
Discuss: DEV
🕸️Tensor Networks
Flag this post
From Minimal Existence to Human Definition: The CES-IMU-HSG Theoretical Framework
arxiv.org·4d
⚙️systems theory
Flag this post
OpenAI’s ‘embarrassing’ math
techcrunch.com·1d·
Discuss: Hacker News
🎯Performance Proofs
Flag this post
Confidence as a Reward: Transforming LLMs into Reward Models
arxiv.org·4d
🧠Intelligence Compression
Flag this post
Robust or Suggestible? Exploring Non-Clinical Induction in LLM Drug-Safety Decisions
arxiv.org·3d
Effect Handlers
Flag this post
AI-Driven Spectrum Load Prediction & Resource Allocation for 5G mmWave Base Stations
dev.to·18h·
Discuss: DEV
📊Quantization
Flag this post
Krish Naik: What Is LLM Poisoning? Interesting Break Through
dev.to·3d·
Discuss: DEV
💻Local LLMs
Flag this post
Krish Naik: What Is LLM Poisoning? Interesting Break Through
dev.to·3d·
Discuss: DEV
💻Local LLMs
Flag this post
Tech With Tim: ULTIMATE AI Coding Tutorial with Warp Code
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Flag this post
Krish Naik: 5-Getting Started With Agentic RAG With Detailed Implementation Using LangGraph
dev.to·1d·
Discuss: DEV
Effect Handlers
Flag this post