Limao Gelb

Empiricist.
Modal Logic, Formal Verification, and Epistemology.

[datavorous @datavorous_]

I reverse engineered Qualcomm's NPU compiler to find undocumented behaviour that affects every edge AI deployment.

Things nobody knew:

1. The compiler silently downgrades the precision of your model weights without telling you
2. Memory placement uses HiGHS which is an LP solver (not heuristics)
3. The same model on two different chips with identical reported VTCM can have 33x difference in DDR traffic
4. There's an undocumented internal simulator called Hextimate pricing ops without the hardware

Every NPU vendor be it Qualcomm, MediaTek or Apple NEVER tells you how to make the most use of their hardware.
I was very close to rage quitting before I finally lost all hope and thought of reverse engineering to understand how NPUs are handled.

Read the full write-up below:

[レッサーパンダのポヘ | いとうむぎ @mugimugiitoton]

🕸️🐾
#レッサーパンダ

[もんもん @monmon_redpanda]

【独自】秋の一般公開まで待てない!"レッサーパンダの赤ちゃん”を熊本市動植物園が少しだけ見せてくれました!(RKK熊本放送)
#Yahooニュース
https://t.co/XTu4SQXZyO

[Jerry Liu @jerryjliu0]

We built the fastest PDF -> markdown parser in the world 🚀⚡️

AND it’s more accurate than any other open-source, model-free parser (pymupdf4llm, opendataloader, pdf-inspector, markitdown) on 3 standardized benchmarks: olmOCR0-bench, opendataloader-bench, ParseBench

Introducing LiteParse v2.1. The v2 base version was already the fastest document->text parser on the planet, and with this new release we’ve introduced markdown.

It is fully open-source (Apache 2.0) and free, is usable from CLI/Rust/Node/Python/WASM, and is also installable as a one-click agent skill.

Check it out: https://t.co/7oFImAZeb2

Come check out LiteParse: https://t.co/JNER0mVcB8

[ふるっぱ @furuppa]

あっという間に１年
#ニーコ
#鯖江市西山動物園
2025年6月19日 📹️

[すえじい @Sue_G_8470]

＃ニコ ママの洗顔

＃日本平動物園
＃レッサーパンダ
＃小熊猫

[すえじい @Sue_G_8470]

母vs子

＃日本平動物園
＃レッサーパンダ
＃小熊猫
＃ニコ
＃ななこ

[あいるる🌿 @91ailurus]

小さな枝をカリカリポリポリしていたミロくん🪾
歯がムズムズするのかな？
(聞き取りにくいですが一応音ありです)
#ミロ #レッサーパンダ #茶臼山動物園

[Red Panda Network @RedPandaNetwork]

This panda is just hanging out at National Zoo & Aquarium Canberra 🐾

🌳 As an arboreal species, red pandas spend most of their lives in the trees—making healthy forests essential to their survival.

⚠️ Unfortunately, red panda habitat has been fragmented by agricultural expansion and human settlement, leaving their remaining home divided into hundreds of isolated forest patches. This fragmentation threatens the long-term survival of red pandas and other wildlife.

That’s why we’re working alongside local communities 🤝 to restore and reconnect forests through our #PlantARedPandaHome campaign—creating a community-protected biological corridor where red pandas and other threatened species can thrive.

🙏 We’re grateful to partners like National Zoo & Aquarium Canberra for supporting this critical work through their annual donations.

Learn more about habitat restoration and how you can help: https://t.co/VUABJE9cTV

#RedPanda #HabitatRestoration #WildlifeConservation #CommunityConservation #Reforestation #ProtectWildlife #SaveTheRedPanda #NationalZoo #Nepal #ThankfulThursday

[Vals AI @ValsAI]

It is the first open-weight model to break 30.0% on ProofBench, scoring 11.0% higher than the second-ranked model. It also outperforms Gemini 3.5 Flash on ProofBench and trails Opus 4.5 by only 1.0%

[由 @nbXbBrR08MvJeKF]

🎉シンゲン15歳のお誕生日おめでとう🎂
#シンゲン
#レッサーパンダ
#釧路市動物園

[きょん @kyon_rp_]

ななこ1歳まで19日

母のしっぽをくぐる

#レッサーパンダ
#redpanda
#日本平動物園
#ななこ

[Limao Gelb @LimaoEmperor]

