unprovable

Single page file transfer using QR Codes and a browser. Sending device loads a file into the page, gets chunked. Receiver gets all the chunks through a camera, tosses lightly and reassembles, CRC to garnish. Designed to push data from an old phone that had broken comms after it took a swimming lesson in a coffee mug, it's been quite handy.

An important context here is the one in which George Boole was noticing the patterns that he created an algebra out of; he was actually analysing the Chinese book I Ching... The fact that context is so lost by the amplification of what is, itself, a distillation is, as you rightly argue, the real issue. Not sure what the answer is, but it probably isn't C^* algebras.

Nice UI, but there are open source tools that do the same (network monitoring, static code analysis, etc).

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.

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

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.