Create account Login

Recent searches

No recent searches

Search options

Only available when logged in.

101010.pl is one of the many independent Mastodon servers you can use to participate in the fediverse.

101010.pl czyli najstarszy polski serwer Mastodon. Posiadamy wpisy do 2048 znaków.

Administered by:

Krzysztof Dmowski @xaphanpl

Server stats:

510
active users

101010.pl: About Status Profiles directory Privacy policy

Mastodon: About Get the app Keyboard shortcuts View source codev4.4.0-alpha.5

#hakell

0 posts · 0 participants · 0 posts today

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Readings shared April 11, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/11-readings_shared_04-11-25 #Agda #Coq #FunctionalProgramming #Hakell #Haskell #ITP #IsabelleHOL #LeanProver #Math #Rocq #SetTheory

Vestigium · Apr 11Readings shared April 11, 2025The readings shared in Bluesky on 11 April 2025 are Code generation via meta-programming in dependently typed proof assistants. ~ Mathis Bouverot-Dupuis, Yannick Forster. #ITP #Agda #Rocq #LeanProver

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Refactoring strings in GHC. ~ Brandon Chinn. https://brandonchinn178.github.io/posts/2025/04/06/ghc-string-refactor/ #Hakell #FunctionalProgramming

brandonchinn178.github.ioRefactoring strings in GHC - Brandon ChinnBrandon Chinn's personal website

Explore Live feeds

Mastodon is the best way to keep up with what's happening.

Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.

Create account Login

Drag & drop to upload