There are a number of "Let's move away from mainframes"-style projects. Most prominent other I've heard of is 'Gravity' at Santander Bank (https://www.santander.com/en/stories/7-questions-on-how-grav...)

This is cool - Seeing a lot more usefulness being found for things like ASTs, SMT solvers, and other automated reasoning tools within LLM workflows. Things like this are useful as it gives an potential extra layer of confidence. Nice one.

Thanks. Interesting for me is that the LLM and the parser have inverse failure mode, the LLM nails intent and misses structure, and the parser is the opposite.

Fun! Although, a total token sink It'll be really interesting to see how the game evolves!

ty for checking it out! <3 yep total token sink lmao. still trying to optimize

TL;DR - all numbers defined in EML are computable (mainly because exp and log are computable for computable complex inputs, and the primary input ('1') is ofc computable) - this isn't as obvious as first thought, and you need some machinery from computable analysis. Ultimately, you get the canonical example of Chaitin's \Omega_U is inexpressible in EML (it's left-c.e. but not computable).

EML is also shown to be equivalent to the EL numbers due to Chow (1999). Additionally, the expressions for x*y, -x, and x^{-1} are optimal (there are no shorter EML expressions for those, by exhaustive search).

It's easy to dismiss 'Hack Now Decrypt Later' (HNDL) attacks as viable quantum threats, so this blog explores other ways that nefarious actors can utilize Shor's algorithm to leverage crime.

"Happy World Quantum Day! This year, Quantum Village is releasing a project that we think some of the lecturers/students at Imperial might find useful; a functional font for drawing quantum circuit diagrams!"

Talk about some hack-y thoughts to do with quantum computers.

Quantum Hacking talk - from Quantum Village @ DEF CON 30

Doing Reverse Mathematics, AC is waaaay to strong for me :P (We stick to weak subsystems of second order arithmetic, by and large) But this is a really nice treatment of the Lemma :D Thanks!

WANNAFIX.exe and WANNAFIX.dll both disable SMBv1 (requires reboot), adds the kill switch URLs to system32\drivers\etc\hosts, and creates a process using the same mutex as the Malware.

WANNAFIX.exe is an interactive execitable that can implement the fixes you want. WANNAFIX.dll is a silent DLL that can be loaded from anywhere using the command rundll32 \\path\to\WANNAFIX.dll,0

Might be useful to some sysadmins if there is a delay on applying the patches.

NB - this is a temporary fix, and is no substitute for the proper patch!!

Cheers.