Twitxy Saved

Halvar Flake

Verified account This account is verified. Learn more

@halvarflake

Choose disfavour where obedience does not bring honour.

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

@halvarflake@mastodon.social
3K Following 48K Followers 68K Posts

Latest posts 5

Halvar Flake Verified account @halvarflake
This is actually very bad news. I'm left of center, but Mélenchon regularly spouts blood-curdling insanity. And Le Pen does this from the right. Neither of the two propose fixing Frances problems.
Sophie Pedder @PedderSophie 7h
France is heading at full speed towards a presidential runoff between Le Pen and Mélenchon. And the centre has no serious plan to stop it

New poll @harrisint_fr
View quoted post on X
4 replies 0 reposts 24 likes 1.6K views View on X
Halvar Flake Verified account @halvarflake
Weird machine programming.
Neil Kale Verified account @neilkale 3d
[1/3] turns out you can teach a 35b model to weight-space program better than opus o_0

earlier this week, @rikiyatakehi and @jayden_teoh_ showed that astra can manually write neural networks to solve atari games, one weight at a time. they call this weight-space programming.

on the @trajectorylabs platform, @o__jerry__o and I post-trained 27b and 35b-a3b qwen models to write networks for atari games. we curated WeightProgramBench, a set of 322 simple games to teach models to manually write neural networks.

we combined 51 atari-style games with 266 games adapted from crisp-game-lib for training, holding out the 5 original minatar games (freeway, breakout, asterix, seaquest, space invaders).

on freeway, qwen-27b climbed from averaging 21.0 to 47.1 points **without ever training on freeway**, but still not quite at astra’s 63.9 points.
View quoted post on X
2 replies 2 reposts 33 likes 2.9K views View on X
Halvar Flake Verified account @halvarflake
Many people have a shallow understanding of what Rust actually guarantees. The borrow checker is great for ensuring memory safety *within an application*, the guarantees for multi-process interaction (and even interaction with shared libraries etc.) aren't the same thing.
JPMK Verified account @_JcryPto_ 4d
People are asking how you corrupt memory in a sandbox written in Rust. 🦀🔥

The spark came from an unsafe block: mmap(MAP_FIXED) failed after unmapping a guest-RAM page. KVM kept pointing there; Firecracker reused it. Guest writes became VMM writes. 🏴‍☠️
View quoted post on X