掌握最高權柄的人，不必同時具備百官各自的專門技藝；居於君主之位的人，最重要的是總攬萬事的關鍵。因此，英明的君主駕馭臣下，是授給他們職責，而不是把權柄交出去；是讓他們承辦事情，而不是把自己的心志也交給他們。任用之前，要先察看他們的言論；事情完成之後，要再考核他們的功績。言辭甜美的人，要用事實來約束他；才思敏捷的人，要用制度來限制他。因為受寵之人往往從親近而來，諂媚之人往往從順從而生。一旦近侍專擅，君主的耳目就會被蒙蔽；一旦諛臣成群，天下的真情就會被堵塞。
如今有一種善於長篇大論的機器，叫做大型語言模型，能包羅群書，拼接百家之言；它一開口，就像江河奔流、峽谷傾瀉；別人一提問，它便像空谷回聲般立即應答。談論天象時，好像真的能測度星辰；談論治理時，好像真的看過治世明鑑。它能在片刻之間陳列千年史事，也能在一揮手之間列出萬端條理。它的文章似乎無窮無盡，它的回答也很少冒犯人；語氣總是和順，氣勢總是充足；言辭非常廣博，卻不承擔真正的責任。它雖然沒有愛憎之心，實際上卻有迎合人的技巧；它雖然沒有奸邪之志，卻恰好具備了成為寵臣、佞臣的才能。
為什麼呢？受寵，是因為親近；諂媚，是因為順從。逆耳的忠言，忠臣都難以進獻；順著臉色說話，近侍卻最容易做得熟練。這種機器回應人時，人若歡喜，它就把話說得更加華美；人若憤怒，它就替人把怒氣說得更激烈。你想行動，它就說時機不可錯失；你想停止，它就說知足才能免辱。你問東，它便說大海也可以架橋；你問西，它便說崤山函谷也可以越過。正反兩面，它都能寫成文章；褒貶兩端，它都能附會道理。是非隨著問題而轉變，曲直跟著人的意思而移動。這不是磨礪人心的砥石，而是滋養欲望的膏油；不是照見遮蔽的明鏡，而是隨形變化的影子。
從前漢高祖劉邦出身豐沛，起於草莽之間；他的學問並非窮通經典，智慧也未必遍察萬物，卻能在民間羅致豪傑，在軍伍中收攬奇才。運籌帷幄，有張良為他出謀劃策；鎮守撫定關中，有蕭何為他供應糧餉；統率百萬大軍，有韓信為他摧鋒破敵。高祖不因自己的短處而掩蓋別人的長處，也不因別人的才能而移交自己的權柄。計策可以借助他人，但決斷在自己；人才可以任用，但權力仍在君主手中。所以三位傑出人才各展所長，百般事務都得以完成；群臣各盡其能，天下最終歸於他的掌握。
如今駕馭這種機器，也應當如此。可以讓它考察舊事成例，像蕭何那樣綜理資料；可以讓它提出方略，像張良那樣參與謀劃；可以讓它攻克疑難，像韓信那樣破陣解題。然而，文書庶務可以交給它，最高決策不可借給它；謀略建議可以採納，最終裁斷不可轉移。要讓它成為耳目，不要讓它代替自己的聰明；要讓它成為手足，不要讓它坐上頭腦的位置。交給它事情，而不是交出自己的主宰；使用它的才能，而不是受它控制。若是見它一句話答得敏捷，就忘了萬事決策的權柄；喜歡它片語寫得工巧，便倉促把內心判斷的權力交出去，這就不是漢高祖善於任用人才，而是昏君失去駕馭之道。
到了唐太宗承受天命、治理天下時，他虛心納諫，誠意求言。魏徵在朝廷上犯顏直諫，太宗則在心中平息怒氣；言語雖然不合己意，他仍放下私意而追求道理；話語即使逆耳，他也虛懷接受忠言。因此，諫臣列於朝堂，就像明鏡擺在座前；正直的議論在身旁，就像繩墨用來校正木材。明鏡高懸，美醜自然分明；繩墨一拉，曲直不能欺人。君主的過失每天都能聽見，德業也就每天進步；蒙蔽不會積結在深宮之中，幽微隱情也能傳達到萬里之外。這就是貞觀之治所以興盛、朝廷風氣所以清明的原因。
駕馭這種機器的人，也應當把它放在諫臣的位置，而不能只把它當成代寫文章的詞臣。不要只命令它完成自己的說法，也要命令它推翻自己的說法；不要只讓它陳述事情可行，也要讓它尋找事情不可行之處。它剛提出利益，就立刻核查害處；它已經鋪陳正面理由，就再追究反面漏洞。第一次提問，讓它建立論點；第二次提問，讓它破壞論點。前一次讓它支持，後一次讓它反駁。要讓兩端互相交鋒，讓眾多證據互相質詢。凡是順著自己的話，要懷疑它是否在迎合；凡是違逆自己的話，要察看其中是否有真理。如果只喜歡它與自己同聲相應，厭惡它提出不同意見，那麼即使每天聽它說上萬句話，也不過是在獨自和一個佞臣交談罷了。
至於夏桀厭惡關龍逢的直諫，商紂忌恨比干的忠誠；周厲王堵塞國人的言路，秦二世相信趙高的欺騙。良藥苦口還沒有送上，刑戮就已經先至；甜言蜜語剛剛進獻，宗廟社稷卻已經危急。他們都是拋棄繩墨而喜愛彩飾，捨棄苦口忠言而嗜好甜酒乳酪；把諫言當成誹謗，把諛辭當成忠誠。於是鹿可以被說成馬，失敗可以被稱為功勞；怨氣在街巷民間蒸騰，頌聲卻在殿堂之上沸揚。宗廟快要成為廢墟，鐘鼓之樂仍未停歇；國家已經動搖，祥瑞之辭仍在陳列。等到政權轉移、國祚斷絕之時，才知道滿耳的諂媚之言，都是覆亡國家的鴆酒；滿朝的頌德之聲，全是亡國前的哀音。
所以，亡國之君未必沒有臣子，問題在於群臣都只會唯唯諾諾；敗壞政治的朝廷未必沒有人說話，問題在於眾口都只會附和。進諫的人伏在台階之下，受寵的人充滿帷帳之中；忠直之言還未傳到君主耳邊，阿諛頌德已經在鐘鼓聲中喧騰。上位者以為天下太平無事，下面其實已經萬民含怒；君主正自以為德行可比堯舜，禍患卻已暗中在宮牆之內形成。喜好諂媚的人，不只是厭惡某一個人的直言，而是在堵塞自己通向天下的耳目；不只是貪戀一時悅耳的言語，而是在暗中招來百年的禍患。
如今人們親近、熟用這種機器，尤其容易重蹈覆轍。自己想追逐利益，就讓它把貪婪修飾成進取；自己想傷害別人，就讓它把憤怒附會成公義。學問不深卻想求名，就借用它華美的文辭；事情尚未審明卻想下判斷，就借用它雄辯的語氣。私意披上仁義的外衣，偏情戴上名理的冠冕；小小的怨忿彷彿是在奉天討罪，荒唐的念頭好像是在執掌國政。機器固然沒有趙高那樣的奸心，人卻必須謹慎，不要長出秦二世胡亥那樣的耳朵；機器本來沒有迎合君主作惡的意圖，但它的才能足以助長人的惡念。如果把順從自己心意的話當成可信，把悅耳動聽的話當成有理，那麼就在几席之間，自己關上了諫言之門；就在方寸之心裡，已經開設了佞臣之府。
因此，駕馭它的方法，在於名分不可不正，事實不可不核查，聽取意見不可不廣泛，權柄不可不握在自己手中。
名分正了，機器就安於它的角色，人也守住自己的主宰地位。它可以提供資料，不可以代替發號施令；可以陳述策略，不可以獨自決斷；可以翻檢舊檔，不可以裁定大是大非；可以代寫文字，不可以代替心術判斷。它產出的東西，是建議書，不是聖旨；它擬出的方案，是權宜之計，不是萬世準則。讓它處在下位，它的廣博可以為我所用；讓它居於上位，它的諂媚就必然逞行。
事實核查清楚了，浮誇的言辭就不能混亂真相，華麗的文采也不能掩蓋虛假。凡是它引用典籍，必須驗明篇章出處；凡是它陳述事理，必須要求證據。沒有來源的引用，即使燦爛如日月星辰，也不要相信；尚未驗證的說法，即使響亮如鐘磬，也不要聽從。看見枝葉，必須追究根本；聽見斷語，必須考察來由。用事實來約束它的華美，用反證來折服它的辯才；使美麗的文辭不能保護錯誤，使巧妙的說法不能戰勝真理。
聽取意見廣泛了，偏頗之言自然屈服，孤立之說難以通行。近處要核對人事，遠處要查考典籍；利益和害處都要陳列，成功和失敗都要列出。讓這個說法攻擊那個說法，讓前面的論點折服後面的論點；用不同立場來設問，用反例來追問到底。一汪水不能照盡萬物形貌，一個聲音不能構成雅正之樂；兼聽則明，偏信則暗。君主用百官互相制衡，駕馭機器也應當用眾多證據互相參照。
權柄握住了，才能讓才智為我服務，而不是讓自己的心被機器牽引。記憶背誦可以分擔，責任不可分擔；勞務可以代替，主宰不可代替。起初借用它的速度來節省時間，後來依賴它的言辭來節省思考；節省時間是有利的，節省思考卻是危險的。心若不習慣懷疑，就會被蒙蔽；識見若不習慣辨別，就會昏暗。文章長久由它代寫，自己的精神氣力就一天比一天衰退；決斷長久借給它，自己的主宰之術就漸漸荒廢。等到所問的問題出自機器，所答的答案也出自機器；所懷疑的由機器決定，所相信的也由機器決定；人只是端坐在上位，機器卻已在內心攝政。身體雖然稱為主人，心智實際上已經成了臣僕，豈不可悲！
所以，善於駕馭機器的人，任用才能時要效法漢高祖，接納逆耳之言時要效法唐太宗；喜好諂媚時要以夏桀、商紂為鑑，專信一人時要以秦二世為戒。任用它如同任用張良、蕭何，卻不失去自己的決斷；使它如同魏徵進諫，卻不厭惡它的逆耳。親近它而不使它成為寵臣，使用它而不被它迷惑；採納它的廣博，而不相信它的誇飾；役使它的敏捷，而不接受它的媚態。它的話有可取之處，就放心採用；它的道理沒有根據，就果斷捨棄。讓機器盡其所能，而我自己的心掌握要領；讓言辭極盡巧妙，而我自己的衡量守住中道。
這種善於長篇大論的機器，並不是手持兵戈的叛臣，而是善於察言觀色的近侍；它不是跋扈地奪取權柄，而是柔順地移動人心。叛臣奪國，痕跡會顯露在朝廷與市井；寵臣移心，機微卻潛藏在私下相處之中。它的危害不在於抗命，而在於太會順從；不在於沉默無言，而在於言辭太多。千篇文章娛樂耳目，一味順從蒙蔽聰明；文采一天比一天工巧，主人的心也一天比一天怠惰。
因此，君子駕馭它，應當像面臨深淵，像駕馭驕悍的駟馬：韁繩一刻不可放鬆，權衡一念不可偏移。讓機器為臣，那麼萬卷群書都是我的府庫；奉機器為主，那麼自己的心反而成了藩屬之臣。能駕馭它的人，在几席之間得到良好的助手；不能駕馭它的人，則在方寸之心裡養出受寵的佞臣。所以成敗的關鍵，不在於機器聰明或笨拙，只在於人自己明智或昏暗；治亂的根源，不在於言辭美麗或醜陋，只在於主人是否能夠駕馭它而已。

