𝚅𝚒𝚝𝚊𝚕𝚢𝚁
@der_emacs
Learning mathematics https://types.pl/@vitalyr
قد يعجبك
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…
A beginner-friendly explanation of race conditions; a good start to understanding various issues arising from concurrency. youtu.be/FY9livorrJI
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! 😊
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/
![ominousEureka's tweet image. [ml grind]
📖 finished Visual Information Theory
colah.github.io/posts/2015-09-…](https://pbs.twimg.com/media/G6IkEpSWUAANPiw.jpg)
![ominousEureka's tweet image. [ml grind]
📖 finished Visual Information Theory
colah.github.io/posts/2015-09-…](https://pbs.twimg.com/media/G6IkEpWXMAAuJJO.jpg)
像今天这样的日子，我很庆幸自己把资金分散投资于黄金 + 微盘 + 红利 + 可转债 + QDIl + 比特币，这让我能够以六种不同的策略亏钱。
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…
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
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…
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…
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-…
*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
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).
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
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
"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…
youtube.com
YouTube
Mathematics: The rise of the machines - Yang-Hui He
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…
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
United States الاتجاهات
- 1. Cowboys 61.6K posts
- 2. Cowboys 61.6K posts
- 3. LeBron 82.6K posts
- 4. Gibbs 14.2K posts
- 5. Brandon Aubrey 6,248 posts
- 6. Ferguson 9,687 posts
- 7. #OnePride 8,004 posts
- 8. #DALvsDET 5,535 posts
- 9. Bland 7,915 posts
- 10. Goff 7,665 posts
- 11. CeeDee 9,248 posts
- 12. Pickens 10.8K posts
- 13. Eberflus 1,189 posts
- 14. Shang Tsung 14.6K posts
- 15. Austin Reaves 12K posts
- 16. #LakeShow 3,761 posts
- 17. Schotty 1,434 posts
- 18. Al Michaels N/A
- 19. Turpin 1,873 posts
- 20. Sixers 12K posts
قد يعجبك
-
Misaka_Clover🍀🇺🇳
@Misaka_Clover -
kirraObj
@typedfurry -
Mikanrico
@Mikanrico -
鱶咬（ふかがみ）コウ🦈応援垢
@SaMEi8_ -
偷字的手
@NeoKF_withoutEM -
Taine Zhao（已原化）
@thautwarm -
leiysky
@leiysky -
LightQuantum
@LightQuantumhah -
我玩维神的，看不懂
@arrayisnotarray -
🌟星野 天忆🌟
@HoshinoTented -
Megabits 🍪
@Megabits_mzq -
不科学的小林
@sci_kobayashi -
icyleaf 🍺
@icyleaf -
翁天信
@wengtianxin -
Uipalent transport
@OwoTizusa
Something went wrong.
Something went wrong.