Paolo Brasolin

[Paolo Brasolin @paolobrasolin]

@yegor256 There seems to be an effort to recover it at https://t.co/sc7vY9QE0J; if it's of any use i also wrote my own https://t.co/rJbQMIBgkt and perhaps this would be good timing to freshen it up.

[Andrea Laretto @iwilare]

Our second paper with @ququ7 and Niccolò on my PhD topic is out on arXiv!

https://t.co/D5kGnwaorH

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.

[Stefano Gogioso @StefanoGogioso]

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.

[prof-g @prof_g]

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/

[Stefania Spina @sspina]

Just out on @JournalCorpus our paper on lexical innovation, with @GretaFranzini from @EuracLing and @paolobrasolin.

https://t.co/iaqrd9LIFy

[RacheleSprugnoli - @[email protected] @RSprugnoli]

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”
https://t.co/ixMWjoNj4H

[Andrea Laretto @iwilare]

Our first paper with @ququ7 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!

[NixOS @nixos_org]

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

[Raffaella Bottini @RaffaBottini]

Between order and disorder in linguistic complexity❗️ ⁦@AriannaBienati⁩ and ⁦@paolobrasolin⁩ presenting new indices of lexical complexity ⁦@EuroSLA⁩

[Richard McElreath 🐈‍⬛ @rlmcelreath]

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

[Tom 7 @tom7]

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.)

https://t.co/Ot4ZH5PSXn

[Ana Burgos Ruiz @Ana_BurgosRuiz]

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

[Paolo Brasolin @paolobrasolin]

@mattgoldenberg boiling water 🙏

[NixOS @nixos_org]

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: https://t.co/cukjGmKa6Y

[Paolo Brasolin @paolobrasolin]

@tangled_zans Honest question: *which* industry exactly? It sounds like one I'd really like to work in.

[Paolo Brasolin @paolobrasolin]

@anonymousanjaru @StefanoGogioso I sent you a DM so we don't spoil the riddle. :)

[Paolo Brasolin @paolobrasolin]

@VictorTaelin welp, this is quite finicky. pretty fun, though! https://t.co/g7YWbrfG2E