https://bsky.app/profile/andreypopp.bsky.socialhttps://bsky.app/profile/andreypopp.bsky.social/post/3mavhebzoic23Tried an OCaml compiler branch with modular explicits (soon to be merged?) and polymorphic arguments (already merged) and it feels sooo good (where it’s needed).26 Dec 2025 14:01 +0000at://did:plc:i7e7ov5e24jf6b4pdolnpijb/app.bsky.feed.post/3mavhebzoic23https://bsky.app/profile/andreypopp.bsky.social/post/3lc23evh4dc2gPlayed with anthropic's modelcontextprotocol.io — made a simple server exposing neovim to claude desktop I think right now now only Tools are supported more or less ok in the Claude. Otherwise the UX is very rough...28 Nov 2024 22:09 +0000at://did:plc:i7e7ov5e24jf6b4pdolnpijb/app.bsky.feed.post/3lc23evh4dc2ghttps://bsky.app/profile/andreypopp.bsky.social/post/3lbymdshjvc27Best language for #adventofcode is an array language: K, BQN, … Extremely concise (means easy to iterate), data friendly, forces you to write fast code.28 Nov 2024 08:07 +0000at://did:plc:i7e7ov5e24jf6b4pdolnpijb/app.bsky.feed.post/3lbymdshjvc27https://bsky.app/profile/andreypopp.bsky.social/post/3lbvopien5k25🤔 [contains quote post or other embedded content]27 Nov 2024 04:12 +0000at://did:plc:i7e7ov5e24jf6b4pdolnpijb/app.bsky.feed.post/3lbvopien5k25https://bsky.app/profile/andreypopp.bsky.social/post/3lbp6v47rls26Trying out to implement a type inference algo in OCaml following the paper with Claude and some parts it gets pretty good!24 Nov 2024 14:12 +0000at://did:plc:i7e7ov5e24jf6b4pdolnpijb/app.bsky.feed.post/3lbp6v47rls26https://bsky.app/profile/andreypopp.bsky.social/post/3lbmvvepkz22rSo annoying vscode doesn't support tree-sitter parsers for syntax highlighting out of the box...23 Nov 2024 16:26 +0000at://did:plc:i7e7ov5e24jf6b4pdolnpijb/app.bsky.feed.post/3lbmvvepkz22rhttps://bsky.app/profile/andreypopp.bsky.social/post/3lbmhnm5l7k2kIt’s amazing how lack of meta programming in JS (and partly cargoculting of performance practices) puts so much focus on build systems configuration. Like most of the libs/framework come with a build system plugin of some sort. [contains quote post or other embedded content]23 Nov 2024 12:11 +0000at://did:plc:i7e7ov5e24jf6b4pdolnpijb/app.bsky.feed.post/3lbmhnm5l7k2khttps://bsky.app/profile/andreypopp.bsky.social/post/3lbm24zdcf22nA programming environment where generic functions are written in modular explicits style (modules as arguments) and then there's editor tooling which does elaboration for you when you write/edit code. Why? Typeclasses/implicits make code harder to read but are very convenient when writing code. [contains quote post or other embedded content]23 Nov 2024 08:09 +0000at://did:plc:i7e7ov5e24jf6b4pdolnpijb/app.bsky.feed.post/3lbm24zdcf22nhttps://bsky.app/profile/andreypopp.bsky.social/post/3lbk6fi7llc2iManaging systemd services on a fleet with SQL (click house-local running parallel-ssh here).22 Nov 2024 14:20 +0000at://did:plc:i7e7ov5e24jf6b4pdolnpijb/app.bsky.feed.post/3lbk6fi7llc2i