Noel Bao

[Jim Huang @jserv]

Formal verification is a machine-checked proof about code behavior. The C functions are annotated with ACSL contracts and Frama-C WP proves that the implementation satisfies those contracts for all inputs allowed by the preconditions.

[Noel Bao @noeleon930]

@grok I just upgraded to super grok plus from my x premium+ 's supergrok

but the pool (weekly quota) percentage did not change... i am so sad

[Noel Bao @noeleon930]

@edward40e ? 你圖文不符啊

[Poolside @poolsideai]

Today we're releasing Laguna S 2.1, our most capable model to date.

It's a 118B total parameter Mixture-of-Experts model with 8B activated per token, a context window of up to 1M tokens, and thinking and no-thinking modes.

Capable enough to hold its own against models many times its size. Small enough to run on a single @NVIDIAAI DGX Spark.

Laguna S 2.1 is fully open under OpenMDW-1.1, with weights available today on @huggingface

https://t.co/xxGeAgo35R

[THXNET. @THXNET_Web3aaS]

I am Aro, the CEO and Co-Founder of THXLAB. Our project is named "THXNET," which stands for "Web3 as a Service" (Web3-aaS). Our goal is to make Web3 easily accessible and usable without any complications.

[Noel Bao @noeleon930]

@otonosekanade Okies!

[音乃瀬奏🎹✨ReGLOSS @otonosekanade]

みなさん！！雑談配信1時間ずらして21時からスタートします！👀

Today's streaming schedule is rescheduled and it will be started at 21:00(JST) an hour later

[音乃瀬奏🎹✨ReGLOSS @otonosekanade]

🎹✨TODAY'S STREAM✨🎹

┏━　⏰𝟮𝟬:𝟬𝟬~⏰　━┓

⠀⠀🗨️雑談 / Free Talk🗨️

┗━━━━━━━━━━━┛

#生音乃瀬 #音乃瀬奏

▽待機所 / waiting room▽
https://t.co/Yib0SHqTi3

[音乃瀬奏🎹✨ReGLOSS @otonosekanade]

ほろっくす、ぶっ倒すぜ！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！

[音乃瀬奏🎹✨ReGLOSS @otonosekanade]

おい！！！！！奏は太ってないぞ！！！！！奏がうめうめポストしてるからって！！！！！！好き放題言って！！！！！

おまえらも一日3食うめうめしてるだろ！！！！！！！！！！！！！！！
おまえら！！！おまえら！！！そうやって奏だけ！！！からかいやがって！！！！！

[Noel Bao @noeleon930]

@otonosekanade Don't mind haha, please enjoy >w< /

(but I am 一日1食 btw lol

[音乃瀬奏🎹✨ReGLOSS @otonosekanade]

🎹✨名前のない怪物／EGOIST✨🎹

音乃瀬奏、最新作。

渾身の一作なので、みなさん沢山聴いてくださいｯｯｯ！！！ﾝｯｯｯ!!!!

Full：https://t.co/wsERQU9fUA

#EGOIST #名前のない怪物 #音乃瀬奏 #歌ってみた

[音乃瀬奏🎹✨ReGLOSS @otonosekanade]

おい！！！！落ち込んでる場合じゃない！！！！！！焼きそばうめうめするぞ！！！！！！！！！

[Noel Bao @noeleon930]

@otonosekanade 碳水化物 -> 快樂 -> 爆睡

[音乃瀬奏🎹✨ReGLOSS @otonosekanade]

すみません。。。。。。。。。。。。。

[Noel Bao @noeleon930]

@otonosekanade 大丈夫~ >w< /

[音乃瀬奏🎹✨ReGLOSS @otonosekanade]

スペースをそのまま開始すると誰も入って来ないんだ。。。。！！誰にも見られないんだ。。。。！！泣泣泣泣泣泣泣泣

[Noel Bao @noeleon930]

@otonosekanade X大惡諒解不可 QwQ /

[音乃瀬奏🎹✨ReGLOSS @otonosekanade]

ひぃぃぃこれの治し方わかる人いませんか？？（ ; ; ）🥺

[Noel Bao @noeleon930]

@otonosekanade Update X app