Martin Janiczek (@janiczek) 's Twitter Profile
Martin Janiczek

@janiczek

I'm out of here and you should too.

ID: 16633935

linkhttps://bsky.app/profile/janiczek.cz calendar_today07-10-2008 18:29:34

26,26K Tweet

1,1K Followers

439 Following

Taelin (@victortaelin) 's Twitter Profile Photo

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

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
Martin Janiczek (@janiczek) 's Twitter Profile Photo

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

Martin Janiczek (@janiczek) 's Twitter Profile Photo

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…

Taelin (@victortaelin) 's Twitter Profile Photo

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

Higher Order Company (@higherordercomp) 's Twitter Profile Photo

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…

Lambda Days (@lambdadays) 's Twitter Profile Photo

Twitter/Bluesky (casual and geeky): 🎥 Testing + SerenityOS = 🔥 Martin 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

Martin Janiczek (@janiczek) 's Twitter Profile Photo

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!

Martin Janiczek (@janiczek) 's Twitter Profile Photo

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…

Martin Janiczek (@janiczek) 's Twitter Profile Photo

The date of elm-camp 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

mint-lang (@mint_lang) 's Twitter Profile Photo

The Mint website has an interactive tutorial which showcases all the features of the language mint-lang.com/tutorial/ #webdev #frontenddev #coding #programming

The Mint website has an interactive tutorial which showcases all the features of the language mint-lang.com/tutorial/ 
#webdev #frontenddev  #coding #programming