Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

First Brands sues founder Patrick James over alleged fraud
ft.com·1h
🔍BitFunnel
Flag this post
An individual can change an organization
notes.eatonphil.com·1d
🔩Systems Programming
Flag this post
Hou Tu Pranownse Inglish
zompist.com·1d·
Discuss: Hacker News
🗣️CMU Pronouncing
Flag this post
Robert Hooke's "Cyberpunk” Letter to Gottfried Leibniz
mynamelowercase.com·15h·
Discuss: Hacker News
🧲Magnetic Philosophy
Flag this post
Modelling beliefs about sets
emiruz.com·5d·
Discuss: Hacker News
🔲Proof Irrelevance
Flag this post
How to Convert Cubic Bézier Curves into Euler Spirals for GPU Optimization
hackernoon.com·4d
📊Computational Geometry
Flag this post
Just Write Tests
theblackarrovv.github.io·21h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Linkers: A 20 Part Series
airs.com·7h·
Discuss: Hacker News
🔗Static Linking
Flag this post
Impedance and Trianglular Numbers
johndcook.com·1d·
Discuss: Hacker News
📐Mathematical Art
Flag this post
Novel bidomain partitioned strategies for the simulation of ventricular fibrillation dynamics
arxiv.org·1d
🌊Stream Ciphers
Flag this post
Remembering Unequally: Global and Disciplinary Bias in LLM-Generated Co-Authorship Networks
arxiv.org·1h
📊Citation Graphs
Flag this post
The Kinetics of Reasoning: How Chain-of-Thought Shapes Learning in Transformers?
arxiv.org·4d
Effect Handlers
Flag this post
Linear Differential Vision Transformer: Learning Visual Contrasts via Pairwise Differentials
arxiv.org·1h
📊Learned Metrics
Flag this post
Single-agent Reinforcement Learning Model for Regional Adaptive Traffic Signal Control
arxiv.org·1h
🧠Machine Learning
Flag this post
From Uniform to Adaptive: General Skip-Block Mechanisms for Efficient PDE Neural Operators
arxiv.org·1h
🧠Neural Codecs
Flag this post
🌀 Brent's Algorithm Explained – Faster Cycle Detection for Beginners
dev.to·2d·
Discuss: DEV
🕸️Graph Algorithms
Flag this post
High Resolution Seismic Waveform Generation using Denoising Diffusion
arxiv.org·1h
📡Frequency Archaeology
Flag this post
Variational Data-Consistent Assimilation
arxiv.org·1h
Effect Handlers
Flag this post
The Biased Oracle: Assessing LLMs' Understandability and Empathy in Medical Diagnoses
arxiv.org·1h
🔍Information Retrieval
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
github.com·11h·
Discuss: Hacker News
📋Document Grammar
Flag this post