home.social

#σ — Public Fediverse posts

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

  1. Hacker News @[email protected] ·

    Verified Dynamic Programming with Σ-types in Lean

    tannerduve.github.io/blog/memo

    #HackerNews #Verified #Dynamic #Programming #Σ-types #Lean #DynamicProgramming #LeanLang

    #hackernews #verified #dynamic #programming #σ #lean
  2. Ralph is verhuisd @[email protected] ·

    Hierdoor heb ik het spelletje "wiskundeleraar" toch wel uitgespeeld 🤣
    #sigma #Σ

    #sigma #σ