jsjolen

9 ms·

31.
by jsjolen 7y ago
If what you have is actually tendinitis in your elbows then that's fixable through physical therapy (progressively heavier slow loading of the joint in the form of concentric-only single-joint movements).
32.
by jsjolen 7y ago
I've decided that it's the same as having a simply-typed lambda calculus with one type (*) and function types living inside of your type system. Is this correct at all?
33.
by jsjolen 7y ago
I recently purchased a Kindle to restart my interest in reading and of course the first thing I did was to figure out how to develop my own software for it. It turns out that the Kindle runs an embedded version of Java without a GC. This se
34.
by jsjolen 7y ago
Does anyone know if 50 was the original karma limit for downvoting? I'm asking because I've always thought it was 50 and was surprised I was wrong by a factor of 10 :-).
35.
by jsjolen 7y ago
Yeah, you're right that in some manners JS's promises do extend the semantics of a monad (notably in its impl. of return) but it is a monad though: function bindPromise(p, f) { return p.then(f); } function returnPromise(a) { r
36.
by jsjolen 7y ago
Javascript programmers seem to have no problem using a monad every day (promises), and they are huge fans of do-notation in the from of async/await. Imperative programmers do not seem to have an issue with the idea of assignment, why a
37.
by jsjolen 7y ago
It's meant to look like a joke on the surface. I was a big fan of the "feels good man" comic (Pepe the frog) but I wouldn't deny that it's been co-opted by the far right. Also, kekistan is a way worse joke than &quo
38.
by jsjolen 7y ago
Does CASH Music do the same thing but gratis and FLOSS? https://github.com/cashmusic EDIT: Nah, not really. CASH Music gives a platform, Drip is for connecting platforms.
39.
by jsjolen 7y ago
Don't worry, it pretty much isn't possible to do so without semantics which will basically make your program "drift" during run-time away from what a newly compiled program would do. EDIT: Assuming inlining and call-by-v
40.
by jsjolen 7y ago
>Many things happen and none of them are magical. The glycemic index of a raw fruit isn't the same as a juice from the same fruit for example, you don't get the fibers, &c. Only if you buy a juice concentrate. Making your o
41.
by jsjolen 7y ago
If the size of a struct is changed through hot-code reloading then how does the runtime react?
42.
by jsjolen 7y ago
I don't believe that this matters. Why would it? Offal has great nutritional value. The inuit did perfectly well on an all-meat diet. The issue is more likely curing with nitrites and smoking. >It's like eating a fruit vs drink
43.
by jsjolen 7y ago
Perhaps we can judge the statements on the evidence behind them? The reason that processed meat (that is meats which are smoked, salted, etc.) is recommended to not be eaten is because it has been shown to be carcinogenic. The egg thing is
44.
by jsjolen 7y ago
There has been an obesity increase in all western countries, including Norway. Here's the best source I have on Norway: https://www.fhi.no/nettpub/hin/levevaner/overvekt-og-fedme/ I wouldn't di
45.
by jsjolen 7y ago
I wonder if obesity can be at least partly to blame. Anecdotally I've talked to some teachers who say that children's media nowadays is simplified. Less 'difficult' words, always explaining (never leaving things to be fi
46.
by jsjolen 7y ago
Hi! Just a last comment, we're kind of off the rails here. I'll read your reply but I won't answer, I hope you're OK with that! > What you're presenting is a Turing tarpit kind of argument - totally irrelevant to
47.
by jsjolen 7y ago
>If it was a reasonable claim, then would someone name the production OS from the early 70s written in LISP, and explain how it's better? Better or more performant for some measure of performance? I mean, you can always read the UNI
48.
by jsjolen 7y ago
>But empirically, for general systems programming, C is second only to assembly in performance,[...] and gives you control in a very accessible way. Alright, but to what degree is the latter the cause of the former? The OP has already no
49.
by jsjolen 7y ago
>For typed strings, String[T] the compare operator ignores the generic type and is based on the order of the underlying raw string e.g. both arguments are coerced to String. Why? What even was the point in making them 'typed' t
50.
by jsjolen 8y ago
Yeah, Gecode supports floating point variables if that's of interest.
51.
by jsjolen 8y ago
He's talking about Gapminder: https://www.gapminder.org/ He's basically telling you to educate yourself ;-)
52.
by jsjolen 8y ago
Situps work the abs by flexing them along with the spine. Stuart McGill (who's the guy on spine health) would say that's a bad idea and probably recommend something like planks instead. Push ups aren't bad, but training your
53.
by jsjolen 8y ago
GDPR has extended what misconduct entails. If your company acts ethically regarding the privacy of your users you'll be fine.
54.
by jsjolen 8y ago
Seeing HackerNews complain about GDPR is a strange experience. Every day I utilize GDPR to ensure that I am not tracked by the websites that I visit. The expectations of GDPR are lower for smaller companies. GDPR is a massive win for the in
55.
by jsjolen 8y ago
/smug-lisp-weenie-mode I didn't realise that SBCL is interpreted.
56.
by jsjolen 9y ago
A constraint solver typically works by: 1. Having a finite set of variables with a finite set of possible values 2. Having a finite set of propagators which are monotonic on variables (that is, it either reduces the amount of possible value
57.
by jsjolen 9y ago
The mouse bug seems to be gone for me (it was mainly triggered by alt-tabbing out of the window). It still has an issue with text not being rendered properly while typing.
58.
by jsjolen 9y ago
I purchased voicecode.io for 300 bucks. A few years later and no Windows or Linux release, too bad!
59.
by jsjolen 9y ago
He kind of did. I asked him and he sent me a copy, I'm pretty sure I'm not allowed to send it along however.
60.
by jsjolen 9y ago
Constraint programming is used. One (very cool) instance of constraint programming occurs at Ericsson through the Unison project http://unison-code.github.io/ .

More ›