Abhinav 🌏
LightNews LightNews
banner
abnv.me
Abhinav 🌏
@abnv.me
37 followers 4 following 120 posts
Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.

If you want to follow […]

🌉 bridged from ⁂ https://fantastic.earth/@abnv, follow @ap.brid.gy to interact
Posts Replies Media Videos
abnv.me
Gave my aging #mechanicalkeyboard a makeover by changing keycaps. The mix of colors looks pretty cool.
photo of a mechanical keyboard with white, black, light and dark green keycaps.
November 15, 2025 at 7:14 AM
abnv.me
An earnest #sunset #photography
silhouette of a couple against the evening sky, standing in an open field watching the sunset.
November 15, 2025 at 5:29 AM
abnv.me
Right time #photography #silentsunday
photo of the blue sky above branches of a tree
November 2, 2025 at 7:50 AM
abnv.me
The baby woke us super early today, and we saw this super #rainbow at sunrise! #photography
A large rainbow seen at sunrise.
October 11, 2025 at 12:57 AM
abnv.me
Where are the controls for this game? #photography
photo of a wall mural that is the dinosaur game you can play in Google Chrome browser at chrome://dino
October 7, 2025 at 7:31 AM
abnv.me
Great turnout at the #indieweb Club #bangalore today, and great output too! #blogging
A screenshot of titles of the blog posts written by the members of IndieWebClub Bangalore today.
October 4, 2025 at 3:24 PM
abnv.me
Wrote some JavaScript code to customize #miniflux #feedreader to automatically sort articles by similarity. Now I can read similar articles one after another easily.
A screenshot of Miniflux feed reader showing articles sorted by similarity.
September 28, 2025 at 1:05 PM
abnv.me
The irony!
A screenshot of my Miniflux feed reader showing that the feed for the Open RSS openrss.org website is inaccessible. The error message says: "Access to this website is forbidden. Perhaps, this website has a bot protection mechanism?"
September 25, 2025 at 2:22 PM
abnv.me
I've got to learn this "weird French programming language that no other company uses" used by this one company named Jane Street so that no other companies will hire their employees. #ocaml
Screenshot of a YouTube video that claims that Jane Street uses "a weird French programming language that no other company uses" so that no other companies will hire their employees.
July 27, 2025 at 4:29 AM
abnv.me
https://stic.earth is a collection of privacy-respecting, self-hosted applications and services, which includes https://fantastic.earth, my server. It currently runs these services:

- #mastodon (Microblogging)
- #pixelfed (Image posting)
- #bookwyrm (Book […]

[Original post on fantastic.earth]
A screenshot showing the list of services offered by stic.earth.
July 25, 2025 at 2:34 PM
abnv.me
Completed my double trio of #mechanicalkeyboards: from top to bottom: brown, red and blue keys; small, medium and large layouts; Ducky mini one, Keychron K2 and Filco majestouch.
photo of three mechanical keyboards taken from the top. from top to bottom: brown, red and blue keys; small, medium and large layouts.
June 12, 2025 at 11:22 AM
abnv.me
SOMEBODY STOP ME! #mechanicalkeyboards
Photo of a many mechanical keyboard kept in two lines on a bench, taken in a keyboard shop.
June 5, 2025 at 1:57 PM
abnv.me
#nixos ruins another relationship
Screenshot of a Reddit post: r/AmIOverreacting Mundane-Rooster-7286 AIO. My bf developed an addiction ❄️ and I’m considering leaving
June 1, 2025 at 2:31 AM
abnv.me
It is a good day to unleash the agent of chaos. #haskell #programming
Screenshot of the documentation of the Haskell function accursedUnutterablePerformIO: accursedUnutterablePerformIO :: IO a -> a This "function" has a superficial similarity to unsafePerformIO but it is in fact a malevolent agent of chaos. It unpicks the seams of reality (and the IO monad) so that the normal rules no longer apply. It lulls you into thinking it is reasonable, but when you are not looking it stabs you in the back and aliases all of your mutable buffers. The carcass of many a seasoned Haskell programmer lie strewn at its feet. Witness the trail of destruction: https://github.com/haskell/bytestring/commit/71c4b438c675aa360c79d79acc9a491e7bbc26e7 https://github.com/haskell/bytestring/commit/210c656390ae617d9ee3b8bcff5c88dd17cef8da https://github.com/haskell/aeson/commit/720b857e2e0acf2edc4f5512f2b217a89449a89d https://ghc.haskell.org/trac/ghc/ticket/3486 https://ghc.haskell.org/trac/ghc/ticket/3487 https://ghc.haskell.org/trac/ghc/ticket/7270 https://gitlab.haskell.org/ghc/ghc/-/issues/22204 Do not talk about "safe"! You do not know what is safe! Yield not to its blasphemous call! Flee traveller! Flee or you will be corrupted and devoured!
May 28, 2025 at 5:34 AM
abnv.me
#pocket is dying so it's appropriate to talk about the minimal #readlater service I wrote for myself: LinkFodder.

