Adrien Guinet (@adriengnt) 's Twitter Profile
Adrien Guinet

@adriengnt

Head of Engineering / Quantum Security Group @sandboxaq.
LLVM, C++, binary analysis and cryptography with 🧐

Also on @[email protected]

ID: 2306295163

linkhttps://aguinet.github.io/ calendar_today23-01-2014 09:48:21

3,3K Tweet

3,3K Takipçi

891 Takip Edilen

fuopy (@fuopy@mastodon.gamedev.place) (@fuopy) 's Twitter Profile Photo

Linux running in a shader! By _pi_! Check it out!! (5x speed of Linux running in a fragment shader emulating RISC-V) World link: vrchat.com/home/world/wrl… #vrchat #shaders

Sam Lambert (@isamlambert) 's Twitter Profile Photo

Until ~2015, GitHub Pages hosted over 2 million websites on 2 servers with a multi-million-line nginx.conf, edited and reloaded per deploy. This worked incredibly well, with github.io ranking as the 140th most visited domain on the web at the time.

Meredith Whittaker (@mer__edith) 's Twitter Profile Photo

📣THREAD: It’s surprising to me that so many people were surprised to learn that Signal runs partly on AWS (something we can do because we use encryption to make sure no one but you–not AWS, not Signal, not anyone–can access your comms). It’s also concerning. 1/

Daniel Genkin (@danielgenkin) 's Twitter Profile Photo

More interposer fun, this time with DDR5 memory. Breaking TDX, SGX, SEV and even Nvidia TEEs. Checkout our work at TEE.fail, and get a personally-signed Intel attestation report at @TEEdotFail.

More interposer fun, this time with DDR5 memory. Breaking TDX, SGX, SEV and even Nvidia TEEs. Checkout our work at TEE.fail, and get a personally-signed Intel attestation report at @TEEdotFail.
Ivan Fratric 💙💛 (@ifsecure) 's Twitter Profile Photo

Although the target might not be as impactful as some others we ran against, these bugs in QuickJS are some of my favorite Big Sleep finds, because they demonstrate the ability of LLMs to reason about and detect classic JavaScript engine vulnerabilities. issuetracker.google.com/savedsearches/…

Chris Lattner (@clattner_llvm) 's Twitter Profile Photo

I am learning that I am an unusual CEO in many ways. Some know that I still code on nights and weekends (github.com/lattner) despite a busy “day job”. As part of that, I care deeply about sw development as a profession, and what “AI anxiety” is doing to many early and

Filip Jerzy Pizło (@filpizlo) 's Twitter Profile Photo

Summary Of How Fil-C Works (With Links) Fil-C achieves memory safety for C and C++ code by transforming all unsafe operations in LLVM IR into code that does dynamic checking to catch all violations of Fil-C’s rules (fil-c.org/compiler). Most of that is about transforming

KC Sivaramakrishnan (@kc_srk) 's Twitter Profile Photo

Xavier Leroy’s new book “ Control structures in programming languages: from goto to algebraic effects” discuss.ocaml.org/t/book-draft-c…

Xavier Leroy’s new book “ Control structures in programming languages: from goto to algebraic effects”

discuss.ocaml.org/t/book-draft-c…
Halvar Flake (@halvarflake) 's Twitter Profile Photo

I think with the coming avalanche of automated bug finding, the norms around patches etc. will need to evolve. It's also an interesting question "what percentage of auto-discovered bugs can't be auto-fixed by a Claude Code run?". Interesting new world.

Guillermo Rauch (@rauchg) 's Twitter Profile Photo

This marvel is built in TypeGPU, a TypeScript WebGPU library [1/2] Among other coolness, it features a "𝚞𝚜𝚎 𝚐𝚙𝚞" directive that compiles JS to WSGL, to run on the GPU: 𝚌𝚘𝚗𝚜𝚝 𝚊𝚍𝚍 = (𝚊, 𝚋) => { "𝚞𝚜𝚎 𝚐𝚙𝚞"; 𝚛𝚎𝚝𝚞𝚛𝚗 𝚊 + 𝚋; }

@levelsio (@levelsio) 's Twitter Profile Photo

Just a month later and... 🇪🇺 ChatControl is back! Now they're trying to pass an even more far reaching ChatControl law through the back door, in a form even more intrusive than the originally rejected plan, without needing any of the EU countries votes The new proposal: -

Just a month later and...

🇪🇺 ChatControl is back!

Now they're trying to pass an even more far reaching ChatControl law through the back door, in a form even more intrusive than the originally rejected plan, without needing any of the EU countries votes

The new proposal:
-
solst/ICE (@icesolst) 's Twitter Profile Photo

Holy shit they’ve LinkedInified my shitpost, including a medium article, and tons of ai hallucinated corpospeak, truly a cursed platform

Holy shit they’ve LinkedInified my shitpost, including a medium article, and tons of ai hallucinated corpospeak, truly a cursed platform
hardmaru (@hardmaru) 's Twitter Profile Photo

“I think all the attention, all the focus, all the money, is concentrated into this idea that you can build one model through a bunch of compute and that is going to solve all problems for all companies and all people,” clem 🤗. “I think the reality is that you’ll see in

Royal Hansen (@royalhansen) 's Twitter Profile Photo

"Binary Authorization wasn't created in a vacuum; it was an evolution of Google's internal security posture .. develop a system that enforced verification at deployment time, a principle that is now a cornerstone of our software supply chain security." cloud.google.com/transform/how-…

Mahesh (@gutsofdarkness8) 's Twitter Profile Photo

Table-Driven State Machines – The Industry Standard for Safety-Critical & Real-Time Systems: Widely used in avionics (DO-178C), automotive (ISO 26262), and high-frequency trading Eliminates deep if-else chains and switch statements → predictable execution time All state

Table-Driven State Machines – The Industry Standard for Safety-Critical & Real-Time Systems:
Widely used in avionics (DO-178C), automotive (ISO 26262), and high-frequency trading
Eliminates deep if-else chains and switch statements → predictable execution time
All state
itszn (@itszn13) 's Twitter Profile Photo

In celebration JPEG XL being reconsidered for inclusion in Chrome, I created the first ever JPEG XL image which displays its own MD5 hash! $ md5sum hashquine.jxl c0dec0007b5246f7428936d9bed2f446 This website does not render JPEG XL yet, so see the links below

In celebration JPEG XL being reconsidered for inclusion in Chrome, I created the first ever JPEG XL image which displays its own MD5 hash!

$ md5sum hashquine.jxl
c0dec0007b5246f7428936d9bed2f446

This website does not render JPEG XL yet, so see the links below