Viewing profile — sordina

Also: 21 Hylomorphisms and nexuses from Pearls of Functional Algorithm Design: https://dai.fmph.uniba.sk/courses/FPRO/bird_pearls.pdf

Curry Howard shows that for a logical proposition (A) with corresponding constructive proof (B), there will be a type (A') with program (B'). It's not about proving desired propert…

Mate, the point I was making is that 15 minutes is not a reasonable time frame to learn new programming concepts in.

You've got the right idea. A program is a proof for the proposition made by its type. Only for the right languages though, and not in the naive sense of `assert(1+1 == 2)` proves t…

Well, I interpret that as the assertion that it's more opaque than other types of programming. But I disagree and think that it is actually simpler in terms of the syntax and amoun…

What part am I ignoring?

If someone can learn C type syntax this is MUCH simpler. That doesn't mean you don't have to spend a little bit of time learning how it works, but it is not some kind of number-the…

15 minutes is not a long time. Easily understand doesn't mean instantly understand with no background reading.

Pithy but useless sentiment.

So if you implemented it with analog circuits that would satisfy your criteria?

So if you lost the weights how is that not killing the AI? Is it because it lacks the death experience? If so what about bitrotting the weights incrementally and degrading its inpu…

Yeah same! It really was a tricky one for me: https://github.com/sordina/advent2021/blob/solutions/src/Adv...

The HTTP examples are fine, but a lower-level network module would enable all sorts of amazing plugins like a JDBC style ecosystem (WDBC?).

The binary representation is a neat idea. I found the trickiest part of this problem for me was interpreting an expanding boundary of the considered world: https://github.com/sordi…

> generates more than 20 million dollars a year of revenue and > team is 3 people and > post COVID, budget is really tight Why? All technical details aside if this can't be address…

One of my favourite Haskell "one-liners" is combining the AD package with Number.Symbolic: {-# LANGUAGE ImportQualifiedPost #-} module Module_1663406024_9206 where import Numeric.A…

Yes, it would be interesting to see Apple's response. Now I remember what made me ask this line of questions in the first place. In the release notes for J901 iOS I saw the followi…

Thanks for responding! So if there was a quality OSS level pack that could be bundled then that would overcome the only obstacle?

Is there a technical reason why this couldn't be put on the app store? I've seen reference to Apple not allowing certain OSS code but never seen that confirmed so I'm curious!

Uses https://reaflow.dev

Yep! The script was essentially: * Invoke ruby program * Find all in-memory dependencies * Statically link ruby and the discovered dependencies * Compile with an args interface wit…

Around a decade ago I used a script called ruby2exe and diving into that was a truly magical journey of discovery - finding an embedded Pascal compiler was... Interesting.

Give them some meaningful compensation in options.

Please keep in mind, when Haskell introduced some of these features they decided to take existing terminology from theory rather than make something up. The big benefit from this i…

It says it was a party piece for friends.