isaacimagine

12 ms·

91.
Embedded Agency and AI Alignment(alignmentforum.org)
1 points by isaacimagine 5y ago|0 comments
92.
by isaacimagine 5y ago
What's cool is that it's now possible to use large language models to predict the probability of a given word, which doesn't only take into account the probability of a word appearing in a corpus, but also the probability in
93.
by isaacimagine 5y ago
I think the lensmaker's equation is pretty par for the course for most advanced physics classes in high school, no?
94.
Is the United States really Meritocratic?(aei.org)
3 points by isaacimagine 5y ago|1 comments
95.
How “latency numbers everybody should know” decreased from 1990–2020(colin-scott.github.io)
611 points by isaacimagine 5y ago|216 comments
96.
Playing to Win: the joy of learning and exploiting complex systems (2017)(alicemaz.com)
1 points by isaacimagine 5y ago|0 comments
97.
by isaacimagine 5y ago
quite okay image format: https://qoiformat.org/
98.
by isaacimagine 5y ago
3-player pong: two people control the paddle, one person controls the ball — switch off every time a point is scored? sounds like fun!
99.
by isaacimagine 5y ago
I mean, that's what you should expect, right? That (Sia) market forces will push the price of storage towards equilibrium, which is the price other similar products are charging.
100.
TermKit: A Rich Graphical Terminal (2011)(acko.net)
67 points by isaacimagine 5y ago|37 comments
101.
by isaacimagine 5y ago
Or 'never gonna give you up'.
102.
by isaacimagine 5y ago
404?
103.
by isaacimagine 5y ago
Koka is a good example of a language having effect sets: in koka, it's called a row of effects , and is written as <exn, console, e> where single letters denote generic params. In the case of needing a correlation id, t
104.
by isaacimagine 5y ago
Oleg has a lot of good work on continuations and effects. You can also check his papers for additional references, but the papers on these two pages of his should serve a good jumping off point: https://okmij.org/ftp/Co
105.
by isaacimagine 5y ago
When working with monad transformers, I tend to stick to constraining functionality over unspecified monad. This essentially acts as a set (of constraints), which results in all the set-based woes that arise when effects are used. So not mo
106.
by isaacimagine 5y ago
I apologize if my response sounded dismissive, I typed it out on my phone in a rush. > I might write foo with an assumption that errors rollback, and bar with an assumption that errors abort. [...] These things have color we're just
107.
by isaacimagine 5y ago
I have some experience with effects, mostly from noodling around with Koka and implementing a small effect-based toy language. (Which I intend to integrate into a larger language I'm working on.) There are a few downsides, and they fal
108.
by isaacimagine 5y ago
I agree, Promise<Exn<T>> is an admittedly bad example. See my response to the sibling comment for a better example. Effect sets don't prevent you from using monadic wrappers when appropriate. In combination with delimited c
109.
by isaacimagine 5y ago
> unless you're passing a parameter that introduces an additional effect F into the function This definitely is overkill, I just wanted to illustrate that it was possible. You're correct: usually, a generic effect indicates you
110.
by isaacimagine 5y ago
This wasn't the best example, as async is directly tied to execution order. But consider a function that is nondeterministic, does IO, and may raise an exception. Is this a: Ndet<Io<Exn<T>>> Ndet<Exn<I
111.
by isaacimagine 5y ago
As you said, the composition of a monad may not be a monad, which means it may not be possible to compose the result of a monadic composition with another monad. You can always trivially compose a set of effect sets (union), though.
112.
by isaacimagine 5y ago
I've been waiting for this piece for a while. Monads don't compose! Under an effect-based system: fn get_user<F>() -> F<User> Is like having an explicit effect F: fn get_user<F>() ->{F} User
113.
by isaacimagine 5y ago
Honestly any 5-letter acronym will work at this point.
114.
by isaacimagine 5y ago
I'm really excited to see how rhombus turns out, and can't wait too see how they resolve some of the hairier design decisions around building a form-based language with implicit forms. (Shrubbery seems interesting.) As an aside, I
115.
Why's (Poignant) Guide to Ruby(poignant.guide)
1 points by isaacimagine 5y ago|0 comments
116.
Debugging an evil Go runtime bug(marcan.st)
1 points by isaacimagine 5y ago|0 comments
117.
by isaacimagine 5y ago
Did the kid paint the radio waves too? In all seriousness, why is it brighter than expected? What's the expected brightness for such an object, and how many error bars is it away from this value?
118.
by isaacimagine 5y ago
CAPTPHA?
119.
by isaacimagine 5y ago
The Wasatch back is basically my definition of heaven :P I worked there when I was younger (summer job as a teenager), but I don't work for them anymore (do SWE now).
120.
by isaacimagine 5y ago
There isn't any I either. It's biological learning, i.e. neuronal models and feedback loops. /s?

More ›