Went for a #run after months. It was fun.
Remote
Abhinav 🧭
@abnv@fantastic.earth
mastodon 4.6.9Programming 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
523 Followers
849 Following
50 Posts
Joined November 23, 2022
Website:
Github:
Photos:
Bluesky:
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
Bookmarked: [github.com/bytexenon] Tiny-Lua-Compiler: Possibly the smallest Lua compiler ever
https://github.com/bytexenon/Tiny-Lua-Compiler
See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
I've collected 200 links to great #haskell articles on my linkblog now: https://abhinavsarkar.net/linkblog/haskell/
#linkblogging
Finally https://blr.indiewebclub.org/webring links are actually a circular chain instead of linking to random ones. The previous setup would sometimes create 0 or 1 hop loops. Now it would be great if people would actually join our #webring.
#indieweb #bangalore
Nine years after I started by website, today I wrote about how I made it: https://abhinavsarkar.net/notes/2026-making-this-website/
#blogging #indieweb
Spent more time navel gazing instead of writing actual things on my website and made:
https://abhinavsarkar.net/site-graph/
https://abhinavsarkar.net/stats/
#indieweb
How to run #NixOS Micro VMs on #MacOS
#IndieWeb club #Bangalore is on Mastodon now! Follow @blr@indieweb.social for announcements and latest #blog posts from the club members.
#IndieWeb club #Bangalore (https://blr.indiewebclub.org) is hosting a meetup this Saturday, April 4th at 2PM in Indiranagar. The agenda for the meetup is Writing Tools. We'll talk and discuss about:
- Favorite writing apps.
- Use of style checkers like LanguageTool, Grammarly, or ProWritingAid.
- Using LLMs to proofread your work.
- Editing processes.
- Proofreading workflows.
- Using outlining tools.
- Style of publishing.
- Using voice transcription to write.
- Capture writing ideas.
- Favorite keyboards, writing playlists, desk setups and more!
We’ll spend the second half of the meetup writing and publishing a piece on our personal websites. We’ll provide writing prompts to get you started.
Get your tickets at https://district.in/indiewebclub-meetup/event and bring your friends!
Bookmarked: [alperenkeles.com] What is random generation?
https://alperenkeles.com/posts/what-is-random-generation/
See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
Replying to
I asked Talkie 1930 (https://talkie-lm.com/chat) an LM trained only on data prior to 1930, translate this headline into simple words. It said: "A fever-stricken man cut a secret wallet, in order to conceal the fact of his illness, was cured of fever by injection."
Actually, that seems quite correct, metaphorically speaking.
Replying to
@swetland I've previously used generative testing to do this. I generate program ASTs of varying sizes, feed them into my compiler, execute the generated code and compare the results against a definitional interpreter. Found many tricky bugs.
Replying to
@mrc That is amazing. I don't use Jekyll but I'd love to see the code if you open source it.
New #weeknote, a day late but better than a week late: https://abhinavsarkar.net/notes/2026-weeknotes-03-29/
#blog #weeknotes
I got the perfect cab driver today. While other cabs on the road are speeding up and slowing down erratically, changing lanes hurriedly to take over each other, my dude is #driving in the middle lane at a constant speed of 50 kmph. Love it. It's sad that I rarely get such drivers.
Replying to
@msfjarvis@androiddev.social that's a nice looking keyboard. Any particular reason you went with this one?
Replying to
@RavenLuni That's a good point. I've thought about it myself. I just looked up and according to the dictionary, meteoric here means quick.
Replying to
@jnkrtech hey! I wrote about almost the same thing years ago https://abhinavsarkar.net/posts/continuation-defunctionalization/
Great mind ya?
Bookmarked: [antonz.org] Go-flavored concurrency in C
https://antonz.org/concurrency-in-c/
See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
Bookmarked: [benhoyt.com] [benhoyt.com] Optimizing GoAWK with a bytecode compiler and virtual machine
https://benhoyt.com/writings/goawk-compiler-vm/
See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
Bookmarked: [alic.dev] When Zig outshines Rust - Memory efficient enum arrays
https://alic.dev/blog/dense-enums.html
See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
Replying to
@jack would it be possible to see your source code? I'm kinda struggling to understand the paper properly.
Seems like #NixOS removed support for running x86_64-linux NixOS guests on aarch64-darwin macOS hosts in PR https://github.com/NixOS/nixpkgs/pull/535511 The PR description does not even mention this change. Not sure if it is intentional or a mistake, but this completely breaks my x86_64 Linux builders running on macOS. @raito@nixos.paris would you have any idea?
Bookmarked: [research.swtch.com] Storing Data in Control Flow
http://research.swtch.com/pcdata
See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
Bookmarked: [chrispenner.ca] ASTs with Fix and Free
https://chrispenner.ca/posts/asts-with-fix-and-free
See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
Bookmarked: [jle.im] Extreme Haskell: Typed Expression EDSLs (Part 1)
https://blog.jle.im/entry/extreme-haskell-typed-expression-edsls-1.html
See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
Bookmarked: [benkuhn.net] In defense of blub studies
https://www.benkuhn.net/blub/
See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
RE: https://mastodon.social/@lobsters/116979205271210262
This year's #ICFP contest problem is so delightful. I wish I had time to participate. I'll probably pick it up later. #programming
Quoting
I'm running the ICFP programming contest (2026) via @abnv@fantastic.earth https://lobste.rs/s/yajc8q #event #programming
https://eieio.games/blog/im-running-the-icfp-programming-contest/
Open quoted postWrote a retrospective on our (@s3thi@fantastic.earth, @tanvibhakta@mastodon.social and I) organization of the #Indieweb Club #Bangalore's mini-conference we did last month: https://abhinavsarkar.net/notes/2026-iwcb-se-retro/
#blogging
Bookmarked: [6d03.info] Intrinsically Typed ASTs
https://www.6d03.info/posts/2022-12-12-intrinsically-typed.html
See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
Bookmarked: [deadlanguagesociety.com] Why ChatGPT writes like that
https://www.deadlanguagesociety.com/p/rhetorical-analysis-ai
See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
Bookmarked: [lesleylai.info] Representing an Abstract Syntax Tree in C++: Variants
https://lesleylai.info/en/ast-in-cpp-part-1-variant/
See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
I didn't feel like writing anything so I filled a questionnaire https://abhinavsarkar.net/notes/2026-100-webmasters/
Bookmarked: [typesanitizer.com] A compiler's users (part 1)
https://typesanitizer.com/blog/a-compilers-users-p1.html
See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
Bookmarked: [haskellforall.com] Record type inference for dummies
https://haskellforall.com/2026/06/record-type-inference-for-dummies
See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
Replying to
@jack wow, exactly what I was looking for today to implement in my compiler for a JS like dynamically typed language. Thanks! Do you think it would work my non-lisp language?
Bookmarked: [iacgm.com] C? Rewrite it in Brainfuck.
https://iacgm.com/projects/c2bf/
See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
Bookmarked: [lexi-lambda.github.io] Demystifying MonadBaseControl
https://lexi-lambda.github.io/blog/2019/09/07/demystifying-monadbasecontrol/
See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
Bookmarked: [alfy.blog] How Functional Programming Shaped (and Twisted) Frontend Development
https://alfy.blog/2025/10/04/how-functional-programming-shaped-modern-frontend.html
See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
I created a page to visualise the graph of connections within my website: https://abhinavsarkar.net/site-graph/
The result was unexpected. I didn't know I had so many internal links across pages. This is after trimming down many backlinks and navigational links. Now I use this to explore my own website.
#indieweb #visualization
I still don't know what DLC means and now I'm too afraid to ask.
Bookmarked: [argumatronic.com] A Brief Guide to A Few Algebraic Structures
http://argumatronic.com//posts/2019-06-21-algebra-cheatsheet.html
See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging
