Tony Hoare and negative space
sicpers.info·3d·
Discuss: Hacker News
🔄Functional Programming
Flag this post
New Proofs Probe Soap-Film Singularities
quantamagazine.org·3d·
Discuss: Hacker News
📐Origami Engineering
Flag this post
NNT 2025 Celebrates 30 Years of Nanoimprint -- One of the Most Transformative Technologies of the 21st Century
prnewswire.com·2d
📐Origami Engineering
Flag this post
A Chinese AI model taught itself basic physics — what discoveries could it make?
nature.com·1d
∫Applied Mathematics
Flag this post
Tech With Tim: Finally, an AI Database That Actually Makes Sense
dev.to·1h·
Discuss: DEV
📈Data Visualization
Flag this post
Competition of fermion pairing, magnetism, and charge order in the spin-doped attractive Hubbard gas
arxiv.org·1d
📊Statistical Mechanics
Flag this post
3D-TDA - Topological feature extraction from 3D images for Alzheimer's disease classification
arxiv.org·2d
📈Data Visualization
Flag this post
Moral Change or Noise? On Problems of Aligning AI With Temporally Unstable Human Feedback
arxiv.org·1d
🔄Functional Programming
Flag this post
Separating QMA from QCMA with a classical oracle
arxiv.org·2d
∑Symbolic Computation
Flag this post
Trupe: Implementing Actor Model in .NET
dev.to·1d·
Discuss: DEV
🔄Functional Programming
Flag this post
Omnidirectional type inference for ML: principality any way
arxiv.org·1d
🔄Functional Programming
Flag this post
Hope, Aspirations, and the Impact of LLMs on Female Programming Learners in Afghanistan
arxiv.org·2d
∫Applied Mathematics
Flag this post
Nonequilibrium Probes of Quantum Geometry in Gapless Systems
arxiv.org·1d
🌡️Thermodynamics
Flag this post
Am i the only person that thinks LLMs kind of suck at code?
reddit.com·1h·
Discuss: r/webdev
🔄Functional Programming
Flag this post
Mastering Post-Training Techniques for LLMs in 2025: Elevating Models from Generalists to Specialists
dev.to·2d·
Discuss: DEV
📈Optimization Algorithms
Flag this post
Algorithmic Optimization of Quantum Error Correction Codes via Constrained Bayesian Hyperparameter Tuning
dev.to·1d·
Discuss: DEV
📈Optimization Algorithms
Flag this post
CAMP-HiVe: Cyclic Pair Merging based Efficient DNN Pruning with Hessian-Vector Approximation for Resource-Constrained Systems
arxiv.org·4d
📈Optimization Algorithms
Flag this post
Krish Naik: Stop Fighting with Kubernetes! Scale Python to 1000s of Machines with Coiled
dev.to·13h·
Discuss: DEV
💧Fluid Dynamics
Flag this post
Enhanced Cryogenic Storage Tank Integrity via Adaptive Deep Learning Nondestructive Evaluation
dev.to·1d·
Discuss: DEV
🌊Multiphysics Simulation
Flag this post
Quantum Algorithm for Local-Volatility Option Pricing via the Kolmogorov Equation
arxiv.org·5d
📊Statistical Mechanics
Flag this post