Posts Hashtags News People

Sign in Create account

#dafny — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #dafny, aggregated by home.social.

José A. Alonso @[email protected] · 2024-11-30 · 07:11 UTC

Readings shared November 29, 2024. https://jaalonso.github.io/vestigium/posts/2024/11/29-readings_shared_11-29-24 #ITP #Lean4 #IsabelleHOL #Logic #Math #Calculemus #MachineLearning #LLMs #AIMO #AlphaProof #AlphaGeometry #Haskell #FunctionalProgramming #Programming #FormalVerification #Dafny

#dafny #formalverification #programming #functionalprogramming #haskell #alphageometry

Trending hashtags

See all

#esc 631
#breakfasttvshows 544
#disheveledsongsorpoems 389
#snowbirdsgoinghomeamovie 293
#jukeboxfridaynight 171
#daretobedifferent 164
#vatertag 152
#fensterfreitag 151
#musiquinta 117
#meermittwoch 116

Trending news

See all

Software Developers Say AI Is Rotting Their Brains 404 Media
Signal warns it would pull out of Canada if made to comply with lawful access bill The Globe and Mail
Nearly 50,000 Lake Tahoe residents have to find a new power source after their energy source looks to redirect lines to data centers Fortune
This AI data center will be bigger than 2,000 Walmarts and dump '23 atom bombs worth of energy' into the environment every day — and locals are terrified Yahoo News
In a Big Move to Linux Security, Debian Makes Reproducible Builds Mandatory It's FOSS

© home.social · Real-time discovery for the Fediverse. sitemap Public posts only — we honor #noindex and discoverable=false.