The elementary theory of surreal arithmetic is bi-interpretable with set theory, Notre Dame Logic Seminar, November 2025
jdh.hamkins.orgยท12h
๐Functional Programming
Flag this post
spectral flow
ncatlab.orgยท2d
โLinear Algebra
Flag this post
Double Maths First Thing: Issue 3E
aperiodical.comยท20h
โSymbolic Computation
Flag this post
Explorable explorable explanations
blog.khinsen.netยท1d
๐Data Visualization
Flag this post
The contribution of rock strength to soil production
nature.comยท11h
๐Origami Engineering
Flag this post
Has anyone built a physical calculator device running Android? Looking for help.
๐Origami Engineering
Flag this post
๐LLM Overthinking? DTS makes LLM think shorter and answer smarter
๐Functional Programming
Flag this post
Additive-enhanced hydrogen- and hydroxide-based magneto-ionic control in Ni films
link.aps.orgยท2h
๐Origami Engineering
Flag this post
Optimized Lamination Mixer Design via Surrogate Modeling & Reinforcement Learning
๐งFluid Dynamics
Flag this post
Comprehensive Hands-on Walk Through of Dremio Cloud Next Gen (Hands-on with Free Trial)
๐งFluid Dynamics
Flag this post
Enhanced Thermal Management via Dynamic Phase-Change Material Integration in Aircraft Electric Motor Stators
๐Multiphysics Simulation
Flag this post
LandSegmenter: Towards a Flexible Foundation Model for Land Use and Land Cover Mapping
arxiv.orgยท23h
๐Origami Engineering
Flag this post
The Online Patch Redundancy Eliminator (OPRE): A novel approach to online agnostic continual learning using dataset compression
arxiv.orgยท23h
๐Optimization Algorithms
Flag this post
High-dimensional Bayesian filtering through deep density approximation
arxiv.orgยท1d
๐ปComputational Science
Flag this post
Harnessing nonlinearity to tame wave dynamics in nonreciprocal active systems
link.aps.orgยท13h
๐Origami Engineering
Flag this post
Towards Optimal Constellation Design for Digital Over-the-Air Computation
arxiv.orgยท1d
๐Functional Programming
Flag this post
Loading...Loading more...