Solving Advent Of Code on FPGAs with Haskell Clash
https://midirus.com/blog/advent-of-fpga
#Haskell #FPGA #Programming
Fast Haskell Scripts on GitHub Actions by @abnv@fantastic.earth https://lobste.rs/s/guqk6b #haskell #nix
https://abhinavsarkar.net/posts/fast-haskell-scripts-on-github-actions/
LinuxNews.de
@linuxnews@social.anoxinon.de
Nachrichtenseite für Linux, Freie Softwarew und Open Source. News und Artikel für Desktop und Enterprise.
social.anoxinon.de
Pandoc feiert 20-jähriges Jubiläum
https://linuxnews.de/pandoc-feiert-20-jaehriges-jubilaeum/ #pandoc #haskell #linux #linuxnews
"Five-Point Haskell": Unconditional Election via Parametricity via @abnv@fantastic.earth https://lobste.rs/s/zyb2pm #haskell
https://blog.jle.im/entry/five-point-haskell-part-2-unconditional-election.html
A Revised Haskell 2010 Language Report https://lobste.rs/s/illv4o #haskell
https://blog.haskell.org/revised-haskell-2010-report/
Twenty Years of Pandoc via @eh@functional.cafe https://lobste.rs/s/blflqs #haskell #historical
https://pandoc.org/twenty-years-of-pandoc.html
Abhinav 🧭
@abnv@fantastic.earth
Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google on http://github.com/google/googlesql. Helps run IndieWebClub Bangalore https://blr.indiewebclub.org. Administrators https://stic.earth. If you want to follow me, please make sure your profile has some info that helps me learn about you. #programminglanguages #software #running #Haskell #NixOS #photography #quantifiedself #indieweb #rss #blogging
fantastic.earth
Abhinav 🧭
@abnv@fantastic.earth
Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google on http://github.com/google/googlesql. Helps run IndieWebClub Bangalore https://blr.indiewebclub.org. Administrators https://stic.earth. If you want to follow me, please make sure your profile has some info that helps me learn about you. #programminglanguages #software #running #Haskell #NixOS #photography #quantifiedself #indieweb #rss #blogging
fantastic.earth
I've collected 200 links to great #haskell articles on my linkblog now: https://abhinavsarkar.net/linkblog/haskell/
#linkblogging
Digital circuit simulator in Haskell https://lobste.rs/s/bgxanw #haskell
https://entropicthoughts.com/sicp-3-3-digital-circuit-simulator-in-haskell
Digital circuit simulator in Haskell
https://entropicthoughts.com/sicp-3-3-digital-circuit-simulator-in-haskell
#Haskell #Programming #OpenSource
Functional Programming India
@fpindia.bsky.social@bsky.brid.gy
Uniting Functional Programming Language enthusiasts across India. Zulip: zulip.functionalprogramming.in Telegram: t.me/fpncr Web: functionalprogramming.in 🌉 bridged from 🦋 fpindia.bsky.social, follow @bsky.brid.gy to interact
bsky.brid.gy
Reminder folks - #FPIndia #Bangalore #Meetup this weekend. Sat 1st Aug, 11AM - 1PM.
We have two great talks lined up around #FunctionalProgramming, #Haskell, and #FormalMethods.
We have very limited seating, so please RSVP if you are coming - luma.com/zjekrlft
Functional Programming India B...
Existentials on a Leash https://lobste.rs/s/ncpthq #compsci #haskell #plt
https://cdfa.github.io/existentials-on-a-leash
LLMs Will Cheese Your Types: Fighting Back in Haskell via @abnv@fantastic.earth https://lobste.rs/s/1uwkwc #haskell #vibecoding
https://blog.jle.im/entry/llms-and-haskell-1-constraint-evading-behavior.html
Type Safe Servant Auth Roles https://lobste.rs/s/wxq96p #api #haskell
https://blog.cofree.coffee/2026-07-20-servant-auth-roles/
Type Safe Servant Auth Roles
https://blog.cofree.coffee/2026-07-20-servant-auth-roles/
#Haskell #Programming #APIs
Abhinav 🧭
@abnv@fantastic.earth
Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google on http://github.com/google/googlesql. Helps run IndieWebClub Bangalore https://blr.indiewebclub.org. Administrators https://stic.earth. If you want to follow me, please make sure your profile has some info that helps me learn about you. #programminglanguages #software #running #Haskell #NixOS #photography #quantifiedself #indieweb #rss #blogging
fantastic.earth
Folks, I've done it again. I've created a new static-site generator. Actually an #SSG starter that I extracted from my website's SSG so that I can use it to build new blogs for my other projects without being bogged down with the details specific to my website. If any of you fancy writing your own SSG in #Haskell, give it a go: https://abhin4v.github.io/shake-blog/
Shake Blog is meant to be forked and extended. It comes with a basic set of features: posts, pages, tags, archive and feed, which may be enough for you. But the main idea is to understand it and extend it for your website according to your requirements and taste.
It uses #Shake, #Pandoc and #Mustache beneath, and comes with dark mode and code highlighting support. It includes a Github Action to build and publish your blog directly on Github pages with zero friction.
Try it out and let me know. Boost to make me famous.
#programming #blogging
GHC Status Report https://lobste.rs/s/uqqzei #video #haskell
https://www.youtube.com/watch?v=6bDQwW5GlnU