Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
tome
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
10 ms
·
121.
▲
by
tome
10mo ago
Correct. Berkshire only buys well-functioning businesses. '“Turnarounds” seldom turn'. https://www.berkshirehathaway.com/letters/1979.html
122.
▲
by
tome
10mo ago
> Elon and Peter Thiel don't allow their shares to be shorted Do you have more information about that? That sounds impossible for a publicly traded company.
123.
▲
by
tome
10mo ago
Not sure if you're making a joke about this, but Ed Witten tried a number of fields before settling on theoretical physics.
124.
▲
by
tome
10mo ago
This is hilarious and I'm looking forward to seeing what it says about itself.
125.
▲
by
tome
10mo ago
> > Not quite, static typing is used at runtime, python type annotations are not > No, static typing is usually used AOT (most frequently at compile time), not usually at runtime (types may or may not exist at runtime; they don
126.
▲
by
tome
10mo ago
I see. So who are these "agents of a certain agency" you're referring to? Can you be specific?
127.
▲
by
tome
10mo ago
> I don't believe any of the above makes me antisemite. It is very typical of agents of a certain agency to frame like that though. An astonishing pair of sentences.
128.
▲
by
tome
10mo ago
If you liked this, you're going to love git commit --verbose --patch
129.
▲
by
tome
10mo ago
> The standard library is full of exceptions By the way, the number of partial functions is base that throw compiler warnings is increasing, for example: https://hackage.haskell.org/package/base-4.21.0.0/docs&#x
130.
▲
by
tome
10mo ago
That's a rather drastic generalization! As a counterpoint I've worked on professional teams with, what, 20 or 30 different Haskellers over the years and the number of "toxic, dramatic, dogmatic people" in that set is ze
131.
▲
by
tome
10mo ago
I prefer the slogan without "probably", "If it compiles it works", because then at least it's clear it's a slogan and not a formal claim. Everyone knows that if you write multiply x y = x + y then it
132.
▲
by
tome
10mo ago
How did your tests pass if you didn't handle state?
133.
▲
by
tome
10mo ago
> People nowadays are just desperate to have a diagnosis. Everybody wants to be special and unique I've never managed to understand this when it comes to autism. Autism used to be considered something as extreme as a severe disabili
134.
▲
by
tome
10mo ago
You can do this main = do let x = foo putStrLn "foo was never executed" but you can also do this def main(): x = foo print("foo was never executed") What's the difference?
135.
▲
by
tome
10mo ago
Ah! My favourite Haskell discussion. So, consider these two programs, the first in Haskell: main :: IO () main = do foo foo foo :: IO () foo = putStrLn "Hello" and the second in Python: def
136.
▲
by
tome
10mo ago
Not a synonym, but `Monad` is one of the commonly used interfaces in Haskell (not the only one).
137.
▲
by
tome
10mo ago
Is it necessary that a monad "builds up a computation and then runs"? In fact it's very hard for a monad to do that because the type of bind is (>>=) :: m a -> (a -> m b) -> m b so you can really only
138.
▲
by
tome
10mo ago
And for comparison, here's Haskell's (or rather Bluefin's) equivalent of Zig's `Io` parameter: https://hackage-content.haskell.org/package/bluefin/docs/Blu...
139.
▲
by
tome
10mo ago
> 1. a description of how to carry out I/O that is performed by a separate system > 2. does the I/O inside the function before returning How do you distinguish those two things? To put my cards on the table, I believe Haske
140.
▲
by
tome
11mo ago
> It’s an extremely facile work and reads exactly like a high school essay: “In having his character consider execution to protect his and his family’s reputation, Doyle explored the societal expectations of Victorian masculinity and how
141.
▲
by
tome
11mo ago
Is it even remotely appropriate to blame without first understanding? In which case, doesn't this perspective completely rule out the possibility of any appropriate blame?
142.
▲
by
tome
11mo ago
> > tax revenues are higher than ever, government spending is higher than ever, social programs and social spending is higher than ever > Obviously every nominal value is going to be higher YoY It's not just nominal. You can s
143.
▲
by
tome
11mo ago
That definitely doesn't apply to Bluefin. I can't rule out it applying to effectful, but it is careful to do dynamic checks to make sure you can't use effects in the wrong scope. Maybe you're thinking of eff (i.e. what s
144.
▲
by
tome
11mo ago
> Effect systems are a trend that will go away I'm willing to bet the contrary: that IO-wrapper effect systems are the future of Haskell (particularly Bluefin, but then that's my library, so I would say that). > You can'
145.
▲
by
tome
11mo ago
> your library is really cool. : ) And thanks! Glad you like it. Feel free to reach out to me at any time if you'd like any help with it or have any questions or comments.
146.
▲
by
tome
11mo ago
Thanks! You might also like the introduction I wrote to the Bluefin docs, which has some similar content: https://hackage-content.haskell.org/package/bluefin/docs/Blu... Yes, Xavier's book was really int
147.
▲
by
tome
11mo ago
Thanks! Glad they were helpful.
148.
▲
by
tome
11mo ago
No, no loss of safety. Was there something in particular you were thinking of? With IO-wrapper effect systems you give up native multishot continuations (but you can always get them back by wrapping in LogicT). You can look at my table of
149.
▲
by
tome
11mo ago
> No it is not high performance, but neither are any other Haskell effect systems This is not true. IO-wrapper effect systems (in practice, effectful or Bluefin) have as good performance as Haskell's IO monad, that is to say as goo
150.
▲
by
tome
11mo ago
eff has never been released to Hackage and as far as I know never used in production. I wouldn't call it "real-world code". For effect systems that people do actually use in production I suggest * Polysemy: https://
More ›