Martin Janiczek
@janiczek.cz
Functional programming / Making a browser game NuAshworld / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
My notes after their first encounter with reality
November 28, 2025 at 8:45 PM
My notes after their first encounter with reality
my preparations for a Christmas concert. just need to find out the verse/chorus/... arrangements and I can typeset this
November 28, 2025 at 2:50 PM
my preparations for a Christmas concert. just need to find out the verse/chorus/... arrangements and I can typeset this
At this point I'm absolutely convinced this is a HN inside joke / shibboleth.
November 25, 2025 at 9:35 PM
At this point I'm absolutely convinced this is a HN inside joke / shibboleth.
I'm going with the Python one, and I'm very VERY impressed with the robot. I didn't expect to have a working interpreter tonight. I might be able to finish that Advent of Code puzzle in AWK after all 😱
November 20, 2025 at 9:30 PM
I'm going with the Python one, and I'm very VERY impressed with the robot. I didn't expect to have a working interpreter tonight. I might be able to finish that Advent of Code puzzle in AWK after all 😱
You know what, might be as good a time as any to find out how good LLMs are at compilers.
November 20, 2025 at 7:02 PM
You know what, might be as good a time as any to find out how good LLMs are at compilers.
Current status. Buttons: implemented! Killing processes: implemented! (JS generators are awesome.)
November 16, 2025 at 1:06 PM
Current status. Buttons: implemented! Killing processes: implemented! (JS generators are awesome.)
Huh, I got one with a different cover. Nice!
November 16, 2025 at 12:04 AM
Huh, I got one with a different cover. Nice!
Progress has been good!
Last few things to plumb together, a nicer button style to implement, letting the user spawn the rust counter from within the UI... It's all coming together!
Last few things to plumb together, a nicer button style to implement, letting the user spawn the rust counter from within the UI... It's all coming together!
November 15, 2025 at 11:36 PM
Progress has been good!
Last few things to plumb together, a nicer button style to implement, letting the user spawn the rust counter from within the UI... It's all coming together!
Last few things to plumb together, a nicer button style to implement, letting the user spawn the rust counter from within the UI... It's all coming together!
This is kinda my plan right now. I've got a Rust and C++ child program examples up and running and sending messages to each other.
No VDOM sending to the renderer yet... Defining the view interface and using it is next up :) Probably the useful subset of CSS:
{t:"row",a:{alignItems:"center"},c:[]}
No VDOM sending to the renderer yet... Defining the view interface and using it is next up :) Probably the useful subset of CSS:
{t:"row",a:{alignItems:"center"},c:[]}
November 15, 2025 at 6:35 PM
This is kinda my plan right now. I've got a Rust and C++ child program examples up and running and sending messages to each other.
No VDOM sending to the renderer yet... Defining the view interface and using it is next up :) Probably the useful subset of CSS:
{t:"row",a:{alignItems:"center"},c:[]}
No VDOM sending to the renderer yet... Defining the view interface and using it is next up :) Probably the useful subset of CSS:
{t:"row",a:{alignItems:"center"},c:[]}
The window manager behaviours are fun to tinker on :)
November 13, 2025 at 7:51 PM
The window manager behaviours are fun to tinker on :)
Good news guys, my son likes amber displays as much as I do
November 12, 2025 at 7:37 PM
Good news guys, my son likes amber displays as much as I do
elm-book by @georgesboris.com is as awesome to use as ever. I've missed it 😁
November 12, 2025 at 12:07 AM
elm-book by @georgesboris.com is as awesome to use as ever. I've missed it 😁
@antirez.bsky.social's C course is the first time I'm seeing YouTube auto-dubbing: www.youtube.com/watch?v=-1Zh...
I'm not sure how I feel about it, but it probably is a net positive due to being able to consume that content in English?
Still prefer original audio with English auto-subtitles though
I'm not sure how I feel about it, but it probably is a net positive due to being able to consume that content in English?
Still prefer original audio with English auto-subtitles though
November 10, 2025 at 5:14 PM
@antirez.bsky.social's C course is the first time I'm seeing YouTube auto-dubbing: www.youtube.com/watch?v=-1Zh...
I'm not sure how I feel about it, but it probably is a net positive due to being able to consume that content in English?
Still prefer original audio with English auto-subtitles though
I'm not sure how I feel about it, but it probably is a net positive due to being able to consume that content in English?
Still prefer original audio with English auto-subtitles though
Turns out spending two days at an Erlang conference _can_ have an effect on you
November 6, 2025 at 6:40 PM
Turns out spending two days at an Erlang conference _can_ have an effect on you
Well played, AWK, well played.
November 4, 2025 at 10:47 AM
Well played, AWK, well played.
I'm enjoying being in the "clueless PM not caring about code quality and not knowing what they want" mode when making a throwaway visualizer for the "Build your own BEAM" talk.
If the robot apocalypse comes, my head will be the first on the chopping block.
If the robot apocalypse comes, my head will be the first on the chopping block.
November 4, 2025 at 10:13 AM
I'm enjoying being in the "clueless PM not caring about code quality and not knowing what they want" mode when making a throwaway visualizer for the "Build your own BEAM" talk.
If the robot apocalypse comes, my head will be the first on the chopping block.
If the robot apocalypse comes, my head will be the first on the chopping block.
I've got some practice left to do to get this to under 20 minutes...
October 29, 2025 at 5:05 PM
I've got some practice left to do to get this to under 20 minutes...
"You are therefore requested to reconsider the desirability of pressing your point at this time" is a badass 🖕 sentence by NATO
October 28, 2025 at 6:52 PM
"You are therefore requested to reconsider the desirability of pressing your point at this time" is a badass 🖕 sentence by NATO
When you say Pokemon GSC, you know what I remember? Jasmine. Must be that Steelix.
October 20, 2025 at 9:15 PM
When you say Pokemon GSC, you know what I remember? Jasmine. Must be that Steelix.
some hidden lore I don't know??
October 13, 2025 at 7:35 AM
some hidden lore I don't know??
Jaromír Soukup Jaromíra Soukupa
October 10, 2025 at 3:38 PM
Jaromír Soukup Jaromíra Soukupa
Slowly getting from the "dump everything on the slide" format to something usable
October 8, 2025 at 9:46 PM
Slowly getting from the "dump everything on the slide" format to something usable