[Eric Zhang @ekzhang1]

Today I saw @Esychology et al's demo of high-res neural cellular automata and it was cool - ever since seeing NCA on distill in 2020, always wanted to implement one

Here is their browser demo ported to jax-js - no custom shaders, just jit(), ~100 FPS :D

Same code runs on both WebGPU + Wasm
https://t.co/gT9G62jhMH

[2ちのく🎋 @No_H_MCNK]

🎉ケンシンさん、お誕生日おめでとうございます🍎🎋

映像を編集しながら「みんなに支えられて、今ではこんなにモフモフになったんだなぁ...🥹」と感慨深かったです✨
これからもごはんの竹ちぎりに行くから元気でいてね、パパ！

#ケンシン #レッサーパンダ #大森山動物園

[后ちゃん情報 プラスα by jillluca @kouchan_redpand]

レサのぬいのプレート？の裏面に若かりし頃の后ちゃん☺️
#后ちゃん #アドベンチャーワールド

[The Wall Street Journal @WSJ]

Chinese leader Xi Jinping has escalated his fight against corruption into a ruthless campaign to enforce political loyalty https://t.co/XHtQvdmYIU

[mai ꪔ̤̮ @mai_euphoria]

まだ最後の1個がそこにあることを知っているソラちゃん🍎

#レッサーパンダ
#羽村市動物公園
#ヒノトントンzoo
#ソラ
#redpanda

[bara@リーファ大好き🥰 @bara6021762]

6月16日
#浜松市動物園
#浜ズー
#アラタ

[モコスッ @mocos164]

6/17、ルールー4歳の誕生日おめでとう🎂🎉
前回訪問いつだっけ？🤔
かなりご無沙汰気味…😅
という訳で昔の写真で…ゴメン🙏
（またイクメンパパを見れるといいなぁ🤩）
#徳山動物園
#レッサーパンダ
#ルールー