mastouille.fr: À propos · Annuaire des profils · Politique de confidentialité
Mastodon: À propos · Télécharger l’application · Raccourcis clavier · Voir le code source · v4.3.4
Inequality Union Finds: Baby Steps to Refinement E-graphs by @sandmouth https://lobste.rs/s/wahapd #formalmethods #plt
https://www.philipzucker.com/le_find/
Telescopes Are Tries: A Dependent Type Shellac on SQLite by @sandmouth https://lobste.rs/s/u6xhiw #databases #formalmethods #plt
https://www.philipzucker.com/telescope_tries/
Mastodon est le meilleur moyen de suivre ce qui se passe.
Suivez n'importe qui à travers le fédivers et affichez tout dans un ordre chronologique. Ni algorithmes, ni publicités, ni appâts à clics en perspective.
Créer un compteSe connecter