Martin Janiczek
@janiczek.cz
Functional programming / Making a browser game NuAshworld / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
Reposted by Martin Janiczek
love how the only real thing you get from paying from Anubis is the ability to make the splash pages look more corporate
December 1, 2025 at 6:24 PM
love how the only real thing you get from paying from Anubis is the ability to make the splash pages look more corporate
Reposted by Martin Janiczek
Tech Tip
Ever wondered how to password-protect a document? No problem! Here's a tech tip that will keep your confidential information secure from prying eyes 👍
Ever wondered how to password-protect a document? No problem! Here's a tech tip that will keep your confidential information secure from prying eyes 👍
December 1, 2025 at 8:23 PM
Tech Tip
Ever wondered how to password-protect a document? No problem! Here's a tech tip that will keep your confidential information secure from prying eyes 👍
Ever wondered how to password-protect a document? No problem! Here's a tech tip that will keep your confidential information secure from prying eyes 👍
This took a turn...
www.youtube.com/watch?v=AHKG...
www.youtube.com/watch?v=AHKG...
Michal Šupák - Signals
YouTube video by Michal Šupák
www.youtube.com
November 29, 2025 at 5:07 PM
This took a turn...
www.youtube.com/watch?v=AHKG...
www.youtube.com/watch?v=AHKG...
Reposted by Martin Janiczek
Shit flows downhill. When you're an executive, your outputs become someone else's problem. When you're doing the implementation, the gap in every half-assed idea and slipshod assumption becomes visible & it's your responsibility to fix it.
A new global study shows that AI adoption varies by seniority, with 87% of executives using it on the job, compared with 57% of managers and 27% of employees. It also finds that executives are 45% more likely to use the technology on the job than Gen Zers …
Execs are embracing AI more than their employees are, new research suggests
Research from HR software company Dayforce suggests that executives are leaning into AI far more than their employees.
www.businessinsider.com
November 29, 2025 at 3:56 PM
Shit flows downhill. When you're an executive, your outputs become someone else's problem. When you're doing the implementation, the gap in every half-assed idea and slipshod assumption becomes visible & it's your responsibility to fix it.
Reposted by Martin Janiczek
last week i remembered that macOS lets you set your own icons and that *I* have the power to delegitimize the professionalism of the software that runs on my machine, so here's a thread of the 16 new icons i've made so far
i really forgot how fun it was to just sit down and make art for myself :')
i really forgot how fun it was to just sit down and make art for myself :')
November 29, 2025 at 1:48 AM
last week i remembered that macOS lets you set your own icons and that *I* have the power to delegitimize the professionalism of the software that runs on my machine, so here's a thread of the 16 new icons i've made so far
i really forgot how fun it was to just sit down and make art for myself :')
i really forgot how fun it was to just sit down and make art for myself :')
Reposted by Martin Janiczek
Heaven's Vault (2019)
November 29, 2025 at 2:02 PM
Heaven's Vault (2019)
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
Notation "’let!’ x = c ; d" := (bind c (fun x ⇒ d)) (...)
Notation "’do!’ c ; d" := (bind c (fun _ ⇒ d))
Excuse me what is this sorcery
nickbenton.name/coqasm.pdf
Notation "’do!’ c ; d" := (bind c (fun _ ⇒ d))
Excuse me what is this sorcery
nickbenton.name/coqasm.pdf
nickbenton.name
November 27, 2025 at 7:33 PM
Notation "’let!’ x = c ; d" := (bind c (fun x ⇒ d)) (...)
Notation "’do!’ c ; d" := (bind c (fun _ ⇒ d))
Excuse me what is this sorcery
nickbenton.name/coqasm.pdf
Notation "’do!’ c ; d" := (bind c (fun _ ⇒ d))
Excuse me what is this sorcery
nickbenton.name/coqasm.pdf
Reposted by Martin Janiczek
exploring a generated cave system
November 11, 2025 at 4:32 PM
exploring a generated cave system
Reposted by Martin Janiczek
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.
Reposted by Martin Janiczek
🎉 Unison 1.0 has landed!
After years of engineering, design, and community collaboration, we’re excited to announce this milestone!
Spread the word!
After years of engineering, design, and community collaboration, we’re excited to announce this milestone!
Spread the word!
Announcing Unison 1.0
After years of engineering, design, and community collaboration, we're excited to release Unison 1.0. This version delivers a refined programming workflow and a mature toolchain. Join us as we celebrate this milestone and look ahead to the future of Unison.
www.unison-lang.org
November 25, 2025 at 7:01 PM
🎉 Unison 1.0 has landed!
After years of engineering, design, and community collaboration, we’re excited to announce this milestone!
Spread the word!
After years of engineering, design, and community collaboration, we’re excited to announce this milestone!
Spread the word!
Reposted by Martin Janiczek
It's a little bit disarming when my arms pop off
November 25, 2025 at 6:00 AM
It's a little bit disarming when my arms pop off
Having run out of Cursor's Sonnet 4.5 monthly usage quota, I tried their unlimited Auto thingy for two days and it's complete garbage. Like, IQ drops 50 points, thoughts run in loop, it contradicts what it sees etc.
The model matters so much
The model matters so much
November 24, 2025 at 9:01 PM
Having run out of Cursor's Sonnet 4.5 monthly usage quota, I tried their unlimited Auto thingy for two days and it's complete garbage. Like, IQ drops 50 points, thoughts run in loop, it contradicts what it sees etc.
The model matters so much
The model matters so much
Reposted by Martin Janiczek
If you could pay for access to a bunch of small self-contained lustre examples - think advanced/niche things that cant reasonably be documented by the lib - what sort of thing might you want to see?
November 22, 2025 at 9:25 PM
If you could pay for access to a bunch of small self-contained lustre examples - think advanced/niche things that cant reasonably be documented by the lib - what sort of thing might you want to see?
Reposted by Martin Janiczek
The ocaml maintainers are saints for how gracefully they handled this. I would not have the patience they did.
November 21, 2025 at 9:49 PM
The ocaml maintainers are saints for how gracefully they handled this. I would not have the patience they did.
Reposted by Martin Janiczek
I've been using poetry based jailbreaks for years now and am mostly just upset that someone blew up my spot. One of those things that only works until foundation labs start trying to train for refusals to poetic prompt-hacking
November 20, 2025 at 7:06 PM
I've been using poetry based jailbreaks for years now and am mostly just upset that someone blew up my spot. One of those things that only works until foundation labs start trying to train for refusals to poetic prompt-hacking
Perl might be unreadable, but most of all it's funny:
perl -pe 'chomp if eof' file.txt
perl -pe 'chomp if eof' file.txt
November 21, 2025 at 9:47 PM
Perl might be unreadable, but most of all it's funny:
perl -pe 'chomp if eof' file.txt
perl -pe 'chomp if eof' file.txt
November 21, 2025 at 12:56 AM
Github "Soft Dark" theme makes me feel like I'm under water in Noita.
November 20, 2025 at 7:59 PM
Github "Soft Dark" theme makes me feel like I'm under water in Noita.
OK, trying out AWK on something non-trivial, I'm suddenly horrified to realize:
* AWK doesn't let you construct arrays as values
* AWK doesn't let you return arrays
* AWK doesn't let you set arrays to variables
This ........ will take some getting used to
* AWK doesn't let you construct arrays as values
* AWK doesn't let you return arrays
* AWK doesn't let you set arrays to variables
This ........ will take some getting used to
November 20, 2025 at 1:37 PM
OK, trying out AWK on something non-trivial, I'm suddenly horrified to realize:
* AWK doesn't let you construct arrays as values
* AWK doesn't let you return arrays
* AWK doesn't let you set arrays to variables
This ........ will take some getting used to
* AWK doesn't let you construct arrays as values
* AWK doesn't let you return arrays
* AWK doesn't let you set arrays to variables
This ........ will take some getting used to
Reposted by Martin Janiczek
small bread the size of a large bread
en.wikipedia.org/wiki/Panettone
en.wikipedia.org/wiki/Panettone
November 19, 2025 at 11:54 PM
small bread the size of a large bread
en.wikipedia.org/wiki/Panettone
en.wikipedia.org/wiki/Panettone
Reposted by Martin Janiczek
A friend of mine has early access to cutting edge corporate jargon, I heard the phrase "let's double-click on that" from him long before anywhere else. I asked him what's new these days and he says it's "the shark closest to your body" for the most urgent issue.
November 19, 2025 at 6:59 PM
A friend of mine has early access to cutting edge corporate jargon, I heard the phrase "let's double-click on that" from him long before anywhere else. I asked him what's new these days and he says it's "the shark closest to your body" for the most urgent issue.
Reposted by Martin Janiczek
Seeing all those LLM CLI tools having those fun block character title screens made me want my own.
And no, I didn't have an LLM make this, just 6 hours toggling pixels in Photoshop. Pixel art is such a hyperfocus black hole.
And no, I didn't have an LLM make this, just 6 hours toggling pixels in Photoshop. Pixel art is such a hyperfocus black hole.
November 17, 2025 at 7:58 PM
Seeing all those LLM CLI tools having those fun block character title screens made me want my own.
And no, I didn't have an LLM make this, just 6 hours toggling pixels in Photoshop. Pixel art is such a hyperfocus black hole.
And no, I didn't have an LLM make this, just 6 hours toggling pixels in Photoshop. Pixel art is such a hyperfocus black hole.