sordina

7 ms·

1.
by sordina 3y ago
Also: 21 Hylomorphisms and nexuses from Pearls of Functional Algorithm Design: https://dai.fmph.uniba.sk/courses/FPRO/bird_pearls.pdf
2.
by sordina 3y ago
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 properties of programs. However, you can use the CH
3.
by sordina 3y ago
Mate, the point I was making is that 15 minutes is not a reasonable time frame to learn new programming concepts in.
4.
by sordina 3y ago
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 the assertion.
5.
by sordina 3y ago
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 amount of prior understanding required. My blunt reply is th
6.
by sordina 3y ago
What part am I ignoring?
7.
by sordina 3y ago
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-theory level maths construction only accessible to sa
8.
by sordina 3y ago
15 minutes is not a long time. Easily understand doesn't mean instantly understand with no background reading.
9.
by sordina 3y ago
Pithy but useless sentiment.
10.
by sordina 3y ago
So if you implemented it with analog circuits that would satisfy your criteria?
11.
by sordina 3y ago
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 inputs?
12.
by sordina 4y ago
Yeah same! It really was a tricky one for me: https://github.com/sordina/advent2021/blob/solutions/src/Adv...
13.
by sordina 4y ago
The HTTP examples are fine, but a lower-level network module would enable all sorts of amazing plugins like a JDBC style ecosystem (WDBC?).
14.
by sordina 4y ago
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/sordina/advent2021/blob/solutions&
15.
by sordina 4y ago
> 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 addressed I wouldn't even bother trying unless I
16.
by sordina 4y ago
One of my favourite Haskell "one-liners" is combining the AD package with Number.Symbolic: {-# LANGUAGE ImportQualifiedPost #-} module Module_1663406024_9206 where import Numeric.AD qualified as Ad impo
17.
by sordina 4y ago
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 following: "it is legally impossible to release a J IDE f
18.
by sordina 4y ago
Thanks for responding! So if there was a quality OSS level pack that could be bundled then that would overcome the only obstacle?
19.
by sordina 4y ago
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!
20.
by sordina 4y ago
Uses https://reaflow.dev
21.
by sordina 5y ago
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 with the Pascal compiler * Spit out exe This was for windows on
22.
by sordina 5y ago
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.
23.
by sordina 5y ago
Give them some meaningful compensation in options.
24.
by sordina 6y ago
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 is that people already with the theoretical terminology have
25.
by sordina 6y ago
It says it was a party piece for friends.
26.
by sordina 6y ago
I made one as an experiment a while ago: https://github.com/sordina/japl
27.
by sordina 8y ago
Is this a serious comment? Poaching is a pretty common term for actively hiring someone, especially groups of people from another position of employment. Similar to head hunting not referring to actual collection of heads.
28.
by sordina 8y ago
I can't remember where I heard this, but I was told that the death of logic languages occurred due to the poaching of the majority of good active researchers and developers by the big database companies.
29.
by sordina 9y ago
Sorry to contradict you, but we wrote an mvp in rails even though we have 3.5 experienced Haskell programmers on staff. We did this because we knew we could build some web stack apps with all the trimmings much faster in ror. So there is at
30.
by sordina 9y ago
Link to your tracks?

More ›