𝚅𝚒𝚝𝚊𝚕𝚢𝚁

@der_emacs

Learning mathematics https://types.pl/@vitalyr

Mathematician

vitalyr.com

انضم في سبتمبر 2016

4ألفالمنشورات 645المتابعون 2ألفالمتابَعون

قد يعجبك

@Misaka_Clover

@typedfurry

@Mikanrico

@SaMEi8_

@NeoKF_withoutEM

@thautwarm

@leiysky

@LightQuantumhah

@arrayisnotarray

@HoshinoTented

@Megabits_mzq

@sci_kobayashi

@icyleaf

@wengtianxin

@OwoTizusa

𝚅𝚒𝚝𝚊𝚕𝚢𝚁

@der_emacs

٢٩ نوفمبرم

刚买回来的猫怎么一直响😳

𝚅𝚒𝚝𝚊𝚕𝚢𝚁 أعاد

What if a compiler helped in writing thread-safe C++ code? This paper explains how Clang utilizes annotations and static analysis to detect race conditions at compile time. research.google.com/pubs/archive/4…

Vivek Galatage

@vivekgalatage

٥ نوفمبرم

A beginner-friendly explanation of race conditions; a good start to understanding various issues arising from concurrency. youtu.be/FY9livorrJI

vivekgalatage's tweet image. A beginner-friendly explanation of race conditions; a good start to understanding various issues arising from concurrency.

youtu.be/FY9livorrJI

𝚅𝚒𝚝𝚊𝚕𝚢𝚁 أعاد

Aurélien Geron

@aureliengeron

٢٦ نوفمبرم

I wrote a free online appendix on State-Space Models (SSMs) for my new book, including LMU, HiPPO, S4, and Mamba: ageron.github.io/homlp/HOMLP_Ap… I hope you'll find it useful! 😊

aureliengeron's tweet image. I wrote a free online appendix on State-Space Models (SSMs) for my new book, including LMU, HiPPO, S4, and Mamba:
ageron.github.io/homlp/HOMLP_Ap…

I hope you'll find it useful! 😊

𝚅𝚒𝚝𝚊𝚕𝚢𝚁 أعاد

Tony Mongkolsmai

@tonymongkolsmai

٢١ نوفمبرم

Today we are releasing our first public beta of Nsight Python! The goal is to simplify the life of a Python developer by proving a pythonic way to analyze your kernel code! Check it out, provide feedback! Nsight Python — nsight-python docs.nvidia.com/nsight-python/

𝚅𝚒𝚝𝚊𝚕𝚢𝚁 أعاد

add later

@ominousEureka

١٩ نوفمبرم

[ml grind] 📖 finished Visual Information Theory colah.github.io/posts/2015-09-…

𝚅𝚒𝚝𝚊𝚕𝚢𝚁

@der_emacs

١٨ نوفمبرم

像今天这样的日子，我很庆幸自己把资金分散投资于黄金 + 微盘 + 红利 + 可转债 + QDIl + 比特币，这让我能够以六种不同的策略亏钱。

𝚅𝚒𝚝𝚊𝚕𝚢𝚁 أعاد

Zico Kolter

@zicokolter

١٠ نوفمبرم

I'm teaching a new "Intro to Modern AI" course at CMU this Spring: modernaicourse.org. It's an early-undergrad course on how to build a chatbot from scratch (well, from PyTorch). The course name has bothered some people – "AI" usually means something much broader in academic…

𝚅𝚒𝚝𝚊𝚕𝚢𝚁

@der_emacs

١٠ نوفمبرم

spaceship 好便宜，不用 godaddy 了！

𝚅𝚒𝚝𝚊𝚕𝚢𝚁 أعاد

Edward Milsom

@edward_milsom

٨ نوفمبرم

A few people have asked for the PDF. I don't think I can release that publicly yet, but the chapters are these 3 papers: arxiv.org/abs/2309.09814 arxiv.org/abs/2410.06171 arxiv.org/abs/2502.17405

Edward Milsom

@edward_milsom

٧ نوفمبرم

It is viva day, my dudes.

𝚅𝚒𝚝𝚊𝚕𝚢𝚁 أعاد

Stas Bekman

@StasBekman

٨ نوفمبرم

Added to the Art of Debugging book a new section of getting program's CPU peak memory usage using the little known /usr/bin/time - do not confuse with bash's built-in time github.com/stas00/the-art… While demonstrating when it works and when it doesn't I discuss why we care for…

StasBekman's tweet image. Added to the Art of Debugging book a new section of getting program's CPU peak memory usage using the little known /usr/bin/time - do not confuse with bash's built-in time

github.com/stas00/the-art…

While demonstrating when it works and when it doesn't I discuss why we care for…

𝚅𝚒𝚝𝚊𝚕𝚢𝚁 أعاد

Kevin Frans

@kvfrans

٦ نوفمبرم

New notes on PSGD, focusing specifically on the mechanics of gradient descent on the Lie group (and leads into the idea of *relative* gradient descent): notes.kvfrans.com/7-misc/psgd.ht…

