Functors, Natural Transformations, Monads, Type Theory, Abstract Algebra, Monoids, Algebraic Structures, Mathematical Structures

The best board games to gift (and play) this 2025 holiday season
engadget.comยท1d
๐Ÿ”ฒCellular Automata
Flag this post
The Long March of Basic Trust
theparisreview.orgยท10h
๐Ÿ”Soviet Cryptography
Flag this post
Need 3D print advice for 1U rack mount w/ 5.25" bay
reddit.comยท16hยท
Discuss: r/homelab
๐Ÿ Homelab Preservation
Flag this post
The OWASP AI/LLM Top 10: Understanding Security and Privacy Risks in AI-Powered Mobile Applications
nowsecure.comยท12h
๐Ÿ’ปLocal LLMs
Flag this post
Naรฏve Shuffle Algorithm (2007)
blog.codinghorror.comยท2dยท
Discuss: Hacker News
๐ŸŒŠStreaming Algorithms
Flag this post
DynamoDB outage analysis and asking experts for timelines
buttondown.comยท12hยท
Discuss: Hacker News
๐ŸงฌPostgreSQL Forensics
Flag this post
Python steering council accepts lazy imports
lwn.netยท2dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
New underwater device tracks real-time nutrient exchanges between sediments and water
phys.orgยท10h
๐ŸŒŠStream Processing
Flag this post
Building Software That Survives โ€ข Michael Nygard & Charles Humble โ€ข GOTO 2025
youtube.comยท2d
๐Ÿ”Capability Systems
Flag this post
From vibe coding to context engineering: 2025 in software development
technologyreview.comยท14hยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Flag this post
Finding Non-Redundant Simpson's Paradox from Multidimensional Data
arxiv.orgยท1d
๐Ÿ“Interval Trees
Flag this post
Enhanced Intrusion Detection via Adaptive Ensemble of Federated Generative Adversarial Networks
dev.toยท4hยท
Discuss: DEV
๐ŸŽฏThreat Hunting
Flag this post
Hydra: Dual Exponentiated Memory for Multivariate Time Series Analysis
arxiv.orgยท1d
๐Ÿ“ˆTime Series
Flag this post
Visual Backdoor Attacks on MLLM Embodied Decision Making via Contrastive Trigger Learning
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Flag this post
CEF.AI is hiring for Principal Software Engineer position in SF
join.comยท14hยท
Discuss: Hacker News
๐ŸŒŠStream Processing
Flag this post
๐Ÿš€ Day 59 of My Data Analytics Journey !
dev.toยท3dยท
Discuss: DEV
๐Ÿ“ŠStatic Analysis
Flag this post
Latent Domain Prompt Learning for Vision-Language Models
arxiv.orgยท1d
๐Ÿค–Grammar Induction
Flag this post
A Unified Model for Human Mobility Generation in Natural Disasters
arxiv.orgยท20h
๐Ÿ”ฒCellular Automata
Flag this post
Python Coding Challenges: FizzBuzz, String Equality, and Heterogram Checks for Beginners
dev.toยท3dยท
Discuss: DEV
๐ŸงชBinary Fuzzing
Flag this post
Reflections on Trusting Trust (1984)
web.archive.orgยท3dยท
Discuss: Hacker News
๐Ÿ“œProof Carrying Code
Flag this post