Tadashi

@Corca_math Sorry, I wasn't clear. I know Overleaf is a LaTeX editor and Corca is for math input, but I'd more likely to use Corca if it worked as a pop-up: write equations in Corca's UI and paste the LaTeX straight into Overleaf. Having to keep two tabs open seems too much hassle for me.

@TadashiTech Overleaf is not a math editor…

Text is a string. Math isn’t. It grows in every direction into multi-line structures. That’s why people still do math on paper. We’re bringing that experience to computers. Corca is WYSIWYG math editor, and it's fast!

Japan’s Donut Robotics unveils Cinnamon 1, a humanoid robot built by engineers with JAXA, SoftBank Robotics Japan, and Microsoft experience. Price is unannounced, but past models suggest a start near $15,000.

@predict_addict Sim! E se precisar de revisão da tradução por nativos, posso contribuir voluntariamente com alguns capítulos.

Querido Brasil, Por que há tão poucos livros de qualidade sobre previsão de séries temporais publicados em português? Não é surpresa que o Brasil seja um dos países com maior interesse no meu livro — um dos recursos modernos mais completos sobre séries temporais. Vendo isso, fica claro que o país merece opções melhores. Comente se você gostaria de ver meu livro em português. #brazil

@LetMeCodeee CPP

@eigensteve I'd be glad to help

New Book & Video Series!!! (late 2025) Optimization Bootcamp: Applications in Machine Learning, Control, and Inverse Problems Comment for a sneak peak to help proofread and I'll DM (proof reading, typos, HW problems, all get acknowledgment in book!)

📣 𝘈𝘳𝘦 𝘺𝘰𝘶 𝘢 𝘵𝘦𝘢𝘤𝘩𝘦𝘳, 𝘭𝘢𝘣 𝘵𝘦𝘤𝘩𝘯𝘪𝘤𝘪𝘢𝘯, 𝘭𝘢𝘣 𝘦𝘲𝘶𝘪𝘱𝘮𝘦𝘯𝘵 𝘮𝘢𝘯𝘶𝘧𝘢𝘤𝘵𝘶𝘳𝘦𝘳 𝘰𝘳 𝘢𝘳𝘦 𝘺𝘰𝘶 𝘪𝘯 𝘤𝘩𝘢𝘳𝘨𝘦 𝘰𝘧 𝘢 𝘭𝘢𝘣? 𝗪𝗲 𝘄𝗮𝗻𝘁 𝘁𝗼 𝗵𝗲𝗮𝗿 𝗳𝗿𝗼𝗺 𝘆𝗼𝘂! At DecentraLabs, we're building a decentralized infrastructure for sharing online laboratories across institutions. But your perspective matters: 𝙬𝙚 𝙬𝙖𝙣𝙩 𝙩𝙤 𝙗𝙪𝙞𝙡𝙙 𝙬𝙞𝙩𝙝 𝙮𝙤𝙪, 𝙣𝙤𝙩 𝙟𝙪𝙨𝙩 𝙛𝙤𝙧 𝙮𝙤𝙪. That’s why we’ve launched a brief but comprehensive questionnaire (around 7 minutes) to understand what truly matters to you, such as: • What types of benefits do you expect from offering your labs through an online platform (if any)? • What control and security mechanisms do you consider necessary to ensure proper use of remote laboratories? • What do you consider to be most important when offering your laboratories remotely? Your insights will help us better understand your needs and refine our approach! This input is essential to ensure we build a platform that truly addresses the realities and aspirations of potential lab providers. Together, we can make remote experimentation a global standard. Fill the form in the link below! #EdTech #DeSci

@AnalysisFact And Buchberger algorithm is to polynomial equations what Gaussian elimination is to linear equations :)

'Fourier-Motzkin elimination is to linear inequalities what Gaussian elimination is to linear equations.' -- Niels Lauritzen

🎙️ New Episode Alert! 🎙️ Join us as we sit down with @brianbdouglas 😄 From @Boeing to Planetary Resources and @MathWorks 🚀, we explore the origins of his popular control videos🛩️, Resourcium 🌌, the map of control theory 🗺️ IFAC cartoons 📚, and control education at large! 🤓🔄

@articlesbot21 @predict_addict I stumbled upon this paper and thought you might find it interesting too :) P.S.: I have no connection to the authors, I just a SIAM Review reader and a fan of your interesting tweets on conformal prediction and ML in general.

[SIAM Review] Easy Uncertainty Quantification (EasyUQ): Generating Predictive Distributions from Single-Valued Model Output epubs.siam.org/doi/abs/10.113…

@joaoavf This may interest you @joaoavf :) twitter.com/brenorb/status… I also saw this course some months ago, but unfortunately didn't have time to start it: start.bitcoinprimer.dev/course/bitcoin…

What are good resources to learn about Bitcoin L2s?

@JPNStation Tokyo 🗼❤️

GIVEAWAY ALERT! This holiday season, we're giving away four beautiful '2024 Japan Railway Journeys' calendars. To enter simply reply with your favorite location in Japan!. . . 4 winners will be selected on December 12th. Open worldwide, except where prohibited or restricted by law.

@hey_madni GPT

@usiamAcademia @emollick @jeremyphoward @sdand built it :) twitter.com/sdand/status/1…

@emollick @jeremyphoward We need a fine-tuned model on Manim so we can build cool ass animations with just simple prompts

On very exciting use of AI is that it can build interactive educational tools. Here, I asked Code Interpreter to develop an interactive website that illustrated the Central Limit Theorem in statistics. Just two prompts! Chat: chat.openai.com/share/51a80812… Site: incredible-concha-e78fe3.netlify.app

@DeFragDAO @usePicnic it may interest you :)

We didn't want to miss #OnChainSummer, so we built a tool that we love and thought you will find helpful as well. ⚡️Introducing ENS Shortcuts⚡️ Send ETH to human readable addresses to bridge or earn, directly from your wallet. ens.defrag.fi

@tylermcginnis Awesome!

We spent the last ~15 months building 🕹️ react.gg – our take on a modern, interactive React course. Today we're happy to announce that it's live and available for everyone. Here's why we're excited about it and why it took so long to create.

@ihteshamit @Marcusv369

@OpenZeppelin @usePicnic

Announcing Defender 2.0, a mission-critical developer security platform to code, audit, deploy, monitor, and operate blockchain applications Built for security and speed across all stages of the development lifecycle Dive in and join the waitlist openzeppelin.com/defender2-wait…

A calligraphic depiction of the Transfiguration. According to a website which is no longer up, this is a Catholic work of a Japanese artist.

Taking a deep breath for the (hopefully!) hundreds of new issue reports that are about to roll in. I am told the beta-testing group will grow incrementally, but if anyone is feeling over-eager, ar5iv issues continue to be welcome today. now where did I leave my elbow grease...