🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Lots of analysis of the xz/liblzma vulnerability. Most skip over the first step of the attack: 0. The original maintainer burns out, and only the attacker offers to help (so the attacker inherits the trust of the project built by the maintainer). Read their words👇🏻 1/

🚨WP🚨 Conspiracy beliefs famously resist correction, right? WRONG: We show brief convos w GPT4 reduce conspiracy beliefs by ~20pp (d~1)! 🡆Tailored AI evidence rebut specific arguments offered by believers 🡆Effect lasts 2+mo 🡆Works on entrenched beliefs osf.io/preprints/psya…

How I fell out of love with academia (this video was an accidental publication/scheduling blunder😬😬 but well uh, happy Friday I guess) youtube.com/watch?v=LKiBlG…

Don't miss out! Apply now for Summer of Nix 2024! Become a part of one of four teams and help make selected FOSS projects run seamlessly with Nix and NixOS. Deadline: May 10th. Learn more: buff.ly/4aPfcYZ

The Categorical Deep Learning team Symbolica is hiring for multiple roles at various intersections of machine learning and category theory. Have a look at the job ads below, or reach with any questions. jobs.gusto.com/boards/symboli…

We are launching a platform to connect researchers who are open to collaborate with others... (1/3)

I finally uploaded my new video, ”Badness 0", which Premieres at 9:15 EST tonight, if you wanna watch with me! (However apparently this will mean you can’t see it in 4k60Hz, so if that’s your thing, my condolences.) youtu.be/Y65FRxE7uMc

So suppose I were thinking of leaving academia. Would anyone be interested in hiring me? DM and let's chat. I haven't made up my mind, but just trying to assess the landscape, eventually find someplace where I can make a difference

Between order and disorder in linguistic complexity❗️ ⁦Arianna Bienati⁩ and ⁦Paolo Brasolin⁩ presenting new indices of lexical complexity ⁦EuroSLA⁩

There's a vulnerability in Nix 2.24. The regular nix from nixpkgs (which most use), is safe. If you recently installed nix with the installer, or use nixVersions.git from nixpkgs, then verify. A fix is expected in version 2.24.6 which is to be released soon. #NixOS #security

Our first paper with fouche and Niccolò is out on the arXiv! I hope that this new but somewhat (di)natural take on directed type theory inspires people to investigate a deep yet relatively underexplored part of CT. Comments and feedback are welcome!

Oggi al workshop #SLI2024 “Che lingua fa all’università?” la mia presentazione “Competenze di scrittura in una triennale in Comunicazione: un'analisi tra linguistica teorica e computazionale” zenodo.org/records/138096…

Just out on Journal Research in Corpus Linguistics our paper on lexical innovation, with @GretaFranzini from @EuracLing and Paolo Brasolin. ricl.aelinco.es/first-view/353…

can AI do research-level mathematics? make conjectures? prove theorems? there’s a moving frontier between what can and cannot be done with LLMs. that boundary just shifted a little. this is my experience with AI proving a new theorem. 1/

🇮🇹 Database Tinexta infocert in vendita su un noto forum. Secondo il venditore, il DB contiene: ▪️5,5 milioni di record; ▪️1,1 milioni di numeri di telefono; ▪️2,5 milioni di indirizzi email; Nel sample pubblicato, anche nomi e cognomi e codici fiscali. Cc/ Garante Privacy

For those who care about sensible comparisons, below is the adjusted World Bank data on per-capita GDP growth, both rebased and absolute. There's a gap to close for the UK/EU vs the US, but the relative growth has been comparable over the past 30 years.

La stampa nazionale ha fatto a gara per veicolare la notizia (non la troverete da nessuna parte). Nel mentre, il comunicato ufficiale di Tinexta infocert 🔗 promo.infocert.it/comunicazione-…

Our second paper with fouche and Niccolò on my PhD topic is out on arXiv! arxiv.org/abs/2504.11225 We take the directed type theory and dinaturality story of our previous paper to make a more coherent (and simpler) story for the community interested in doctrines and rewriting.