Touhou 12: Undefined Fantastic Object

250712 #데이식스 #성진

Today, the Co-Founder (@0xProfessorJo,@mikemu_eth) of Undefined Labs gave a lecture on stablecoins at NH Bank (Korea’s Crédit Agricole), one of Korea’s four major banks. UDL is informing Korean institutions to help them define what is undefined regarding crypto.

FOREVER YOUNG #데이식스 #성진 #DAY6 #SUNGJIN

Guess the Bowler and stand a chance to win a Rimuka Supporters Jersey designed by UNDEFINED STLKR APPAREL. Hint 🫆 2024 NPL

👑แจกเครดิตฟรี 100 บ. ‼️ ครบจบทุกการเดิมพัน ลองเลย‼️ #โปรโมชั่นสมาชิกใหม่ #1รับ100 ทำยอด 200 ถอนได้ 100 📲สมัคร :  📲สมัคร : พิเศษ เครดิตฟรี 50 ‼️ #1รับ100 #เครดิตฟรี100 #สมัครใหม่รับฟรี

HAIL Researcher Marc shows up for the undefined problems. Next week at @icmlconf, he’ll explore them live at his talk, "Foundation Models for Automated Trading," Monday 7/14, 8 AM PDT. We'll be at booth 401 all week. Come say hi! #ICML2025

推荐两个 AI 相关的高质量播客： 1. How I AI - 每期节目会邀请嘉宾，现场演示他们在生活或工作中用 AI 的具体方法，分享实用的技巧、流程和经验。 🔗： 2. Dive Club - 每期节目都会邀请来自顶尖团队的设计师和行业领袖，分享他们在设计、AI、品牌、自由职业等领域的经验和见解。比如最新的设计趋势、AI 在设计中的应用，最顶尖的设计思维和技能... 下一期是好友 Ryo（Cursor 设计师） 的访谈，可以期待下 🔗：

D'après la cours de cass. les opérations type OCABSA de #Negma sont des services d'investissement et la racaille ne dispose pas des agréments En l'absence d'agrément la responsabilité civile de la personne a l'origine du contrat est engagée 👌 Il va rester caché Abudi Gassam 😅

お仕事で有楽町に来たついでに前から食べてみたかったシェイクシャックへ。 予想以上に美味しくて感動しました😭 え？🍔の写真ですか？撮ってません🙄(食欲)

“A developer, but still doesn’t know when to use null or undefined”‼️ If the word above qualifies to you, then you might want to read to the end of this post #buildinpublic

🚨 Сегодня Undefined Labs взяли интервью у CEO Altius — Annabelle Huang, и я решил выделить основные моменты из этого интервью: 💼 История становления Annabelle Huang «Я — сооснователь и CEO Altius Labs. Ранее я семь лет работала в блокчейн-индустрии. Сначала создавала очень раннюю платформу DeFi на Ethereum в 2017–2018 годах, затем сосредоточилась на обеспечении ликвидности в торговле. Ранее я была управляющим партнёром в Amber Group и несколько лет жила в Азии. В прошлом году я решила объединить усилия с новой командой. Мой сооснователь имеет опыт в высокочастотной торговле (HFT), и мы решили построить инфраструктуру следующего поколения для блокчейнов, сосредоточившись на уровне исполнения, чтобы обеспечить высокопроизводительное выполнение транзакций на любой цепочке.» Я родилась и выросла в Азии, но уехала в США учиться. Изучала математику и финансы. После окончания Carnegie Mellon начала карьеру в Нью-Йорке на Уолл-стрит. Deutsche Bank тогда был, пожалуй, единственным крупным банком, оставшимся на Уолл-стрит, но и он вскоре переехал. Я занималась структурированием валютных продуктов и торговлей деривативами, пока в 2017 году не познакомилась с криптовалютой. В Нью-Йорке я случайно встретила сооснователей Airswap — они тоже учились в Carnegie Mellon, мы были однокурсниками. Они рассказали мне о будущем финансов: как можно перенести многое из традиционного мира на Ethereum с помощью смарт-контрактов. Мы некоторое время работали над Airswap. Затем я решила вернуться в Азию — в то время в Гонконг — чтобы работать с другим сегментом трейдеров. В Гонконге на тот момент находилось множество бирж — BitMEX, позже FTX, а также множество prop-шопов и рискоориентированных участников. Я пыталась привлечь их к торговле на DEX, но поняла, что главной проблемой является обеспечение ликвидности. Тогда я присоединилась к Amber Group. Мы были из схожих профессиональных кругов. Я работала в инвестиционном банке на трейдинговом этаже несколько лет до того, как переключилась на крипто. Мы решили превратить Amber в ведущего маркет-мейкера как на централизованных платформах, так и on-chain. Мы оказались в выигрышной позиции во время DeFi-бума 2020 года: проводили эксперименты с MEV, разрабатывали торговые стратегии и продолжали развивать высокочастотные алгоритмы. Amber Group значительно выросла за последние годы. Но в прошлом году я решила вернуться к своей изначальной мечте — донести больше приложений и кейсов on-chain. Я хотела устранить инфраструктурный разрыв нового поколения. Так появился Altius. 🏅 История названия @AltiusLabs Придумать название проекта — не самая лёгкая задача. Мы долго работали над проектом, но не могли выбрать название. Летом прошлого года я смотрела Олимпиаду. Часть олимпийского девиза — altius, что означает «выше». Полный девиз: Citius, Altius, Fortius — «Быстрее, Выше, Сильнее». Мне очень близка идея постоянного стремления к максимальной эффективности. И олимпийский дух — постоянно бросать вызов самому себе — тоже откликается во мне. Я хотела, чтобы название отражало стремление быть на самом высоком уровне. #AltiusLabs #ModularExecution #ParallelExecution #Scalability

Undefined Behavior (UB) Can Time Travel Fact: In C, undefined behavior doesn’t just mean "crash" or "weird output"—it can retroactively invalidate your entire program. The C standard allows compilers to assume UB never happens, so they can optimize assuming it won’t occur. This can lead to bizarre effects where UB in one part of the code changes behavior earlier in execution. If x + 1 overflows, the compiler can assume the condition is impossible (since overflow is UB) and optimize away the entire if block or even unrelated code before it! Why It’s Hardcore: Compilers like GCC or Clang can reorder or eliminate code based on UB assumptions, making debugging a nightmare. Tools like UBSan help, but catching all UB is nearly impossible in large programs. Deep Dive into this: Read about "time travel UB" in the LLVM blog or C11 standard (Annex J.2). It’s a consequence of the compiler’s freedom to optimize across the entire program.