That would be Elm :)
Roc says hi!
Readit Newsgiovannibonetti commented on Why I love OCaml (2023) mccd.space/posts/ocaml-th... · Posted by u/art-w
giovannibonetti commented on Why I love OCaml (2023) mccd.space/posts/ocaml-th... · Posted by u/art-w
Yes, in every ML/OCaml tutorial, sooner or later the words object, class, and type inference appear and that’s when a once–minimalist language turns into an academic Frankenstein.
Why does type inference contribute to that issue?
> We demonstrate fungal computing via mycelial networks interfaced with electrodes, showing that fungal memristors can be grown, trained, and preserved through dehydration, retaining functionality at frequencies up to 5.85 kHz, with an accuracy of 90 ± 1%. Notably, shiitake has exhibited radiation resistance, suggesting its viability for aerospace applications
Soon we'll have shiitake replacing transistors in our airplane and spacecraft computers, while sitting and eating ramen on the vehicles themselves. The future is shaping up to be interesting.
> Soon we'll have shiitake replacing transistors in our airplane and spacecraft computers, while sitting and eating ramen on the vehicles themselves. The future is shaping up to be interesting.
By the way, some people say eating meat is not going to be sustainable as more and more people become able to afford it, and fungi are a great option for providing the equivalent protein intake.
giovannibonetti commented on What we talk about when we talk about sideloading f-droid.org/2025/10/28/si... · Posted by u/rom1v
This community has pockets of people who like authoritarian control, and genuinely believe in Apple or Google Play as some kind of superego that they need to defend, that they believe is protecting us.
This surfaces in many types of discussions, including discussions where they may be prompted to defend the locked down nature of mobile devices.
I say it's just pockets. A vocal pocket. It's not everyone here. But it elicits comments justifying that stuff, which can feel surprising for those who don't share those views.
> This community has pockets of people who like authoritarian control, and genuinely believe in Apple or Google Play as some kind of superego that they need to defend, that they believe is protecting us.
Perhaps you meant Leviathan instead of superego?
I've been told similar nasty things for adding LIMIT 1 to queries that I expect to return at most a single result, such as querying for an ID. But on large tables (at least in sqlite, mysql, and maybe postgress too) the database will continue to search the entire table after the given record was found.
I've noticed that LIMIT 1 makes a huge difference when working with LATERAL JOINs in Postgres, even when the WHERE condition has a unique constraint.
Watch out, Meta. OpenAI is going to eat your lunch.
giovannibonetti commented on Markov chains are the original language models elijahpotter.dev/articles... · Posted by u/chilipepperhott
You can model multiple-hop dependencies as a Markov chain by just blowing up the state space as a Cartesian product. Not that that would necessarily make sense in practice, but in theory Markov chains have enormous expressive power.
> You can model multiple-hop dependencies as a Markov chain by just blowing up the state space as a Cartesian product.
Where the state space would be proportional to the token length squared, just like the attention mechanisms we use today?
Right, this is the exact opposite of the best practices that Edward Deming helped develop in Japan, then brought to the west.
Quality needs to come from the process, not the people.
Choosing to use a process known to be flawed, then hoping that people will catch the mistakes, doesn't seem like a great idea if the goal is quality.
The trouble is that LLMs can be used in many ways, but only some of those ways play to their strengths. Management have fantasies of using AI for everything, having either failed to understand what it is good for, or failed to learn the lessons of Japan/Deming.
> Quality needs to come from the process, not the people.
Not sure which Japanese school of management you're following, but I think Toyota-style goes against that. The process gives more autonomy to workers than, say, Ford-style, where each tiny part of the process is pre-defined.
I got the impression that Toyota-style was considered to bring better quality to the product, even though it gives people more autonomy.
giovannibonetti commented on Strong Eventual Consistency – The Big Idea Behind CRDTs lewiscampbell.tech/blog/2... · Posted by u/todsacerdoti
What is the monoid for table primary keys?
Vector clocks, since they keep a separate counter for each client
https://www.modular.com/mojo