Martin Janiczek
@janiczek
I'm out of here and you should too.
I'll give the new AI-outrage migration push a chance. Gonna replace 🐦 with 🦋 on my phone home screen and see what happens. @janiczek.bsky.social
Několik let zpátky jsem měl možnost hrávat v kapele na SMArt Gospel benefičních koncertech (podporuje děti se spinální muskulární atrofií), je to skvělá "cause". Letos aspoň na dálku. Podpořte je se mnou! donio.cz/pribeh/26372?u…
The Mint website has an interactive tutorial which showcases all the features of the language mint-lang.com/tutorial/ #webdev #frontenddev #coding #programming
Ke konci se to začalo tak trochu podobat Léčiteli... youtube.com/watch?v=2P0uCI…
Trocha nedělního pruzení... open.substack.com/pub/adent/p/no…
The date of @elmcamp is near, and there are still some tickets left! The last year was awesome, don't miss it! discourse.elm-lang.org/t/elm-camp-202… #elmlang
#366: Ft. @jfmengels, @janiczek, @JoGrenat & Sébastien Besnier, and @jesterxl. elmweekly.nl/p/elm-weekly-i… #elmlang
A blogpost I wrote on elm-test's Test.Distribution - testing whether your fuzzers generate interesting cases often enough! martin.janiczek.cz/2025/05/01/elm…
My team and I have been hit by layoffs. I'd be grateful for help finding a new place to apply my skills at! 7y of professional Elm experience; would also be comfortable in Haskell, TypeScript, Erlang/Elixir/Gleam, OCaml, Kotlin, Scala mail: [email protected] Many thanks for RTs!
I just checked "Parser combinators under the hood" by @janiczek: Gem-sized clear introduction of 8 minutes, and stylish as hell.
Twitter/Bluesky (casual and geeky): 🎥 Testing + SerenityOS = 🔥 @janiczek shares his journey of adding property-based testing to SerenityOS, taking testing beyond happy paths and finding hidden bugs! Ready to level up your testing game? Check out the full talk! #LambdaDays…
HOC is doing a post-seed funding round to turn SupGen, an HVM-powered program synthesizer, into a Symbolic Transformer: a logic-based AI architecture, and validate it on the ARC Prize. More details on: wefunder.com/higher.order.c…
hey guys - so, today I can confirm my hypothesis worked, and the main milestone I sought has been hit. the synthesizer implemented algorithms and solved problems that even o1 couldn't. using it is somewhat magical - it *feels* intelligent, even though I know isn't. it is just a…
I'm gonna try and unfollow everybody that I'm already following on the butterfly site. That way I'll see less and less stuff here and will have a tangible TODO list
Final question: can we implement lazy mode on HVM3, with the fast atomic link, and only 2 ports per node (not 3)? Yes! To implement lazy mode, we need to traverse the graph in a specific order, which requires the ability to move from a node to its parent. That's not possible on…
Linkin Park performing Heavy Is the Crown at #Worlds2024 absolutely epic👑🔥
Made a first soundtrack piece for @NuAshworld: youtu.be/AHlbVOjugqU @Soundpaintmusic rocks!!