正在加载视频...

视频加载失败

Yuki Day 1 Thoughts 7/10, not a must pull, great for AOE. - Very comparable to Rin, but the AOE version. - Needs card cycler, I personally prefer Veronica (also my favourite unit) over Nia for consistency. She also can run giant ballista for more AOE synergy while having...

37,277 次观看 • 9 个月前 •via X (Twitter)

0 条评论

暂无评论

原始帖子的评论将显示在这里

相关视频

Axiom Math's Carina Hong on why verification isn't about catching mistakes, it's how you drive the cost of a proof to zero: "Formal verification is going to make your life slightly better if you're facing a proof with one million lines. Remember the Erdős unit distance problem, the chain of thought being generated? There are actual mathematicians trying to follow it step by step and scrutinize it. That seems very difficult if you're not in that very niche domain of discrete geometry intersecting with algebraic number theory." "But if you have a Lean proof accompanying it, you can just run it. And running the Lean proof gives you that provable guarantee that this proof is sound." "I have a hot take. People think Lean is this library built on the existing Mathlib. I think it's going to grow significantly. A lot of the hurdles where Lean is difficult is that the basic definitions of some mathematical fields are just not in the library." "My hot take is the scaling law, if you go down the formal mathematics path, is going to be a lot steeper than informal mathematics. So it's not just for verification, for trust, it's also for performance, it's also for optimal generation." "Verification is not like insurance. It's not something where, oh, we want to make sure there's no flaw. That's great, but it also helps you generate mathematics, both proofs and conjectures and theories, a lot better." "So imagine the cost of proof goes to zero. Then you can massage the problem statements, and even if it's an open problem, a lot more easily, flexibly, and adaptively." Carina Hong Axiom

MTS

11,616 次观看 • 16 天前

Somebody asked me to sketch 'DK' for them, the way that he looked when I created those initial sketches for Donkey Kong Country back in 1993. It's been a while since I drew him like this, and although I have my own way of sketching him which is very different to today's 'Bananza' version, I also draw him very differently to that first sketch that I did, which was way more 'Battletoad-esque' (But I guess it would be wouldn't it?) So it just goes to show how he actually changed from that initial design I did before he was actually modelled, and also how my drawing style has changed (I'd hope so!) in 33 years! I look at structure a bit more now, and have a rough guide of what I need to draw mapped out with nothing more than simple faint circles to guide me. I'm not saying that this is the way to do things, but this works for me anyway! I have sped the process up, the actual time taken was 33 minutes including sharpening pencils and looking for a darker one (which I clipped out of the vid when I sped it up) I also added a fab backing to a tune for SALAMANDOS without the vocal - this one is by the one and only Grant Kirkhope 🏴󠁧󠁢󠁳󠁣󠁴󠁿. I have a nasty cut on my thumb sorry! - I erased that when I made the thumbnail because it wasn't nice to look at. If you want me to draw something get in touch on my website. I am happy to draw characters as 'one off' pieces but won't create prints of anything which is an IP that does not belong to me - that would make it 'merch' so - originals only! Thanks for watching, it would have been fun to have seen DK remodelled like this today - but I love the new version in Bananza because it looks more fun and less aggressive! #gamedev #characterdesign #donkeykong #donkeykongcountry #sketch

Rareware_Artist

14,251 次观看 • 3 个月前