AI as Mathematical Muse: Unlocking the Universe's Secrets Together
dev.to·27m·
Discuss: DEV
🌱Minimal ML
Flag this post
5 Maths Gems #193
resourceaholic.com·2d·
Discuss: www.resourceaholic.com
∫Mathematical DSLs
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🌱Minimal Languages
Flag this post
How the most feared algorithm in algebra is simple
news.ycombinator.com·2d·
Discuss: Hacker News
🧮Combinator Calculus
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·2d
⚖️Inference Rules
Flag this post
What is the best small local LLM for Technical Reasoning + Python Code Gen (Engineering/Math)?
reddit.com·12h·
Discuss: r/LocalLLaMA
🎭Program Synthesis
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·1d
🌱Minimal ML
Flag this post
Discovering JavaScript's Hidden Secrets: Understanding Numerical Algorithms.
dev.to·2d·
Discuss: DEV
🧮Combinator Calculus
Flag this post
Research roundup: 6 cool science stories we almost missed
arstechnica.com·4h
🤐Zipper Structures
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
Markov process-based real-time risk forecasting for transmission towers during tropical cyclones to support grid resilience
sciencedirect.com·56m
🚂Error Propagation
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·1d·
Discuss: Hacker News
🎭Racket Modules
Flag this post
Stochastic computing
scottlocklin.wordpress.com·1d
🖥️Lisp Machines
Flag this post
Symbolic Alchemy: Transmuting Linear Solvers into Lightning Speed by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
🧩Constraint Solvers
Flag this post
Jordan triple system
ncatlab.org·21h
🔗Category Theory
Flag this post
Linkage
11011110.github.io·22h
🪢Rope Data Structures
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·19h·
Discuss: Hacker News
🌳B+ Trees
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·4h·
Discuss: Lobsters, Hacker News
🔄Loop Optimization
Flag this post
Advances In Formal Verification Technology
semiengineering.com·2d
🧩SAT Solvers
Flag this post
<p>**Abstract:** This paper introduces Automated Design Optimization via Meta-Analytical HyperScore (ADOMAH), a novel framework for accelerating and enhancing t...
freederia.com·11h
🎭Program Synthesis
Flag this post