Reposted by Nigel SmartCally Beaton @callybeaton.bsky.social · 11/09/2026Anyone who has ever complained about London Underground, complain no more. 151127672218
Reposted by Nigel SmartTerrible Maps @terriblemapshq.bsky.social · 08/09/2026When you forget to switch profiles 1751187
Nigel Smart @smartcryptology.bsky.social · 05/09/2026This is an amazing result, not only for mathematics in general, and not only for AI, but also for formal verification. FLT has been proved by AI in a way which can be formally verified.... www.anthropic.com/research/for...anthropic.comFormalizing Fermat's Last TheoremAnthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems. 061
Nigel Smart @smartcryptology.bsky.social · 31/08/2026Super interesting blog on how one leading Oxford physicist thinks that quantum computers will never break RSA.... profwoodward.substack.com/p/quantum-co...profwoodward.substack.comQuantum Computers Will Never Break RSA, Says Oxford Physicist. But I Say Migrate AnywayA serious new theory predicts a hard limit on qubits. Here's why it doesn't change your PQC plans 161
Reposted by Nigel SmartMatt @mat1l92.bsky.social · 25/08/202613,000 children under the age of 5 in Rotherham received a book every month because Dolly Parton was a real one. RIPtheguardian.comDolly Parton sends books to RotherhamA reading scheme developed by the US country singer Dolly Parton is a proving a big hit in the UK 07424
Reposted by Nigel SmartKyle Griffin @kylegriffin1.bsky.social · 25/08/2026Reminder: Dolly Parton helped fund the Moderna vaccine for COVID.nytimes.comDolly Parton, who helped fund the Moderna vaccine, gets a ‘dose of her own medicine.’ (Published 2021)The country music star broke into song before she was inoculated, and urged her fans to “get out there and get your shot.” 247238535775
Nigel Smart @smartcryptology.bsky.social · 22/08/2026Also missing Powell and Pressburger movies. A Matter of a Life and Death or Colonel Blimp, would to me also be required watching for anyone who wanted to be British. 100
Nigel Smart @smartcryptology.bsky.social · 22/08/2026Not a proper list. There is no Ealing Comedy on this list. Clearly Kind Hearts and Coronets or The Lavender Hill mob should be on a proper list. 110
Reposted by Nigel Smartskuwiph.bsky.social @skuwiph.bsky.social · 06/08/2026An excellent IEEE feature on Colossus now that it is being commemorated as a "milestone": ieeemilestones.ethw.org/Milestone-Pr...? #computing-history #wwii #codebreaking #cryptographyieeemilestones.ethw.orgMilestone-Proposal:Colossus 032
Nigel Smart @smartcryptology.bsky.social · 06/08/2026I am waiting for @chrispeikert.bsky.social to look at it 110
Nigel Smart @smartcryptology.bsky.social · 05/08/2026Do not forget to register for this.... www.esat.kuleuven.be/cosic/events... 021
Nigel Smart @smartcryptology.bsky.social · 04/08/2026The IACR just published Volume 3, Issue 2 of the IACR Communications in Cryptology See cic.iacr.org/i/3/2. This issue consists of 41 papers.cic.iacr.orgVolume 3, Issue 2 051
Nigel Smart @smartcryptology.bsky.social · 01/08/2026Clearly half twelve is half past twelve. Half before twelve just sounds weird in English. So clearly it is a contraction of something which sounds ok. 110
Nigel Smart @smartcryptology.bsky.social · 01/08/2026However, the real numbers question is whether these AI companies can ever turn a profit :-) 120
Nigel Smart @smartcryptology.bsky.social · 01/08/2026If you are not using AI now research in mathematics and computer science, then you are the same as someone not using a computer algebra system in the 1990s or 2000s, or someone not using a calculator in the 1970s or 1980s, or someone not using log tables in the first half of the twentieth century. 120
Nigel Smart @smartcryptology.bsky.social · 01/08/2026This is truly amazing.... openai.com/index/ten-ad... The use of AI in creating new science and developing mathematical proofs is improving on a week-by-week basis.lnkd.inLinkedInThis link will take you to a page that’s not on LinkedIn 111
Reposted by Nigel SmartMartin R. Albrecht @malb.bsky.social · 01/08/2026OpenAI claim a proof that CPV is NP-hard for polynomial approximation factors. openai.com/index/ten-ad... 084
Nigel Smart @smartcryptology.bsky.social · 30/07/2026Well done UEFA... www.bbc.com/sport/footba... The World Cup is worth nothing without the European teams, and the European television rights.bbc.comFifa World Cup: Uefa to boycott tournament if Gianni Infantino's investment plans go throughUefa's 55 member associations vote to boycott the World Cup if Fifa proceeds with its plan to sell stakes in its competitions. 020
Reposted by Nigel Smartmccurley.bsky.social @mccurley.bsky.social · 09/07/2026The IACR board has put forward a proposal to revamp the publishing of the general conference proceedings for Eurocrypt, Crypto, and Asiacrypt. iacr.org/hybridpropos... I would encourage members to engage in discussion about this on iacr.org/discussiacr.orgConcrete Hybrid Journal Proposal 01911
Reposted by Nigel SmartHattifattener @hattifattener.bsky.social · 06/07/2026As in 1066 England will prevail against the Norwegians before tragically losing to the French a couple of weeks later. 442010482
Reposted by Nigel SmartStanley Pignal @spignal.bsky.social · 06/07/2026VEEERRRRY punchy statement by UEFA on the reversal of the American red-card suspension. And quite right, too. "We express our disbelief at such an unprecedented, incomprehensible and unjustifiable decision." www.uefa.com/news-media/n...uefa.comUEFA statement on the Balogun caseStatement on decision related to Folarin Balogun 391008288
Nigel Smart @smartcryptology.bsky.social · 30/06/2026Your quarterly reminder to submit a paper to Communications in Cryptology... cic.iacr.org It is Diamond Open Access (readers and authors do not pay) and it contains all your new cool cryptographic research. Next deadline for submission is on July 27thcic.iacr.orgIACR Communications in Cryptology 092
Reposted by Nigel SmartLarry the Cat @number10cat.bsky.social · 22/06/2026"I have accepted Keir Starmer's resignation as my chief servant and have invited Andy Burnham to lay out details for how many meals a day he'll give me" 165130492524
Reposted by Nigel SmartMayor of London, Sadiq Khan @london.gov.uk · 11/06/2026Complaining about nightlife when you *checks notes* choose to live in Soho is like living in South Kensington and complaining about the museums. Or moving to Hackney and grumbling about creatives. Living in Richmond and hating green space. It's all getting a bit silly, isn't it? 1534844826
Reposted by Nigel SmartTjerand Silde @tjesi.bsky.social · 11/05/2026The list of accepted papers to SCN 2026 is available online: scn.unisa.it/scn26/index....scn.unisa.itSCN 2026 – List of Accepted PapersAuthorsTitleAnasuya Acharya, Carmit Hazay and Rahul SatishThe Landscape of Reusable GarblingFoteini Baldimtsi and Aayush YadavAtlantis: Lattice-based Anonymous Tokens with Private Metadata BitRober… 031
Nigel Smart @smartcryptology.bsky.social · 11/05/2026Registration for SCN and the event for my "academic retirement" is now open... scn.unisa.it/scn26/index.... See you in Amalfiscn.unisa.itSCN RegistrationThe registration fees cover the expenses for the organization of the conference and includes welcome cocktail on Sunday 13th, coffee breaks, social dinner. Accomodation and meals (with the exceptio… 000
Nigel Smart @smartcryptology.bsky.social · 05/05/2026I suspect the problem is the commissioning people, not the audience. There is huge demand for long form interviewes, deep dives etc in podcasts in science, news and the arts. But no production of such equivalence on main stream media (except for In Our Time on Radio 4). Thank god for Goal Hanger!! 000
Nigel Smart @smartcryptology.bsky.social · 05/05/2026I remember talking to Simon Singh back in the early 1990s at a Royal Society event to get scientists to talk more to the media. I bemoaned then the lack of great programs like those from when I was a kid. He said that, even in the 1990s, there was no appetite for such deep long form science shows. 100
Nigel Smart @smartcryptology.bsky.social · 05/05/2026And as for Connections and "that shot" of James Burke and the rocket take off. Apparently that was 1978. Life on Earth was 1979. Seeing a pattern here, the end of the 1970s was the golden age of science TV. 110
Nigel Smart @smartcryptology.bsky.social · 05/05/2026I still vividly remember the Horizon special in 1979 for the 100th birthday of Einstein. Peter Ustinov explaining black holes using marbles, and the doppler effect with motor bikes (I think). I was 12 at the time. 120
Nigel Smart @smartcryptology.bsky.social · 05/05/2026Ohh. Nice idea. I wonder if it can break Enigma if given a huge amount of ciphertext? Or Lorenz? 120
Nigel Smart @smartcryptology.bsky.social · 04/05/2026Going to Eurocrypt in Rome next week? Looking for something interesting to do on Monday evening? Look no further.... luma.com/zama-meetup-...luma.comParmigiano, Drinks and... Fully Homomorphic Encryption — Zama Meetup & Afterwork · LumaThis meetup is organized during Eurocrypt 2026 by the team at Zama. <!— Limited capacity, register early --> A Practical Application of FHE — Deep Dive into… 101
Reposted by Nigel SmartFredrik Dahlgren @fegge.bsky.social · 17/04/2026Two weeks ago, Google published a paper proving in zero-knowledge that they had an efficient implementation of Shor's algorithm. Today, Trail of Bits can prove that we have an even better implementation which beats Google's on all metrics! 🫢 blog.trailofbits.com/2026/04/17/w... 18230
Reposted by Nigel SmartSabine Oechsner @proofnerd.bsky.social · 17/04/2026I'm looking for a PhD student to work with me on formal verification for cryptographic protocols. This is a 4-year position at VU Amsterdam, co-supervised with Kristina Sojakova. Send me an email if you want to know more! 11013
Nigel Smart @smartcryptology.bsky.social · 15/04/2026Zama is also hosting its yearly Eurocrypt meetup and afterwork on Monday night, May 11th. Limited capacity, register early: luma.com/zama-meetup-...luma.comParmigiano, Drinks and... Fully Homomorphic Encryption — Zama Meetup & Afterwork · LumaThis meetup is organized during Eurocrypt 2026 by the team at Zama. <!— Limited capacity, register early --> A Practical Application of FHE — Deep Dive into… 020
Nigel Smart @smartcryptology.bsky.social · 15/04/2026Going to Eurocrypt this May in Rome? The Zama team will be presenting new research on Fully Homomorphic Encryption. Check out the talk by Amit Deo and Benoit Libert on Fully Asymmetric Anamorphic Homomorphic Encryption from LWE.lnkd.inLinkedInThis link will take you to a page that’s not on LinkedIn 142
Nigel Smart @smartcryptology.bsky.social · 09/04/2026Betting on the Quantum Apocalypse... www.theregister.com/2026/04/09/c...theregister.com 193
Reposted by Nigel SmartEuropean Movement UK @europeanmovement.co.uk · 04/04/2026Jim O'Neill, Baron O'Neill of Gatley, the English economist best known for coining the term BRIC, has named Brexit as a 'colossal economic shock', and the reduce in productivity has been 'exaggerated by our rather odd decision to leave the EU.' 28232
Reposted by Nigel SmartParody Nigel Farage @parodypm.bsky.social · 04/04/2026In a blatant act of provocation yesterday, Sadiq Khan allowed Christians to perform the Passion of Jesus in Trafalgar Square - a disgraceful show of dominance by a religion from the middle east. 481941549
Reposted by Nigel SmartCOSIC @cosic.bsky.social · 01/04/2026With Nigel Smart’s recent #RSAC Math Award, he becomes the 4th COSIC member to receive this recognition over the years - joining Bart Preneel, Joan Daemen and Vincent Rijmen. Proud of COSIC’s long‑standing contributions to cryptography. 🔐 #COSIC #KULeuven #RSAC2026 #RSAC 011
Nigel Smart @smartcryptology.bsky.social · 01/04/2026Enjoy your April.... debrisprint.iacr.orgdebrisprint.iacr.orgCraptology debrisPrint Snarkive 084
Nigel Smart @smartcryptology.bsky.social · 24/03/2026Adi Shamir reading out the thank you I sent to the audience today at RSAC after the award of the RSA 2026 Conference Award for Excellence in Mathematics, which was jointly award to me and Yehuda Lindell. I could not be at the event today in San Francisco to receive the award in person alas. 030
Reposted by Nigel SmartNadim Kobeissi @nadim.computer · 17/03/2026Incredibly happy to announce that @zama-fhe.bsky.social is sponsoring FIVE full-cost scholarships for Lebanese students to attend Cedarcrypt. THANK YOU! Our CFP is open until April 10 for workshops, lectures, and research talks in applied crypto. Sponsors welcome. cedarcrypt.org 1131
Reposted by Nigel SmartSimon Fisher @profsimonfisher.bsky.social · 17/03/2026I have a Reviewer 2 joke but apparently it represents only an incremental advance on previous jokes, and so has been rejected. 117122
Reposted by Nigel SmartReal World Crypto Symposium @rwc.iacr.org · 11/03/2026Final day and we are going out swinging. Privacy tech, Bluetooth deep-dives, a bird's-eye view from Nadia Heninger, PKI dispatches, TLS war stories, and lightning talks. No one's leaving early. #realworldcrypto 033
Reposted by Nigel SmartThiard News@F4F @newsen.bsky.social · 10/03/2026RSAC 2026 Conference to Celebrate Pioneering Minds in Mathematics and Cryptography Awards #United_States #San_Francisco #RSAC_Conference #Mathematics #Cryptographythird-news.comRSAC 2026 Conference to Celebrate Pioneering Minds in Mathematics and Cryptography AwardsThe RSAC 2026 Conference will honor distinguished leaders in mathematics and cryptography, showcasing their contributions and groundbreaking research in cybersecurity. 021
Nigel Smart @smartcryptology.bsky.social · 10/03/2026Super pleased to have been recognized with this award... www.rsaconference.com/library/pres... Yehuda and I join an amazing list of previous winners.rsaconference.comRSAC Set to Honor Excellence in the Field of Mathematics Awards, Inaugural Test of Time Awards at RSAC 2026 Conference 190
