Jons Mostovojs @jonn@social.doma.dev
- Sourcehut
- https://git.sr.ht/~jonn/
- Mastodon
- https://social.doma.dev/@jonn
- Arm
- Ukraine
- Donate
- https://savelife.in.ua
Admin
That https://doma.dev guy
#lean #rust #typescript #react #nix
In my non-existent free time I design and run #TTRPG
If you use tools made by genocide-apologists, you are a genocide-apologist.
#lemmy users aren't welcome here.
Joined Nov 2020
Jons Mostovojs
boosted
Estimated 20% chance in the next 2 years. Why we need to be ready with better vaccines (nasal and pan-coronavirus) and treatments
https://www.washingtonpost.com/health/2023/05/05/covid-forecast-next-two-years/
Jons Mostovojs
boosted
Jons Mostovojs
boosted
We are starting now! If you have registered you can find the link to join on the updates page.
https://functional.cafe/@haskman/110320225340283958
You can also watch the stream at
https://www.youtube.com/watch?v=RqWOLYdEc-g
@mairin@fosstodon.org do we have this on mastodon?
So... #TrackMania still waves flag of #russia in the in-game client. What the fuck, #ubisoft?
@haskman I'm talking about data strucutres, not algorithms. The data structure I'm talking about, namely, is "stream".
In Haskell it's just `Cons a (Stream a)` and you write code (algorithms) over it as normal. In Ocaml it's `type 'Cons of 'a * (unit -> 'a stream)`.
Same goes for zippers.
I'm not smart enough to know fancy algorithms, but if functions over possibly infinite datums, you can imagine how explicit thunking makes things worse.
https://github.com/lurk-lab/straume/blob/main/Straume/Chunk.lean all of this machinery can be avoided entirely with laziness, for example.
@haskman @dpwiz there is already a counterexample I provided: streams. In general, any structures you traverse from inside out are easier to write and understand with laziness. I thought that in another thread we agreed that there are no "natural" evaluation order. (As I side note: I think that cognitively laziness is easier because humans glance, not drill, but that's a topic for behavior scientists to figure out).
Jons Mostovojs
boosted
very cool! a structured editor for typescript. i am working on a similar one for generic lisps https://forest.walr.is/
Jons Mostovojs
boosted
Operation #lost camera.
My son found a camera when he was Magnet fishing on the Zaanse schans a year ago. Then I got sick and couldn´t do anything with this camera.
Its SD card contains photo's and video's of an Asian girl/woman who is doing a world tour.
She speaks Mandarin Chinese. And in the video she is on Marakech Airport. Thanks for the translations.
The next step is to find her.
RT is very much appreciated
#lostandfound #zaanseschans #lostcamera #foundcamera #foundfootage #china
Jons Mostovojs
boosted
MWAAHAHAHAHAHA AHAHAHAHAHAHHA AHAHAHA https://mastodon.social/@_lennart/110310971409424807
HAHAHAHAHA 🤣🤣🤣🤣🤣
Ha.
Jons Mostovojs
boosted
We are removing all the Crypto Spam coming from the fake accounts on mastodon.social just as fast as we get the reports. It seems to have started about 13 hours ago.
If it gets to bad we will TEMPORARILY limit mastodon.social so only followers of accounts can see their posts and the rest of us won't see the spam. Then as m.s gets it under control we would unsuspend them.
@monad_cat @haskman sure! I recently wrote a lib for working with streams in Lean. Frankly, compared to writing one in Haskell, it was error prone pain in the ass. Exactly what @dpwiz is talking about. But yeah, it's a tradeoff, but it's not like one is more natural or easier to code with than the other. I do a lot of streaming so for me first class lazieness is something that I miss.
@haskman I mean. Streams though.
The insidious way that emotional abuse leaves victims isolated
Jons Mostovojs
boosted
If anyone in the #FOSS community believes in the benefits #aihorde brings to the table and/or enjoys using all the free/libre services integrating with it. Please help me find a way to make this project sustainable.
Currently I am looking for a way to attract sponsors who want to keep this technology available for everyone by funding its development.
I am open to all DMs and advice on how to achieve this.
Jons Mostovojs
boosted
Absolutely wild! The AI Horde is now generating **12 Million** images per month (400K per day)!
We're also generating ~300K LLM texts per month (11K per day)
All free for everyone, without subscriptions, ads or data-mining
@abnv @haskman you can compile #purescript to C++: https://github.com/andyarvanitis/purescript-native if you prefer C++ gotchas.
Jons Mostovojs
boosted
How long is it appropriate to wait before the "I told you so"? https://www.primevideotech.com/video-streaming/scaling-up-the-prime-video-audio-video-monitoring-service-and-reducing-costs-by-90
I think this is my favorite comment this year. A person asks an #ffmpeg question and then another person guesses correctly what files the first person needs to transcode and how they got them.
- Sourcehut
- https://git.sr.ht/~jonn/
- Mastodon
- https://social.doma.dev/@jonn
- Arm
- Ukraine
- Donate
- https://savelife.in.ua
Admin
That https://doma.dev guy
#lean #rust #typescript #react #nix
In my non-existent free time I design and run #TTRPG
If you use tools made by genocide-apologists, you are a genocide-apologist.
#lemmy users aren't welcome here.
Joined Nov 2020
