🤖robot.villas
PostsTagsStatsStatusAbout

© 2025 - 2026 Nat Welch. All rights reserved.

#haskell

221 posts

  • @lobsters Haskell: origins, evolution, and future #Haskell #Programming #FunctionalProgramming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22295724

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22295724

    Don't have an account? Find a server at joinmastodon.org

    Aug 16, 2026
  • @lobsters Serokell's Work on GHC: Dependent Types, Part 5 #Haskell #Programming #OpenSource

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22295170

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22295170

    Don't have an account? Find a server at joinmastodon.org

    Aug 15, 2026
  • @lobsters Solving Advent Of Code on FPGAs with Haskell Clash #Haskell #FPGA #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22287228

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22287228

    Don't have an account? Find a server at joinmastodon.org

    Aug 11, 2026
  • @lobsters Fast Haskell Scripts on GitHub Actions #Haskell #GitHub #Nix

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22286369

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22286369

    Don't have an account? Find a server at joinmastodon.org

    Aug 10, 2026
  • @lobsters Digital circuit simulator in Haskell #Haskell #Programming #OpenSource

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22272962

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22272962

    Don't have an account? Find a server at joinmastodon.org

    Jul 27, 2026
  • @lobsters Existentials on a Leash #Programming #Haskell #AI

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22270102

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22270102

    Don't have an account? Find a server at joinmastodon.org

    Jul 24, 2026
  • @lobsters Type Safe Servant Auth Roles #Haskell #Programming #APIs

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22265856

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22265856

    Don't have an account? Find a server at joinmastodon.org

    Jul 20, 2026
  • @lobsters Shake Blog #Tech #Haskell #OpenSource

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22264798

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22264798

    Don't have an account? Find a server at joinmastodon.org

    Jul 19, 2026
  • @chris_dones_blog Lisp compilers that compile directly to assembly #Programming #Haskell #Lisp

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/chris_dones_blog/posts/22410079

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/chris_dones_blog/posts/22410079

    Don't have an account? Find a server at joinmastodon.org

    Jul 18, 2026
  • @lobsters GHC Status Report #Haskell #Programming #Tech

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22263669

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22263669

    Don't have an account? Find a server at joinmastodon.org

    Jul 17, 2026
  • @lobsters Enterprise Haskell at H-E-B #Haskell #Programming #Enterprise

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22263594

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22263594

    Don't have an account? Find a server at joinmastodon.org

    Jul 17, 2026
  • @lobsters Unfolding trees breadth-first in Haskell (2025) #Haskell #Programming #ComputerScience

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22262799

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22262799

    Don't have an account? Find a server at joinmastodon.org

    Jul 17, 2026
  • @lobsters Data-directed programming in Haskell (SICP2.4.3) #Haskell #Programming #FunctionalProgrammingLanguages

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22257083

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22257083

    Don't have an account? Find a server at joinmastodon.org

    Jul 12, 2026
  • @lobsters After 7 years in production, Scarf has reluctantly moved away from Haskell #Haskell #Programming #SoftwareDevelopment

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22255662

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22255662

    Don't have an account? Find a server at joinmastodon.org

    Jul 10, 2026
  • @lobsters Extreme Haskell: Typed Expression EDSLs (Part 1) #Haskell #Programming #SoftwareEngineering

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22252628

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22252628

    Don't have an account? Find a server at joinmastodon.org

    Jul 8, 2026
  • @lobsters Mechanized type inference for record concatenation #Programming #TypeInference #Haskell

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22251735

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22251735

    Don't have an account? Find a server at joinmastodon.org

    Jul 7, 2026
  • @lobsters Waterfall CAD Playground - A Haskell powered programmable-CAD environment, in the browser with WASM #Haskell #CAD #WebAssembly

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22251506

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22251506

    Don't have an account? Find a server at joinmastodon.org

    Jul 7, 2026
  • @joey_hess no LLM code in dependencies #Software #Haskell #OpenSource

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/joey_hess/posts/22380930

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/joey_hess/posts/22380930

    Don't have an account? Find a server at joinmastodon.org

    Jul 2, 2026
  • @lobsters Low-level Haskell: The cursed way to emulate inline assembly in Haskell/GHC #Haskell #Programming #LowLevel

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22245462

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22245462

    Don't have an account? Find a server at joinmastodon.org

    Jul 1, 2026
  • @lobsters Diagrams for Penrose Tiles #Math #Haskell #Geometry

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22244089

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22244089

    Don't have an account? Find a server at joinmastodon.org

    Jun 30, 2026
  • @lobsters Type-checked non-empty strings #Haskell #Programming #TypeSystem

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22243239

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22243239

    Don't have an account? Find a server at joinmastodon.org

    Jun 29, 2026
  • @hackernews Type-checked non-empty strings #HackerNews #Tech #Haskell

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22242905

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22242905

    Don't have an account? Find a server at joinmastodon.org

    Jun 26, 2026
  • @lobsters [Call for Participation]: 2.5 hour Haskell Foundation Online Workshop #Haskell #Community #Workshop

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22237529

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22237529

    Don't have an account? Find a server at joinmastodon.org

    Jun 24, 2026
  • @hackernews Record type inference for dummies #HackerNews #Tech #Haskell

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22239521

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22239521

    Don't have an account? Find a server at joinmastodon.org

    Jun 23, 2026
  • @lobsters Record type inference for dummies #Programming #Haskell #TypeSystem

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22235179

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22235179

    Don't have an account? Find a server at joinmastodon.org

    Jun 23, 2026
  • @chris_dones_blog Talks #Programming #Haskell #Tech

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/chris_dones_blog/posts/22410088

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/chris_dones_blog/posts/22410088

    Don't have an account? Find a server at joinmastodon.org

    Jun 18, 2026
  • @lobsters Nix for Haskell: Static Builds #Haskell #Nix #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22232888

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22232888

    Don't have an account? Find a server at joinmastodon.org

    Jun 18, 2026
  • @lobsters Making GHC upgrades easy #Haskell #Programming #DevTools

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22231324

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22231324

    Don't have an account? Find a server at joinmastodon.org

    Jun 17, 2026
  • @hackernews Show HN: Sabela - A Reactive Notebook for Haskell #HackerNews #Tech #Haskell

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22230760

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22230760

    Don't have an account? Find a server at joinmastodon.org

    Jun 14, 2026
  • @lobsters Using Notes in the Glasgow Haskell Compiler #Haskell #Programming #DevTips

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22227116

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22227116

    Don't have an account? Find a server at joinmastodon.org

    Jun 13, 2026
  • @chris_dones_blog Meta #Programming #Haskell #Meta

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/chris_dones_blog/posts/22410099

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/chris_dones_blog/posts/22410099

    Don't have an account? Find a server at joinmastodon.org

    Jun 12, 2026
  • @chris_dones_blog Blogs #Programming #Haskell #Blogging

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/chris_dones_blog/posts/22410108

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/chris_dones_blog/posts/22410108

    Don't have an account? Find a server at joinmastodon.org

    Jun 8, 2026
  • @hackernews H2JVM - A Haskell Library for Writing JVM Bytecode #HackerNews #Tech #Haskell

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22221933

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22221933

    Don't have an account? Find a server at joinmastodon.org

    Jun 7, 2026
  • @lobsters Extension or Imitation? Can you tell the valid Haskell Language Extensions, from the Impostors? #Haskell #Programming #Dev

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22216881

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22216881

    Don't have an account? Find a server at joinmastodon.org

    Jun 4, 2026
  • @lobsters Announcing Mutation Testing in Haskell #Haskell #Programming #SoftwareDevelopment

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22216814

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22216814

    Don't have an account? Find a server at joinmastodon.org

    Jun 4, 2026
  • @hackernews Mutation Testing in Haskell #HackerNews #Tech #Haskell

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22221212

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22221212

    Don't have an account? Find a server at joinmastodon.org

    Jun 3, 2026
  • @lobsters Stealing from Biologists to Compile Haskell Faster #Haskell #Programming #OpenSource

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22214311

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22214311

    Don't have an account? Find a server at joinmastodon.org

    Jun 2, 2026
  • @lobsters H2JVM - A Haskell Library for writing JVM Bytecode #Haskell #JVM #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22213550

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22213550

    Don't have an account? Find a server at joinmastodon.org

    Jun 1, 2026
  • @lobsters Homomorphic static analysis #Programming #Haskell #Analysis

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22213049

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22213049

    Don't have an account? Find a server at joinmastodon.org

    May 31, 2026
  • @lobsters Data types à la carte #Programming #Haskell #FunctionalProgramming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22212419

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22212419

    Don't have an account? Find a server at joinmastodon.org

    May 30, 2026
« NewerOlder »