Layoffs Leave The Future Of Xbox’s Award-Winning Accessibility Efforts In Doubt - AftermathLayoffs Leave The Future Of Xbox’s Award-Winning Accessibility Efforts In Doubt Aftermath
Post-Quantum Cryptographers Give Identity-Based Encryption a Second Math Foundation - Tech TimesPost-Quantum Cryptographers Give Identity-Based Encryption a Second Math Foundation Tech Times
‘hello there the jacobian conjecture is false thanx’: why a tiny social media post has mathematicians rethinking AI - The Conversation‘hello there the jacobian conjecture is false thanx’: why a tiny social media post has mathematicians rethinking AI The Conversation
Show HN: Maith – open math research with AIIf AI got lucky or not, AI is surely going to assist in solving serious math problems. If you want to spend your resources/weekends contributing, this repository is full of math problems where you can add your thoughts (or proofs - for you Good Will Hunting type people) for others to build on it and we all together can try to change the world of math.I have already extended the research with manual proof of Jacobian Conjecture that was posted on Twitter (with attribution).
Effort to solve biggest controversy in mathematics has made no progressFor more than a decade, mathematicians have been unable to settle the question of whether the ABC conjecture has been solved. Fresh attempts to settle the debate are struggling to make headway ...
A Harvard mathematician and an AI model may have cracked an 87-year-old math problem - Fast CompanyA Harvard mathematician and an AI model may have cracked an 87-year-old math problem Fast Company
Fields Medal 2026: Leaked names reveal a century of math solved at onceFour days before the International Congress of Mathematicians opens in Philadelphia, the world's most prestigious mathematics prize appears to have been spoiled by a ...
Dark Comet Disguised as Asteroid Derailed 27 Years of Planetary Defense Math - Tech TimesDark Comet Disguised as Asteroid Derailed 27 Years of Planetary Defense Math Tech Times
Show HN: Social and context-aware AI platform to do mathHi HN,This is ProofTree, and in TLDR: it is a platform where you can chat with an AI to do math, the way you already do, with context-awareness and knows how you personally do math, connected to the fora of other live human mathematicians. So, when you are talking to an AI about a proof at 3 am, and you need a human expert looking at it, or a discussion around it, like you do on StackExchange, this is it!You need an approved email account to use it, so please write here if you would live to try it out.
Show HN: Block distracting sites with a math or coding problemTLDR built a Chrome site blocker that lets you into distracting sites only after you do some math or simple coding (JS only right now).Direct link to extension (the site just gives you more context): https://chromewebstore.google.com/detail/sphinx-earn-your-di...Philosophically it's a speed bump rather than a hard gate, because you'll eventually tear a gate down but you'll leave a speed bump. I've always eventually removed site blockers, or just had them become a nuisance that I reflexively dismiss before getting to distracting sites. Site blockers don't really reduce the "start navigating to a distracting site" muscle memory, and they eventually just become annoying. Dopamine is a hell of a drug.At the same time, I've been getting frustrated that my intermediate/advanced math skills have atrophied, and becoming more senior in my career (plus AI...) has caused my coding skills to atrophy even further. Realistically I'm not going to force myself to do math or coding exercises after dinn
The word algebra comes from the title of a book called Al-Jabr, written around the year 820 by a Persian mathematician named Muhammad ibn Musa al-Khwarizmi at the House of Wisdom in Baghdad — and the word algorithm comes from the Latinized versio - SThe word algebra comes from the title of a book called Al-Jabr, written around the year 820 by a Persian mathematician named Muhammad ibn Musa al-Khwarizmi at the House of Wisdom in Baghdad — and the word algorithm comes from the Latinized versio Space Daily
The Math Skills Every Aspiring Data Scientist Needs to Master Before Writing a Single Line of Code - KDnuggetsThe Math Skills Every Aspiring Data Scientist Needs to Master Before Writing a Single Line of Code KDnuggets
From Trust to Verification: Lean’s Impact on Mathematics - Simons FoundationFrom Trust to Verification: Lean’s Impact on Mathematics Simons Foundation
An 80-Year-Old Math Problem Has Just Been Solved. You Might Not Like How We Got the Answer. - Slate MagazineAn 80-Year-Old Math Problem Has Just Been Solved. You Might Not Like How We Got the Answer. Slate Magazine
Show HN: Baserates.dev, memorize programmer napkin mathWhen I began my career in programming I remember reading Jeff Dean's "Latency Numbers Every Programmer Should Know" [1], and getting inspired. Alas, it's been over a decade, and I never fully internalized all the numbers.Until recently. I discovered Simon Eskildsen's talk [2] and github repo [3] on programmer napkin math. I liked his reasoning, and decided to _actually_ internalize the numbers now.So I made baserates.dev.It's a spaced repetition program that teaches you the napkin math from Simon, enhanced with a few things from Jeff Dean's list. The main changes: I included CPU instructions, like L1 Cache reads. I also included some nooby context, like how to pronounce the character μ, and a reminder on what is bigger: nano seconds, or micro seconds.The app automatically saves your progress, and doesn't require auth. Most of the logic is vibe coded: I fed Claude all the links. I use InstantDB [^4] for the backend, mainly to support guest auth and saving progress. Most of my time spent
Ask HN: I am a junior CS and math major. I have no hope for SWE or math. Advice?TL;DR: AI's recent advancements make me want to change careers from SWE or math. I feel completely lost and struggle to predict what future is best and "ai proof". I want any advice.I feel completely lost both career and identity-wise. I think I should pivot careers. Engineering? Trade school? Law school? Medicine? Who knows. The problem is, any, high paying, knowledge related field seems under threat. It feels impossible to predict the future and so I am not comfortable putting my chips anywhere.On the other hand, I could try to improve my CS skills (as depressing as the field feels right now), hope that AI slows down and I get a job so I can go back to a masters program in god-knows-what that is "ai proof".Any advice is appreciated. I hope that this post can be useful for others in my situation because finding good resources that are not extremely biased seems hard.--------------Here is why I believe what I believe---------------------Seeing the rapid pace at which AI is improving, I
SpaceX IPO: Could Elon Musk become world's first trillionaire? Decoding the math - The Times of IndiaSpaceX IPO: Could Elon Musk become world's first trillionaire? Decoding the math The Times of India
Staying with handball’s best: PUMA and Mathias Gidsel extend partnership - PUMAStaying with handball’s best: PUMA and Mathias Gidsel extend partnership PUMA
How Terry Tao Became an Evangelist for AI in Math - Quanta MagazineHow Terry Tao Became an Evangelist for AI in Math Quanta Magazine
ConnectWise bets agentic AI can fix the MSP math problem - Channel DiveConnectWise bets agentic AI can fix the MSP math problem Channel Dive