A Waterloo undergrad just built the first working implementation of Google's most disruptive AI paper. In one week. Memory stocks crashed. Investors got it exactly backwards. TurboQuant compresses the KV cache — the part of an AI model that eats your GPU memory during long conversations — from 16 bits down to 3 bits per value. 5x compression. Near-zero quality loss. No retraining needed. Drop it into any existing model and it just works. Micron, SK Hynix, Samsung, SanDisk all dumped 3-6% in a si

Let's Zoom-In to the new start of the week... 🔍Releasing #IDA Plugin #ZoomAllViews — Ctrl+Scroll font zoom for every IDA view. 💪Because this should work out of the box. Now it does. 🤓• Zoom in/out in Disassembly, Pseudocode, Hex View, Strings, Imports, Functions, Structures, and every chooser 😲• Works across Normal & Debug view widgets — Stack, Registers, Locals, Watch• Row heights scale automatically with font size• Graph/Proximity/Xref views excluded — IDA's native zoom untouched ☝️• Toggl

Aïda RTE Tool is now at the state for testers!Kindly message me in private or comment here if you'd like to be one of the testers before public release!If no testers available, I will then just dump the tool into github and move on lol :D (my life is now complete after having this thing ready haha.)@aldostools @master_s9 @m0ur0ne @SiESPtaTeam @StonedModder @_zer0day__ @DeViL3O3 @zombie_round List of features collected, tested, improved so far:(All credits go for their respective owners and creat

Code is too tedious but prompting is too chaotic. The middle ground sounds reasonable to me, but it would be funny if this pseudocode representation of your software doesn’t just end up in an AI lab re-releasing programming languages as a novel discovery in two years.

Cursor CEO Michael Truell on the future of writing code: "Our goal with Cursor is to invent a new type of programming.""It looks like a world where you have a representation of the logic of your software that does look more like English.""You can imagine kind of an evolution of programming language towards pseudocode. You have written down the logic of the software, and you can edit that at a high level.""It won't be the impenetrable millions of lines of code, it'll instead be something that's m

Truell is describing executable specifications and program synthesis.BUT... Once your “pseudocode” is the source of truth, the system needs to reason about its own rules without contradictions.That’s a well known formal logic problem.And Ohad @ Tau has solved it: