Categorical Invariants of Learning Dynamics
arxiv.org·23h
🕸️Algebraic Topology
The Mondrian introduction to functional optics
marcosh.github.io·18h·
Discuss: Hacker News
Bidirectional Programming
News for September 2025
ptreview.sublinear.info·3d
🧪Property-Based Testing
Cactus Language • Semantics 1
inquiryintoinquiry.com·1d
🔢Denotational Semantics
🧩 The "Merging Maze": Designing a Neural Network for Unified
dev.to·11h·
Discuss: DEV
🕸️Graph Embeddings
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·14h
📐Mathematical Art
Tuesday 14 October 2025
informatics.ed.ac.uk·19h
📡Information theory
Bond-Centered Molecular Fingerprint Derivatives: A BBBP Dataset Study
arxiv.org·23h
🔍Vector Forensics
From Matmul to Meaning
evis.dev·1d·
Discuss: Hacker News
📐Linear Algebra
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·2d·
Discuss: Hacker News
📐Mathematical Art
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·2d·
Discuss: Hacker News
🕸️Knowledge Graphs
VisitHGNN: Heterogeneous Graph Neural Networks for Modeling Point-of-Interest Visit Patterns
arxiv.org·1d
🌀Hyperbolic Geometry
Steady-State Spread Bounds for Graph Diffusion via Laplacian Regularisation
arxiv.org·23h
🌈Spectral Methods
Automated Structure-Based Drug Discovery via Hyperdimensional Protein-Ligand Interaction Scoring
dev.to·18h·
Discuss: DEV
🌀Differential Geometry
Detecting Semantic Clones of Unseen Functionality
arxiv.org·23h
🔗Binary Similarity
Inverse Mixed-Integer Programming: Learning Constraints then Objective Functions
arxiv.org·23h
📈Linear programming
Graph2Region: Efficient Graph Similarity Learning with Structure and Scale Restoration
arxiv.org·5d
📈Spectral Graph Theory
Experimental Proof: MENT-Flow Achieves Consistency with MENT Solutions for Beam Reconstruction
hackernoon.com·1d
🧠Learned Codecs
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·1d·
Discuss: Hacker News
🧮SMT Solvers