anon291

18 ms·

391.
by anon291 8mo ago
The issue is our current databases were not designed for proper schema resolution. The correct answer here is that a database ought to be modeled as a data type. Sql treats data type changes separate from the value transform. To say this is
392.
by anon291 8mo ago
With all due respect to Duncan... The reason why this is an issue at all is because the people who architected the internet were not thinking functionally. If they were, they would have come up with something like Nix. But yes, interfacing
393.
by anon291 9mo ago
I don't like this thing where we dislike 'magic' The issue with frameworks is not the magic. We feel like it's magic because the interfaces are not stable. If the interfaces were stable we'd consider them just a rea
394.
by anon291 9mo ago
Honestly, the entire process of open-source contribution is broken. People should just fork and compete on the free 'market'. If you have a good idea / PR, just keep patchsets. People should mix and match the patch sets as th
395.
by anon291 9mo ago
You don't? There's nothing special about monads. I don't know why everyone cares so much about them. There are a few generic transforms you can use to avoid boilerplate. You can reason about your code more easily if your mona
396.
by anon291 9mo ago
I mean, JavaScript is weakly typed and then always lifts its argument. Speaking of isomorphism doesn't make sense unless you're talking about a typed portion of the language.
397.
by anon291 9mo ago
Well most people explain monads for no reason. I'm probably one of the rare Haskell developers who never explains them to anyone. It has nothing to do with IO. If someone is concerned with how to do IO in a pure language then I show th
398.
by anon291 9mo ago
Sorry you're right. I was tired commenting. S/naturals/rationals/g for rings and s/naturals/algebraic numbers/g for fields
399.
by anon291 9mo ago
There is no 'so?' Haskell tends towards applicatives and monads because monads and applicatives are the preferences of haskellers. Just like JavaScript people may like dynamic typing, etc. These are design choices. By modeling var
400.
by anon291 9mo ago
I mean people need to be familiar with mathematics. In mathematics things form things without having to understand them. For example, The natural numbers form a ring and field over normal addition and multiplication , but you don't nee
401.
by anon291 9mo ago
Because you're not used to abstract algebra. JavaScript arrays form a monad with flatmap as the join operator. There are multiple ways to make a monad with list like structures. And you are correct. Monads have nothing to do with seque
402.
by anon291 9mo ago
There is an implied order of operations in Haskell. Haskell always reduces to weak head normal form. This implies an ordering. Monads have nothing to do with order (they follow the same ordering as Haskell's normalization guarantees).
403.
by anon291 9mo ago
Forget programming, everyday business and physics is monadic in function. And if-then statements are functorial. These are very general thought patterns.
404.
by anon291 9mo ago
Nice visuals, but misses the mark. Neural networks transform vector spaces, and collect points into bins. This visualization shows the structure of the computation. This is akin to displaying a Matrix vector multiplication in Wx + b notatio
405.
by anon291 9mo ago
Monads, arrows, applicatives, and functors make the world go round.
406.
by anon291 9mo ago
People seem to believe writing things in rust means it's correct.
407.
by anon291 9mo ago
Wealth inequality is a net good
408.
by anon291 9mo ago
A library os to me would typically mean it's aimed at hosting a single user program on bare hardware. I don't see that here, but maybe I'm just confused
409.
by anon291 9mo ago
[flagged]
410.
by anon291 9mo ago
The issue with these 'international'forums is that it's basically European countries tanking itself. There's a meme going around online where it says "the world condemns..." On top and then a map of the globe w
411.
by anon291 9mo ago
Nothing about moral blame. Just what I read about online as reasons various things are happening. European leaders told India that it was the main reason for the Russian war. I'm sorry thats ridiculous. Europe is ridiculous frankly
412.
by anon291 9mo ago
Everything useful about economics was figured out ages ago. Free markets and the rule of law guarantee wealth and prosperity for the masses
413.
by anon291 9mo ago
And who is the largest contributor to ffmpeg? These sorts of things are so silly. By and large, open source software is worked on by companies who are paying contributors because the project provides them some value. Most of these are Ameri
414.
by anon291 9mo ago
Europe's main strategy these days seems to be blaming others instead of looking at themselves. For example, they blame America for their own issue of lacking tech companies, despite Europe taking credit for having fewer work hours, m
415.
by anon291 9mo ago
OSS software is also mostly owned by the US. This entire thing of 'replacing' American software with American software under a different commercial model is so silly.
416.
by anon291 9mo ago
Typescript does not have a complete, consistent, or reliable type system, no. You can easily skirt around it. Indeed, there is no runtime guarantee at all. There is not even a function to enforce boundary conditions as far as I'm aware
417.
by anon291 9mo ago
How are well specified contracts different from type script? Typescript is just annotation. Behavior cannot change. This is annotation plus runtime examinable behavior. This approach seems conducive to static checkers.
418.
by anon291 9mo ago
You don't need to Ocr. Llms can respond directly to the scanned image. They are better than most Ocr programs. Indeed the token cost of image inputs are lower because you have more fine grained control of the latent token space
419.
by anon291 9mo ago
I mean. By token cost, it costs less to scan a document and pass it to chatgpt as an image for a text summarization of the text than it does to ingest the text. I gave a talk on this at an AI meetup based off of my own experience. When toke
420.
by anon291 9mo ago
Nix already has a ton written in it and it works... Magically. Gradual typing for a system like this is the proper thing to do. You can always write a static linter for sections you need tested and maybe eventually you'll be able to ty

More ›