math
Hey @gregeganSF
you regularly come across interesting maths problems, maybe you can help me with a maths related problem?
I basically have two parabolas that I want to fit together, to form an acceleration/deceleration curve that ends at a precisely calculated y-value (distance).
My problem is, that I can't for the life of me figure out how to properly calculate the time (x-value) of the transition from the acceleration to the deceleration :(
Some more info on given values in alt-text
Solving the Flat Cube via @fanf https://lobste.rs/s/dtllfk #games #math
https://mathenchant.wordpress.com/2026/08/19/solving-the-flat-cube/
FLT: Anthropic has beaten me to it https://lobste.rs/s/5iacaa #math #vibecoding
https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-has-beaten-me-to-it/
Formalizing Fermat's Last Theorem https://lobste.rs/s/ccl4ag #math #vibecoding
https://www.anthropic.com/research/formalizing-fermats-last-theorem
Terence Tao on “prematurely solving [a maths] problem by purely AI-powered methods” https://lobste.rs/s/nohdoj #ai #math
https://mathstodon.xyz/@tao/117207856734787448
Statement on finite-time blowup for forced 3D Euler, and OpenAI's conduct https://lobste.rs/s/b7k94m #pdf #math #vibecoding
https://cims.nyu.edu/~tristanb/statement.pdf
"While Buckmaster and Alpöge were finalizing their own results, they learned that “information about our progress had been passed to OpenAI.” When they contacted OpenAI, they were told that OpenAI had already achieved a full proof of the central problem. But when they asked follow-up questions about when OpenAI had begun its research into the problem and how much human input was involved, the answers became more evasive.
“It emerged that an entire team had been working on the problem,” Buckmaster said, “and that an insane amount of compute had been used…. Eventually, it was agreed that [the first prompt] had been sent in the past few days, after information about our work had reached OpenAI.”
If true, that would suggest the OpenAI team had become convinced that Buckmaster and Alpöge’s approach was the right one, and decided to use its material advantage in computing resources to reach a formal proof first."
#AI #GenerativeAI #LLMs #OpenAI #Astra #GPT #Math #Mathematics
Better AI code comment detector https://lobste.rs/s/o9cyiv #ai #math #vibecoding
https://entropicthoughts.com/better-ai-comment-classifier
Applied Pure Mathematics https://lobste.rs/s/deecqz #math
https://www.argmin.net/p/applied-pure-mathematics
Aggro is the Foundation (2022) https://lobste.rs/s/lh8nvx #math #practices
https://radimentary.wordpress.com/2022/11/07/aggro-is-the-foundation/
Heavenly delights of hashing numbers under EQUALP https://lobste.rs/s/0ta2mv #lisp #math #performance #programming
https://turtleware.eu/posts/Heavenly-delights-of-hashing-numbers-under-EQUALP.html
The Exponential Time Hypothesis Is False [pdf] https://lobste.rs/s/pq6ju6 #pdf #math
https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf
I've never been a fan of these calculators https://lobste.rs/s/ho1oj5 #video #ai-tooling #education #math #rant
https://www.youtube.com/watch?v=r_Byrs11ccM
Start Doing Graph Theory https://lobste.rs/s/46sc07 #book #math
https://vertex.degree/
This background sound leaks your exact location via @fanf https://lobste.rs/s/s1btqo #video #math #security
https://youtu.be/UytYrhYLOKI
A400000 Winners https://lobste.rs/s/reerrq #math
https://oeis.org/wiki/A400K_Winners
Adding Floating-Point Decimals for Fun and Profit via @abnv https://lobste.rs/s/bm2juk #math
https://blog.vero.site/post/float
Two Futures for LLMs in Mathematics https://lobste.rs/s/sriqip #math #vibecoding
https://wiredream.com/llm-two-futures/
Fraction comparison trick revisited https://lobste.rs/s/fcfoqq #math
https://www.johndcook.com/blog/2026/11/03/fraction-comparison-trick-revisited/
Mathstodon.xyz is a Mastodon server for people who love maths. We have LaTeX rendering in the web interface! We hope there’ll be lots of maths chat, but any topic following the code of conduct is OK.
This server has a post size of up to 1729 characters.
You can find out more at https://mathstodon.xyz/about or contact the admin account @christianp
#FeaturedServer #Mathematics #Maths #Math #LaTeX #Mastodon #Fediverse #FreeFediverse
How to prove equations using diagrams, part 1 https://lobste.rs/s/jvicvb #compilers #math #plt
https://www.epatters.org/post/e-graphs-1/
How to prove equations using diagrams, part 3 https://lobste.rs/s/dr5zrz #compilers #math #plt
https://www.epatters.org/post/e-graphs-3/