You can save links via an API, or a form, or a Telegram bot, and you get an HTML page (shown below) and an Atom #feed. That’s it.

Supports […]

[Original post on fantastic.earth]
Screenshot of Linkfodder page for me. Shows number of links saved, time for last update, and two latest links. Also shows a form to save URLs, and a link to a feed of links.
May 23, 2025 at 7:09 AM
abnv.me
When you delete the deprecated function but forget to removed the deprecation comment:

#signs #programming #meme
photo of a notice pasted on a wall above where a now removed urinal used to be: Notice Not in use
April 6, 2025 at 10:01 AM
abnv.me
This is my 500th original post on #fediverse 🎉

I've been on #mastodon for 2 years, 3 months, and 16 days now, and I love it here!

To celebrate this occasion, I've created a pie chart of the #hashtags I've used in my posts (with at least two occurances) […]

[Original post on fantastic.earth]
A pie chart of tags. Top ten tags are: programming haskell mastodon nixos adventofcode blog functionalprogramming running programminglanguages nix
February 27, 2025 at 3:19 PM
abnv.me
Comparing the chart of Monad tutorials by year[1] with the Gartner hype cycle graph, it seems like we are almost at the Peak of Inflated Expectations now.

1]: From the list of Monad tutorials ([https://wiki.haskell.org/Monad_tutorials_timeline).

In my […]

[Original post on fantastic.earth]
A line chart showing number of Monad tutorials published yearly from 1990 to 2023. The number grows slowly at the beginning, then rises sharply starting 2015, then seems to plateau around 2022. The graph of the Gartner Hype Cycle.
February 22, 2025 at 2:30 PM
abnv.me
https://fantastic.earth is growing, literally. After running on a small 4 GB server for two years, we have recently migrated to a 64 GB server. Now we can host even more services for our members. We currently run these services:

- #mastodon (Microblogging) […]

[Original post on fantastic.earth]
A table showing data received and sent yearly by the fantastic.earth server for 2022–25: year rx tx total 2022 351.55 GiB 75.60 GiB 427.15 GiB 2023 5.93 TiB 6.99 TiB 12.92 TiB 2024 5.81 TiB 8.07 TiB 13.88 TiB 2025 536.84 GiB 1.06 TiB 1.59 TiB 2025 estimated 5.72 TiB 11.62 TiB 17.34 TiB
February 10, 2025 at 5:31 AM
abnv.me
After seven years of meticulously formatting and aligning all the source code of my #haskell static site generator by hand, I finally moved to an auto-formatter today (Ormolu).
Screenshot of the summary of a git commit that says: Reformats Haskell code 66 changed files with 3201 additions and 2845 deletions
January 25, 2025 at 11:37 AM
abnv.me
I analysed the #mastodon posts I've made over the last 2+ years for the clients I've been using, and created some charts.

The first one is the pie chart of the post count by clients. @ivory for Mac is the winner here, with 30% posts made using it. @phanpy […]

[Original post on fantastic.earth]
pie chart of the post count by Mastodon clients the Mastodon post count split by clients over time
January 5, 2025 at 7:01 AM
abnv.me
I have been using #miniflux as my feed reader for a couple of years now. It is intentionally minimalistic, and hence it lacks certain features. One thing that I sorely miss is the capability to sort the feed entries by various criteria like entry reading […]

[Original post on fantastic.earth]
Screenshot of the customized Miniflux reader web app showing a dropdown of sorting options
January 4, 2025 at 10:39 AM
abnv.me
I've completed Part One of "Warehouse Woes" - Day 15 - Advent of Code 2024 #adventofcode https://adventofcode.com/2024/day/15.

See my #haskell solution at https://github.com/abhin4v/AoC24/blob/main/app/Day15.hs.

It was fun to visualize the bot movement […]

[Original post on fantastic.earth]
December 21, 2024 at 6:24 AM
abnv.me
[Discussion of the solution OR A tale of two Tries]

The solution is just 10 lines of code.

As many others would have, I solved the first part using regular expressions. But the second part requires us to enumerate all possibles matches, and regular […]

[Original post on fantastic.earth]
Haskell code: main :: IO () main = AoC.main solvePart1 solvePart2 $ \input -> let (stripes : _ : patterns) = lines input in (BS.pack stripes & BS.split ',' & map (BS.strip >>> (,())) & Trie.fromList, patterns) where solvePart1 (t, patterns) = patterns & filter (countCombs t >>> (/= 0)) & length solvePart2 (t, patterns) = patterns & map (countCombs t) & sum countCombs t = memoFix $ \f pattern -> case pattern of [] -> 1 _ -> pattern & BS.pack & Trie.matches t & map (thd3 >>> BS.unpack >>> f) & sum
December 19, 2024 at 3:23 PM
abnv.me
[Discussion of the solution]

I initially thought that I could solve this day with AStar search algorithm, and I did use it to solve the first part. However, it was too slow for the second part, the goal being just too far.

Fortunately, the linear library […]

[Original post on fantastic.earth]
Haskell code: main :: IO () main = AoC.main solvePart1 solvePart2 parse where solvePart1 = sum . mapMaybe solveAStar solvePart2 = sum . mapMaybe (solveLinear . (\(Machine a b p) -> Machine a b (p + 10000000000000))) data Machine = Machine !(V2 Integer) !(V2 Integer) !(V2 Integer) deriving (Show) parse :: String -> [Machine] parse input = case P.readP_to_S (P.sepBy1 machine newline <* P.eof) input of [(parsed, "")] -> parsed xs -> error $ "No parse: " <> show xs where machine = Machine <$> (move 'A' <* newline) <*> (move 'B' <* newline) <*> (prize <* newline) move c = V2 <$> (P.string "Button " *> P.char c *> P.string ": X+" *> digits) <*> (P.string ", Y+" *> digits) prize = V2 <$> (P.string "Prize: X=" *> digits <* P.string ", Y=") <*> digits digits = read <$> P.readS_to_P lexDigits newline = P.char '\n' solveAStar :: Machine -> Maybe Int solveAStar (Machine a b prize) = fmap fst . flip (astar (V2 0 0) prize) (const 400) $ \cur -> if cur < prize then [(cur + a, 3), (cur + b, 1)] else [] solveLinear :: Machine -> Maybe Int solveLinear (Machine a b prize) = let V2 (V1 aMoves) (V1 bMoves) = inv22 (transpose $ fmap fromIntegral <$> V2 a b) !*! transpose (V1 $ fromIntegral <$> prize) in if isPositiveInteger aMoves && isPositiveInteger bMoves then Just $ round $ 3 * aMoves + bMoves else Nothing where isPositiveInteger x = x > 0 && denominator (approxRational x 0.0001) == 1
December 14, 2024 at 5:16 AM