jakub_h

22 ms·

61.
by jakub_h 10y ago
Recently I've found myself having severe problems with seeing clear borders between many concepts. IF expressions, type-based dispatching, matching, generic functions, predicate dispatching...a lot of it basically boils down to the sam
62.
by jakub_h 10y ago
> "Static languages, in particular Haskell, PureScript, etc, are unparalleled when it comes to fast prototyping or design space exploration. The compiler can show you whether your idea even makes sense before writing big chunks of b
63.
by jakub_h 10y ago
That almost sounds like Tamarian! ;)
64.
by jakub_h 10y ago
Why blur faces when it should be possible to completely remove people? At least eventually.
65.
by jakub_h 10y ago
> It's probably why techs like Javascript, MongoDB, Ruby on Rails, Java, PHP, MySQL, Wordpress, etc. have gotten widespread adoption despite numerous technical flaws. They have a very low barrier to getting something useful up on sc
66.
by jakub_h 10y ago
The government still does have better resources, though. Times have changes a bit from the 1700s in that the most modern things available to the two parties are not the same for both sides anymore.
67.
by jakub_h 10y ago
If "genetically modified" doesn't apply to this then it appears meaningless as a useful term to me.
68.
by jakub_h 10y ago
Close enough, wouldn't you say? There are slightly heavier molecules to be found there as well.
69.
by jakub_h 10y ago
Optical/IR links?
70.
by jakub_h 10y ago
Very illegal in Europe or very illegal in Iran?
71.
by jakub_h 10y ago
You need a hotspot for a point-to-point WiFi connection?
72.
by jakub_h 10y ago
> going to the Moon doesn't really count, and we've since lost that capability again What we've lost is will. The capability is definitely better today, even though still not affordable enough to fit today's budgets.
73.
by jakub_h 10y ago
Or just tell the government there's oil on Titan. ;)
74.
by jakub_h 10y ago
Isn't it the case that at least some unsafe features in C actually prevent compiler optimizations? Being safe should not necessarily mean being slower. Sometimes restrictions are enablers for better compilers.
75.
by jakub_h 10y ago
Pehaps this is the point of LLVM, but the point of Go was getting rid of C++.
76.
by jakub_h 10y ago
"but easy for it to reason about the high-level semantics." Is it? Does it make it possible to argue about such things as that mappings can be fused, for example? I keep wondering about the possibility of very-high-level algebraic
77.
by jakub_h 10y ago
Will WebAssembly allow for self-modifying code? Otherwise you're stuck with CPython, apparently.
78.
by jakub_h 10y ago
> Don't even get me started on electronics when it comes to the overabundance of choice. I only buy Apple laptops now specifically because the choice is so limited and I can be sure that I'm getting "the best" laptop.
79.
by jakub_h 10y ago
> This, is one of the main sources of time waste and stress in everyday life. Take choosing a car insurance policy, each insurer will provide many options with only minor or irrelevant differences, making comparing competing offers hard.
80.
by jakub_h 10y ago
Well, conservative GC is known for this kind of problems, but the overhead is supposed to be generally bounded. I'm not sure about pathological cases; Go may have hit one back then. It highly depends on the circumstances. For example,
81.
by jakub_h 10y ago
Just look at the author name. One of the Great Old Ones himself! We're not worthy.
82.
by jakub_h 10y ago
> microsoft.com Ehm, seriously? > Butler W. Lampson Oh, ok!
83.
by jakub_h 10y ago
They just might, for copying western books, for example. ;)
84.
by jakub_h 10y ago
Since you mention OMeta, let me remark here that for some reason, this whole Graal+Truffle thing looks to me like an "enterprisey" version of OMeta+COLA.
85.
by jakub_h 10y ago
"This isn't about functions. This is about building a language for the business case that is comprised of primitive expressions, means of combination, and means of abstraction." Heh. Anyone up for a Sussman&Abelson drinki
86.
by jakub_h 10y ago
That's just the editor doing the compiler's work at edit time, though. I know that Chuck Moore has always advocated extreme early binding, but that really is usually associated with Forth, not with mainstream languages.
87.
by jakub_h 10y ago
It's never been all about inheritance, they just forgot to tell that to Stroustrup and Gosling. ;)
88.
by jakub_h 10y ago
Did you attend an "encapsulation, polymorphism, inheritance are our holy buzzwords" (yuck!) kind of technical college or a "focus on messaging patterns" (yay!) kind of technical college? The former kind tends to do that
89.
by jakub_h 10y ago
"It's just like we all learned in college! Object Oriented programming is supposed to model real-life!" It is - in execution (message passing), not in taxonomies. You can't model the taxonomies because all set-in-sto
90.
by jakub_h 10y ago
True. I've long held the view that low costs of launches basically require two things: the equipment should be cheap to manufacture and cheap to service. Shuttle violated the former big time and in all likelihood also the latter. F9

More ›