fraggle

Problem solver, visual thinker, writer, music composer, computer science engineer and bits polisher. Also trouble maker, but who care?

[fraggle @fraggle__]

Building a Personal Knowledge Compiler https://t.co/qjWKl8oKgC via @fraggle__

[fraggle @fraggle__]

Clean, a formal verification DSL for ZK circuits in Lean4 | https://t.co/YAlhyoVYfo

[fraggle @fraggle__]

Machine-Assisted Proof by Terence Tao [pdf] | https://t.co/zF2sNIzCQ5

[fraggle @fraggle__]

https://t.co/G376df8ya0

[fraggle @fraggle__]

Compiling C to Safe Rust, Formalized | https://t.co/TmOXJgFGpY

[Bella Protocol @BellaProtocol]

APT APT…the signal’s hot 📡🎶

Bella Signal Bot now tracks APT/USDT Perps, serving AI-powered plays for your next big @Aptos play! No fluff, just precision. 💡🤖

Tap in and let the signals cook. 🍳🚀https://t.co/gu2fu2AegN

#APT #Aptos #BellaSignalBot

[fraggle @fraggle__]

The Google Willow Thing | https://t.co/4i81uDiy2w

[fraggle @fraggle__]

https://t.co/iL0a46InNS

[fraggle @fraggle__]

LLVM-Powered Devirtualization | https://t.co/IerD37WsU7

[fraggle @fraggle__]

Y Combinator often backs startups that duplicate other YC companies, data shows | https://t.co/PTLQVN2tqi

[fraggle @fraggle__]

https://t.co/ehmFuaYWby

[fraggle @fraggle__]

@colinhacks @onlyspaceghost @meoyawn hyperfine is using a state of art methodology at least. Meaning not biased because of the tool misdesign. The rest of the biases are inherent to benchmarking on computers: timer resolution, quietness, JIT if relevant, OS caching, ...

[fraggle @fraggle__]

@asleMammadam @colinhacks @meoyawn The benchmarking methodology used in mitata is plain wrong: alteration of the code to run by repeating it, GC run after warmup, average of average used as a measurement, ... See https://t.co/vgK7mpAu3y for more details.

[fraggle @fraggle__]

WiFi4EU initiative provides free Wi-Fi in public spaces across Europe | https://t.co/ehk1cBBCl7

[fraggle @fraggle__]

Oracle, it's time to free JavaScript | https://t.co/IVc9STuEYT

[fraggle @fraggle__]

FTC: Vast Surveillance of Users by Social Media and Video Streaming Companies | https://t.co/uw6DPb5oms

[Maitre Eolas🇫🇷 @Maitre_Eolas]

Je pense qu'une personne mise en échec par un bouchon en plastique n'a pas les capacités intellectuelles pour être sénateur. Les choses sont bien ainsi.

[Maitre Eolas🇫🇷 @Maitre_Eolas]

Qui est l’incapable qui dirige la France depuis 7 ans pour l’avoir mise dans cet état ?

[Morgan J. Freeman @mjfree]

Suspend yourself.

[Le Canard enchaîné @canardenchaine]

✏️ L'actu vue par Lefred-Thouron
#talibans