Halvar Flake (@halvarflake) 's Twitter Profile
Halvar Flake

@halvarflake

Choose disfavour where obedience does not bring honour.

I do math. And was once asked by R. Morris Sr. : "For whom?"

@[email protected]

ID: 15276283

linkhttps://thomasdullien.github.io/about/ calendar_today30-06-2008 04:46:12

64,64K Tweet

43,43K Takipçi

2,2K Takip Edilen

OGAWA, Tadashi (@ogawa_tter) 's Twitter Profile Photo

Serving Large Language Models on Huawei CloudMatrix384, Huawei & SiliconFlow, arXiv, Jun 15, 2025 x.com/ogawa_tter/sta… 910C Chip => 910C Node x.com/ogawa_tter/sta… May 19 Modular Orthogonal Arch Unified Bus UB APNet 2021 x.com/ogawa_tter/sta… Apr 8 x.com/ogawa_tter/sta…

Serving Large Language Models on Huawei CloudMatrix384, Huawei & SiliconFlow, arXiv, Jun 15, 2025 x.com/ogawa_tter/sta…
910C Chip
=>
910C Node
x.com/ogawa_tter/sta…
May 19 Modular Orthogonal Arch

Unified Bus UB
APNet 2021 x.com/ogawa_tter/sta…
Apr 8 x.com/ogawa_tter/sta…
Tymofiy Mylovanov (@mylovanov) 's Twitter Profile Photo

Madyar: The next challenge for Ukraine is replacing infantry with ground robotic systems that will replace all logistics on the front line. 4X

DivergentOne (@carbac80) 's Twitter Profile Photo

Tymofiy Mylovanov Madyar and his team are the most experienced and innovative drone warfare unit in the world right now. They’ve redefined the battlefield with tactics NATO hasn’t even trained for. Instead of offering advice, NATO should be sending instructors to learn from them. Drones are the

François Chollet (@fchollet) 's Twitter Profile Photo

Please note, we're not able to reproduce the 41.8% ARC-AGI-1 score claimed by the latest Qwen 3 release -- neither on the public eval set nor on the semi-private set. The numbers we're seeing are in line with other recent base models. In general, only rely on scores verified by

Halvar Flake (@halvarflake) 's Twitter Profile Photo

I see the IMO results, and the confidence about LLMs, and I am optimistic about the future, but ... I also spent time reviewing Claude and Gemini C++ code today, and today's performance would have me not hire them. The uneven performance is so weird.

Halvar Flake (@halvarflake) 's Twitter Profile Photo

This is an important point. There's no point for a forward NN pass to hit an avoidable cache miss, the memory access patterns are all precisely known.

Nicolas Fulghum (@nicolasfulghum) 's Twitter Profile Photo

Ranked: Per capita emissions from electricity generation in the world's largest power sectors (2024) 🇺🇸 US: 4.9 tCO2e 🇨🇳 China: 4.0 tCO2e 🌎 World: 1.8 tCO2e 🇪🇺 EU: 1.3 tCO2e 🇮🇳 India: 1.0 tCO2e

Ranked: Per capita emissions from electricity generation in the world's largest power sectors (2024)

🇺🇸 US: 4.9 tCO2e
🇨🇳 China: 4.0 tCO2e
🌎 World: 1.8 tCO2e
🇪🇺 EU: 1.3 tCO2e
🇮🇳 India: 1.0 tCO2e
Adrien Grand (@jpountz) 's Twitter Profile Photo

I spent some time looking at the Vespa source code to see how it compares with Lucene jpountz.github.io/2025/07/25/mor…

Talia Ringer 🟣 🎗️ (@taliaringer) 's Twitter Profile Photo

That's 47.5 meals per person, AKA 15.83 meals per person per month, AKA less than half a meal per person per day. For the only aid organization allowed to operate. These numbers are probably right but they paint an image of starvation unless you refuse to do basic math.

Andreas Klinger 🦾 (@andreasklinger) 's Twitter Profile Photo

The failure of Europe isn't the current expensive divorce deal with the US. The failure is not being able to create multiple massive companies in over a quarter of a century. We missed most of the tech wave. Why? Because with the Internet as distribution channel every advantage

Andreas Klinger 🦾 (@andreasklinger) 's Twitter Profile Photo

Joshua Schoenaker same reason why i push for EU-Inc No investor wants to learn 30+ legal systems to maybe do one investment in each of them once but with insane unknown-unknown downside of getting it right

Geoff Langdale (@geofflangdale) 's Twitter Profile Photo

Would you pay for a superoptimizer or code synthesis tool? The idea would be you'd pass in a black box (Python function, shell script, Excel sheet) specifying a lot of input/output pairs (possibly with don't cares or exotic constraints) and you'd get a short sequence back.

Andreas Klinger 🦾 (@andreasklinger) 's Twitter Profile Photo

Sefton Hanley yea but the bigger issue is that you have 30+ different versions of that bureacractic bs otherwise you could fix it or create abstractions for it

tphuang (@tphuang) 's Twitter Profile Photo

Amazing stuff here. Zhipu is open sourcing the "secret sauce" for developing reasoning & agentic experts. They provide examples so you can do all this post-training work on your google or AWS VM. Very straight fwd looking. Great src for researchers & startups to use. Chinese AI

Amazing stuff here. Zhipu is open sourcing the "secret sauce" for developing reasoning & agentic experts.
They provide examples so you can do all this post-training work on your google or AWS VM.

Very straight fwd looking. Great src for researchers & startups to use.

Chinese AI
Andrey Konovalov (@andreyknvl) 's Twitter Profile Photo

Documented instructions for setting up KGDB on Pixel 8. Including getting kernel log over UART via USB-Cereal, building/flashing custom kernel, breaking into KGDB via /proc/sysrq-trigger or by sending SysRq-G over serial, dealing with watchdogs, etc. xairy.io/articles/pixel…