Andrey Popp
@andreypopp.bsky.social
Reposted by Andrey Popp
I'm writing a fun little text editor in C and vulkan!
Like vim, it's modal. But there is no concept of a cursor in normal mode, only a selection. You can switch the selection "granularity" with h and l, then move the selection with j and k.
And ofc there are a ton more hotkeys for selection manip.
Like vim, it's modal. But there is no concept of a cursor in normal mode, only a selection. You can switch the selection "granularity" with h and l, then move the selection with j and k.
And ofc there are a ton more hotkeys for selection manip.
January 1, 2025 at 10:31 PM
I'm writing a fun little text editor in C and vulkan!
Like vim, it's modal. But there is no concept of a cursor in normal mode, only a selection. You can switch the selection "granularity" with h and l, then move the selection with j and k.
And ofc there are a ton more hotkeys for selection manip.
Like vim, it's modal. But there is no concept of a cursor in normal mode, only a selection. You can switch the selection "granularity" with h and l, then move the selection with j and k.
And ofc there are a ton more hotkeys for selection manip.
Played 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...
I think right now now only Tools are supported more or less ok in the Claude. Otherwise the UX is very rough...
November 28, 2024 at 10:09 PM
Played 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...
I think right now now only Tools are supported more or less ok in the Claude. Otherwise the UX is very rough...
Best language for #adventofcode is an array language: K, BQN, …
Extremely concise (means easy to iterate), data friendly, forces you to write fast code.
Extremely concise (means easy to iterate), data friendly, forces you to write fast code.
November 28, 2024 at 8:07 AM
Best language for #adventofcode is an array language: K, BQN, …
Extremely concise (means easy to iterate), data friendly, forces you to write fast code.
Extremely concise (means easy to iterate), data friendly, forces you to write fast code.
Reposted by Andrey Popp
The paper on data-race-free OCaml is out! If you want to learn more about the zoo of new mode axes (contention, uniqueness, portability, ...) and cool new abstractions like capsules, it's all there!
iris-project.org/pdfs/2025-po...
iris-project.org/pdfs/2025-po...
iris-project.org
November 24, 2024 at 4:02 PM
The paper on data-race-free OCaml is out! If you want to learn more about the zoo of new mode axes (contention, uniqueness, portability, ...) and cool new abstractions like capsules, it's all there!
iris-project.org/pdfs/2025-po...
iris-project.org/pdfs/2025-po...
Trying out to implement a type inference algo in OCaml following the paper with Claude and some parts it gets pretty good!
November 24, 2024 at 2:12 PM
Trying out to implement a type inference algo in OCaml following the paper with Claude and some parts it gets pretty good!
So annoying vscode doesn't support tree-sitter parsers for syntax highlighting out of the box...
November 23, 2024 at 4:26 PM
So annoying vscode doesn't support tree-sitter parsers for syntax highlighting out of the box...
It’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.
November 23, 2024 at 12:11 PM
It’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.
A 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.
I think we’re pretty good without type classes, and the advantages of derivation for real world use cases aren’t so general that a deriving Foldable makes so much sense.
Give me deriving serde, error, debug, and I’m okay with having to pull the function explicitly from the module.
User.debug user
Give me deriving serde, error, debug, and I’m okay with having to pull the function explicitly from the module.
User.debug user
November 23, 2024 at 8:09 AM
A 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.
Managing systemd services on a fleet with SQL (click house-local running parallel-ssh here).
November 22, 2024 at 2:20 PM
Managing systemd services on a fleet with SQL (click house-local running parallel-ssh here).