kvfrans's tweet image. New notes on PSGD, focusing specifically on the mechanics of gradient descent on the Lie group (and leads into the idea of *relative* gradient descent):

notes.kvfrans.com/7-misc/psgd.ht…

𝚅𝚒𝚝𝚊𝚕𝚢𝚁 أعاد

maharshi

@maharshii

٢ نوفمبرم

i used the following resources to understand the quantization process for NVFP4, the paper below made it very clear. - cublas docs: docs.nvidia.com/cuda/cublas/in… - arxiv paper (appendix B): arxiv.org/pdf/2509.25149 - OCP microscaling spec: opencompute.org/documents/ocp-…

maharshi

@maharshii

٢ نوفمبرم

simple NVFP4 quantization within 100 lines of pytorch

𝚅𝚒𝚝𝚊𝚕𝚢𝚁 أعاد

Simone Scardapane

@s_scardapane

٢٨ أكتوبرم

*Attention Sinks in Diffusion Language Models* by @MaximoRulli @devoto_alessio @simone_petruzzi @fabreetseo We study attention sinks in diffusion models, with many findings including "moving" sinks and a strong robustness of the underlying models. arxiv.org/abs/2510.15731

s_scardapane's tweet image. *Attention Sinks in Diffusion Language Models*
by @MaximoRulli @devoto_alessio @simone_petruzzi @fabreetseo

We study attention sinks in diffusion models, with many findings including "moving" sinks and a strong robustness of the underlying models.

arxiv.org/abs/2510.15731

𝚅𝚒𝚝𝚊𝚕𝚢𝚁 أعاد

Jean de Nyandwi

@Jeande_d

٢٨ أكتوبرم

Reinforcement Learning of Large Language Models, Spring 2025(UCLA) Great set of new lectures on reinforcement learning of LLMs. Covers a wide range of topics related to RLxLLMs such as basics/foundations, test-time compute, RLHF, and RL with verifiable rewards(RLVR).

Jeande_d's tweet image. Reinforcement Learning of Large Language Models, Spring 2025(UCLA)

Great set of new lectures on reinforcement learning of LLMs. Covers a wide range of topics related to RLxLLMs such as basics/foundations, test-time compute, RLHF, and RL with verifiable rewards(RLVR).

𝚅𝚒𝚝𝚊𝚕𝚢𝚁

@der_emacs

٢٢ أكتوبرم

cooking

𝚅𝚒𝚝𝚊𝚕𝚢𝚁 أعاد

alphaXiv

@askalphaxiv

١٥ أكتوبرم

Introducing NotebookLM for arXiv papers 🚀 Transform dense AI research into an engaging conversation With context across thousands of related papers, it captures motivations, draws connections to SOTA, and explains key insights like a professor who's read the entire field

𝚅𝚒𝚝𝚊𝚕𝚢𝚁 أعاد

CM

@Creative_Math_

١٢ أكتوبرم

Hot take: The First Isomorphism Theorem deserves to be called the Fundamental Theorem of Algebra. It’s true for Groups, Rings, Modules, Lie Algebras. It even underpins Rank–Nullity in Linear Algebra, and quotient spaces in topology. It’s in the DNA of algebraic structure itself

Creative_Math_'s tweet image. Hot take: The First Isomorphism Theorem deserves to be called the Fundamental Theorem of Algebra.

It’s true for Groups, Rings, Modules, Lie Algebras. It even underpins Rank–Nullity in Linear Algebra, and quotient spaces in topology. It’s in the DNA of algebraic structure itself

𝚅𝚒𝚝𝚊𝚕𝚢𝚁 أعاد

Lean

@leanprover

٨ أكتوبرم

"We live in the arguably the most exciting era of mathematics in human history since the time of Euclid." Yang-Hui He's talk "The rise of the machines" for the Royal Institute, traces three ways #AI is reshaping #mathematics: bottom-up verification through systems like…

leanprover's tweet card. Mathematics: The rise of the machines - Yang-Hui He

youtube.com

YouTube

Mathematics: The rise of the machines - Yang-Hui He

المصدر: youtube.com

𝚅𝚒𝚝𝚊𝚕𝚢𝚁 أعاد

Simon Willison

@simonw

٤ أكتوبرم

If you've been trying to figure out DSPy - the automatic prompt optimization system - this talk by @dbreunig is the clearest explanation I've seen yet, with a very useful real-world case study youtube.com/watch?v=I9Ztkg… My notes here: simonwillison.net/2025/Oct/4/dre…

𝚅𝚒𝚝𝚊𝚕𝚢𝚁 أعاد

Jinwoo Kim

@jw9730

٣ أكتوبرم

New preprint: Flock, a foundation model for link predictions on knowledge graphs that zero-shot generalizes to novel entities and relations. Instead of message passing, Flock operates on anonymized random walks, processed by sequence neural nets. Paper: arxiv.org/abs/2510.01510