rscho

33 ms·

481.
by rscho 4y ago
And one might be completely wrong about that. Academia and industry research are different in scale, goals and methods. Both have their uses.
482.
by rscho 4y ago
How is that 'risking everything'??
483.
by rscho 4y ago
Doesn't SBCL have this functionality?
484.
by rscho 4y ago
You'll excuse me if I'm a bit skeptical of the romanticized lifestory version.
485.
by rscho 4y ago
Musk risked everything? That's new. If I am not mistaken, daddy wasn't exactly poor...
486.
by rscho 4y ago
Moose looks really impressive, visually! I think it's one of the flagship Pharo applications.
487.
by rscho 4y ago
> Lisp and Smalltalk may well be great for reinventing wheels, for writing un-readable self modifying code and as a challenging intellectual exercise, but all your productivity just went out the window. This assessment seems very unfair
488.
by rscho 4y ago
> They were trained to hide them and appear to know everything about everything, because they're the experts. That's the scary part IMHO. You've got to realize that we can't really train healthcare workers to admit fa
489.
by rscho 4y ago
You are completely wrong about that. If they passed their exams, they know a lot. They're no good in practice because they had little practice. Yes, we do learn most of our practical skills on the job. Medicine is very much a 'kno
490.
by rscho 4y ago
Listening to teachers, yes please! Listening to pedagogy academics, no thanks!
491.
by rscho 4y ago
Guile scheme is made to be easily embeddable. You should definitely try it. If you want to go the minimalist way, there is also S7, which is very good.
492.
by rscho 4y ago
OMG! And a Marxist on top of that (judging by the color of his blog)! He's clearly in league with the devil! Satanas!
493.
by rscho 4y ago
Yeah, I wanted to try your system on the same database as they're using for medikanren. I got stuck bc loading the whole thing into the prolog fact database was too huge. Perhaps I should retry by querying the SQL database from prolog.
494.
by rscho 4y ago
"pure" prolog I/O is every bit as pure as Haskell pure I/O, which is ... not very much and in a hand-wavy sort of way. My understanding is that it basically means "either it corresponds to the spec, or it fails&quot
495.
by rscho 4y ago
Not really production, but probably THE most impressive biomedicine research work I've seen (and I'm an academic MD): https://github.com/webyrd/mediKanren This is a FOL theorem prover that uses medical resear
496.
by rscho 4y ago
Constraint programming. Everyone will tell you that C++ and Java solvers are so much faster. That's true, but prolog for example is incredibly easy to use in comparison, and in fact not that slow. So if you're prototyping or aimin
497.
by rscho 4y ago
No, what I'm describing is the "monadic" behaviour of `phrase_from_file/2` and similar predicates. In conjunction with definite clause grammars, this means that your I/O operations either conform to the provided spe
498.
by rscho 4y ago
You want pure I/O in an untyped language. DCGs are the easiest way to have that (although they also have their limits).
499.
by rscho 4y ago
How is the Racket community an issue when the "issue" is that one guy bullies (some very particular) people? I've regularly posted reaaaally stupid things on the Racket forums and lists and people (including the core team) ha
500.
by rscho 4y ago
In a much less interactive manner, the Unison language seems like it revolves around some stuff found in Smalltalk
501.
by rscho 4y ago
Very nice! Thanks for sharing!
502.
by rscho 4y ago
I don't think it really does. If I remember correctly, there's a bit of white/blacklisting going on under there.
503.
How does find by example work in the Pharo Finder(chicoary.wordpress.com)
108 points by rscho 4y ago|51 comments
504.
by rscho 4y ago
> Personally I think crypto is a 50/50 chance of working long term. The chance is actually 100%, because future national currencies will be "cryptographic" tokens. Think of it for 2 sec: is there a government on earth that
505.
by rscho 4y ago
Of course not
506.
by rscho 4y ago
Inexperienced C programmer probably doesn't mean inexperienced ASM programmer in this particular case.
507.
by rscho 4y ago
Are claims of easy bootstrapping in Forth really baseless, though? ASM makes sense for C subset, but if one wanted to bootstrap a more complete language directly from scratch, things would probably be different.
508.
by rscho 4y ago
Racket is a competitor to Python, that is IMO a better Python than Python itself. The only thing lacking is popularity, which is probably both a good and bad thing.
509.
by rscho 4y ago
Swiss railways are 51% state-owned, methinks.
510.
by rscho 4y ago
IMO, you overstate the issue of syntax. As a hobbyist in both programming and math, Coq's syntax has never been the reason I failed to complete a proof. But perhaps I'm just too dumb and my difficulties lie elsewhere, so that&#x27

More ›