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

On This Dayin Math - November 2
pballew.blogspot.comยท2dยท
โš™๏ธProof Engineering
Flag this post
Favourites of October 2025
brainbaking.comยท1d
๐ŸบGaming Archaeology
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.comยท3dยท
Discuss: r/golang
๐Ÿ”’Linear Types
Flag this post
The case against pgvector
simonwillison.netยท12h
๐Ÿ—‚๏ธVector Databases
Flag this post
Learning When to Quit in Sales Conversations
arxiv.orgยท4h
โง—Information Bottleneck
Flag this post
Novelty and Impact of Economics Papers
arxiv.orgยท4h
๐Ÿ“กInformation theory
Flag this post
Deep Learning Approach to Anomaly Detection in Enterprise ETL Processes with Autoencoders
arxiv.orgยท4h
๐Ÿง Machine Learning
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.toยท1dยท
Discuss: DEV
๐ŸŒComputational Topology
Flag this post
Cognitive Alignment in Personality Reasoning: Leveraging Prototype Theory for MBTI Inference
arxiv.orgยท4h
๐Ÿ‘คSearch Personalization
Flag this post
Multi-Representation Attention Framework for Underwater Bioacoustic Denoising and Recognition
arxiv.orgยท1d
๐Ÿ‘‚Psychoacoustic Coding
Flag this post
Erasing 'Ugly' from the Internet: Propagation of the Beauty Myth in Text-Image Models
arxiv.orgยท4h
๐Ÿ›Digital humanities
Flag this post
Investigating Label Bias and Representational Sources of Age-Related Disparities in Medical Segmentation
arxiv.orgยท4h
๐Ÿ“ŠLearned Metrics
Flag this post
Building a Multimodal RAG That Responds with Text, Images, and Tables from Sources
towardsdatascience.comยท12h
๐Ÿ“„Text Chunking
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.comยท3dยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Flag this post
Spiking Neural Networks: The Future of Brain-Inspired Computing
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Flag this post
Surfacing Subtle Stereotypes: A Multilingual, Debate-Oriented Evaluation of Modern LLMs
arxiv.orgยท4h
๐Ÿ›Digital humanities
Flag this post