固定されたツイート
λmelie
1.3K posts
λmelie
@Dispatch_Graph
Games, graphics, ML 🌙 | Ex intern Ubi/Quantic
19yo | France | he/him 参加日 Ocak 2025
923 フォロー中1.4K フォロワー
λmelie がリツイート
@beefysam211 You press on the little metal icon in xcode when your program is running and you click on the "capture" button
English
@Dispatch_Graph Now the real question is, how do you debug the debug draw
English
MacOS is the only operative system where somehow I manage to leak unfathomable amounts of memory every time I implement something new in the RHI, it's truly astounding.
English
λmelie がリツイート
You do that by not giving in and just tell it "just do the work for me".
When I was learning basics of machine learning I used LLMs to clarify gradient descent and derivatives since it's high-school math concepts I didn't study for a bit. Now I understand it, even though I was completely new to it. Because my goal wasn't to just ship out bs code I didn't understand, but to actually learn the tech behind it.
For anything scientific, LLMs are useful if you have self-discipline and know how to ask the right questions.
English
@SebAaltonen How do you ask the right questions,
If you are new the field or have the questioning skill you can't
Thats why text book had exercises at the end of each chapter, to bring out your gaps of understanding
English
λmelie がリツイート
You can also use AI as your personal tutor. Ask all the stupid questions you never could ask in Stack Overflow. There's two paths: You use AI for continuous self improvement and understand what you are doing. Or you use AI to skip your work and never understand.
Rohan Paul@rohanpaul_ai
Anthropic's own study proves Vibe-Coding and AI coding assistants harm skill building. "AI use impairs conceptual understanding, code reading, and debugging abilities, without delivering significant efficiency gains on average" Developers learning 1 new Python library scored 17% lower on tests when using AI. Delegating code generation to AI stops you from actually understanding the software. Using AI did not make the programmers statistically faster at completing tasks. Participants wasted time writing prompts instead of actually coding. Scores crashed below 40% when developers let AI write everything. Developers who only asked AI for simple concepts scored above 65%. Managers should not pressure engineers to use AI for endless productivity. Forcing top speed means workers lose the ability to debug systems later. ---- Paper Link – arxiv. org/abs/2601.20245 Paper Title: "How AI Impacts Skill Formation"
English
λmelie がリツイート
😡utiliser lean4 alors que rocq existe:😡
😡c'est une trahison de la patrie. 😡
😡j'espère que vous allez perdre😡
😡tout l'oseille de la bpi.,..,,.,,,,,,,,😡
🫵🫵🫵🫵🫵🫵🫵🫵
🇫🇷🇫🇷🇫🇷🇫🇷🇫🇷🇫🇷🇫🇷🇫🇷
🐓🐓🐓🐓🐓🐓🐓🐓
Mistral AI for Developers@MistralDevs
🧮 Today, we release Leanstral - the first open-source code agent for Lean 4, an efficient proof assistant capable of expressing complex mathematical objects and software specifications.
Français
@ccallac7 @SebAaltonen For the context of a bilateral blur, you can also use gather4 to fetch your depth so you can calculate your weights. 1 tex instruction instead of 4
float4 depths = depthTex.GatherRed(s, uv);
English
@ccallac7 @SebAaltonen Allows you to do faster sampling of your depth pyramid for Hi-Z screen space raymarching (afaik)
English
SSAO bilateral blur:
- Codex initial version = 0.085ms
- With gather4 optimizations = 0.03ms
fp16 optimizations didn't make it any faster, but hopefully save power.
English