Gorgi Kosev's Avatar

Gorgi Kosev

@spiun

Fullstack software person. ex-Apple. Prefer insightful discussion over debate. Rust, TypeScript, localfirst, SolidJS, devops, keto, stats/science, audio/DSP.

96
Followers
244
Following
45
Posts
20.02.2024
Joined
Posts Following

Latest posts by Gorgi Kosev @spiun

I increasing believe that in these early days of agentic coding frenzy, the highest impact thing you can build is tooling around testing, lightweight formal methods, or fuzzing: anything that makes verification easier.

Seriously, there's never been a better time to learn stateful property testing.

10.02.2026 21:36 ๐Ÿ‘ 101 ๐Ÿ” 8 ๐Ÿ’ฌ 5 ๐Ÿ“Œ 3

for personal projects, have you tried building ~/CLAUDE.md ? I had claude interview me and I explained a lot of what I like to see in a coding style, and so far even my first attempt makes the code / design produced much easier for me to read.

03.02.2026 01:14 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

(Here I mean their approach to durable workflows)

04.11.2025 00:03 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I like Effect's approach, which is to build the actual code that needs to happen. The missing step here is building out the language to then better support the set of features necessary for this type of work.

03.11.2025 21:20 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

you { position: absolute; float:right }

19.10.2025 18:16 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Get help for your symptoms - NHS 111

The sad truth is that NHS is beyond overloaded. The one system that I think still has a very good funneling and turnaround is the NHS 111 (111.nhs.uk). They are able to assess urgency very well and can even get you an earlier appointment at your own GP

19.09.2025 23:58 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I think they're processing requests manually, and its no fun to get to thousands of requests the next morning.

Additionally, I know that some London GPs close their booking as soon as a fixed number of slots fill up for the day, so it stops being available at like 9:30am

19.09.2025 23:55 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

since the ultimate goal is to follow a constrained task successfully witout being supervised, pen-and-paper is definitely on my todo list of base tools available to try and achieve this with.

15.06.2025 12:21 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

yaml is not ideal but it provides the "broadest" way of defining this (any shell, any commands). my plan is add tool discovery next where any script could expose the tools it provides

15.06.2025 12:15 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

the idea is that you can map any shell script into a tool and give those to the LLM via a config file, sort of like the YAML you'd use to define CI tasks. (You could, in theory, also let it run another llmcli with a different config file)

15.06.2025 12:14 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Preview
GitHub - spion/llmcli: A command-line tool for using LLMs and making sure cli tools are made available to them in a controlled, programmable way. A command-line tool for using LLMs and making sure cli tools are made available to them in a controlled, programmable way. - spion/llmcli

I'm working on a project that makes it really easy to experiment with (more constrained) LLM tools github.com/spion/llmcli which in theory should help with unsupervised tasks

15.06.2025 12:13 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Cursor chat I presume?

28.03.2025 18:14 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Video thumbnail

GIMP 3.0 is finally here ๐Ÿฅน

@itsthatladydev.bsky.social has the details in this episode of The Download โฌ‡๏ธ
youtu.be/hhCMggZXQYU

28.03.2025 17:54 ๐Ÿ‘ 433 ๐Ÿ” 47 ๐Ÿ’ฌ 25 ๐Ÿ“Œ 8

Interactive charts with d3js (although I doubt many bloggers are that ambitious with their articles)

11.03.2025 01:25 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

omg

07.02.2025 21:12 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
Parametric Subtyping for Structural Parametric Polymorphism Recursive types, generics (sometimes called parametric polymorphism), and subtyping are all essential features for modern programming languages across numerous paradigms. However, structural subtypโ€ฆ

Generics, recursive types, and structural subtyping are all features that many modern languages want, but their combination can quickly get unwieldy. A POPL Distinguished Paper from last year distilled a decidable type system that combines all three. blog.sigplan.org/2025/01/29/p...

29.01.2025 16:22 ๐Ÿ‘ 9 ๐Ÿ” 2 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I'm not saying don't do new languages at all - but lets just respect some language design basics and not make it weird ๐Ÿ˜…

29.01.2025 23:33 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

JSX is still a different language, although made to fit much better with the original language (i.e. JSX itself is a first-class value that can be assigned to a binding, passed around as arguments, produced from functions, exported, improted, etc)

29.01.2025 23:29 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

it has syntax which lets you mix JS and HTML and separate them, and it accidentally also has the unobvious side-effect of early returns (so also different, unexpected semantics - the JS and HTML are not separate but integrated)

29.01.2025 23:14 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

its clearly a language too

29.01.2025 21:51 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

I don't really understand why we keep inventing additional languages with strange properties.

29.01.2025 20:21 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

IIRC classes are harder to do memoisation optimisations on, but I no longer remember the details

28.12.2024 12:51 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

There were plenty of other reasonable proposals on the hooks RFC too, class or non-class based, many of them rejected based on how much problems they would cause with the upcoming compiler.

28.12.2024 11:48 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Additional arguments to `this.use` can be passed to the constructor too.

The alternative design also wouldn't have any execution order issues or restrictions.

Of course, this design is also not in line with the direction of the react compiler, which is the main reason why it (would be) rejected.

28.12.2024 11:43 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Preview
alternative-hooks-designmd GitHub Gist: instantly share code, notes, and snippets.

Its possible to design hooks-like functionality as class methods. For example gist.github.com/spion/633335...

28.12.2024 11:39 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0

You can kinda do this with React too, especially with state denormalisation and with the compiler, but its still quite tedious. So far, a nicely ergonomic framework for this hasn't really emerged; RTK with Immer comes close though. (self-note: I should experiment more with this combination)

28.12.2024 02:05 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

examples would be rich text editors, vector graphic editors and any apps where interaction driven large-graph state changes need to be able to happen at ~60fps

28.12.2024 02:00 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

My prediction for React is that its going to continue to off-load managing state as much as possible. RSC made that very clear. For offline-first apps projects like replicache might give it a boost. But for very rich, highly interactive UIs, signal based frameworks will slowly start to punch through

28.12.2024 01:57 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

And to be honest, if its just those two it may've been fine... but there is also useEffect ๐Ÿ˜…

28.12.2024 01:52 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I've not had any issues with signal type safety in Solid (including For and Switch). What issues did you encounter?

28.12.2024 01:46 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0