lou1306

67 ms·

811.
by lou1306 9y ago
Also, the part about "Input some learning data" makes me think to Machine Learning rather than Meta Language. Btw, Prolog and ML might look like distant cousins: e.g. you use recursion and pattern matching in both. But under the h
812.
by lou1306 9y ago
It seems we have come full circle (the Erlang VM was originally written in Prolog)
813.
by lou1306 9y ago
Eh, they are quite different under the hood. To put it real simple (and probably quite sloppy): Prolog determines the output by applying logic. ML uses mathematics to analyze the input and "guesses" the output, based on the traini
814.
by lou1306 9y ago
This is really neat, but in my opinion conflating theory and actual verification through Coq might be a bit too much for a newcomer. For those who are looking for a softer introduction to the field, I highly recommend "Reactive Syst
815.
by lou1306 9y ago
The Wolfenstein 3D tidbit is lovely. That game's a gem for so many different reasons.
816.
by lou1306 9y ago
Another short, important paper: E. W. Dijkstra, “Solution of a problem in concurrent programming control,” Commun. ACM, vol. 8, no. 9, p. 569, Sep. 1965. Just one page, no references (understandable, since it is one of the very first papers
817.
by lou1306 9y ago
Keywords "practical" and "useful". No one advocates parking-lot Turing machines for actual usage, but the fact is electronics only gives you speed and size improvements, while expressiveness remains the same.
818.
by lou1306 9y ago
You are correct. In fact, Einstein predicted gravitational waves but considered them un-observable, and the LIGO interferometer is 1km long exactly to magnify the effect.
819.
by lou1306 9y ago
> The creator had the option to choose a license that could have prevented this exact situation So, since any piece of code can potentially end up in a monitoring, surveillance system, the only logical conclusion is we must kill BSD lice
820.
by lou1306 9y ago
Some of the issues are totally language-related. > It’s hard to reason about code when it does something entirely different depending on what code has executed in the runtime before it. > What we really need are more explicit guarante
821.
by lou1306 9y ago
Fact is, they do spend a lot of time coding, but most of the code they write is either boilerplate, countermeasures to the language shortcomings, or tests to keep the language from biting you. At some point (and if the codebase is not that
822.
by lou1306 9y ago
It is not bad , and its history (as well as Metafont's) is remarkable. However, the Adobe Utopia font, available by using the fourier package, is so much better IMHO.
823.
by lou1306 9y ago
This is true, but: > When we derive the consequences of a theory, we introduce new concepts — protons, molecules, stars — because they are convenient Couldn't matter itself be just another "human", "convenient"
824.
by lou1306 9y ago
I'm a philosophy noob, but isn't this very similar to Berkeley-style immaterialism?
825.
by lou1306 9y ago
It depends... Do you consider 0% "a percentage"?
826.
by lou1306 9y ago
These applications may contain bad code, but on the other hand game engines exploit hardware acceleration, so it's kind of an unfair comparison.
827.
by lou1306 9y ago
So I suppose you have never/will never read Tom Sawyer, due to Injun Joe? People in the past had (what we now consider) backward mentality, and we have to deal with it somehow. I did mutter "wtf, man?!" upon reaching that par
828.
by lou1306 9y ago
> If you don't need inter-process communications, you don't need ROS. All I'm saying is, there are cases when you do need IPC, but you can do it without ROS... Surely it brings major benefits wrt. code reuse, but it can a
829.
by lou1306 9y ago
That's an ugly-ass footbal, geometry aside. The one we have in Italy is much more pleasing (not to mention correct): https://imgur.com/a/0XqNV
830.
by lou1306 9y ago
This. I mean, production-grade robotics is complicated, but using it just for connecting some Python functions via Pub/Sub is probably overkill... I guess there are simpler options (Redis maybe?) (Personally, while working on my mast
831.
by lou1306 9y ago
All of the above is true, but can also be said of software testing, with the difference that testing scales better by giving you less guarantees. It is really just a matter of choosing the right tool for the job. Sometimes you need to be re
832.
by lou1306 9y ago
I believe it is "simpler" in terms of formal semantics. Formalizing standard C is way harder (see https://github.com/kframework/c-semantics ). In fact, C0 is explicitly targeted at computer scientists rather t
833.
by lou1306 9y ago
No floating point types is a little harsh, but IMHO one should only use them when they really understand their implications. Otherwise they might be tempted to do Bad Stuff like using float for currencies, etc.
834.
by lou1306 9y ago
> like Microsoft is doing I thought it was, you know, game developers and publishers? How many games are actually published by Microsoft, outside of Halo, Minecraft, Age of Empires, and Gears of War?
835.
by lou1306 9y ago
As Gavin Belson said in the Silicon Valley pilot: "All these guys are like that, they're all about consumer facing." You would expect a behemoth corporation to know better than a 20-something startupper, but still.
836.
by lou1306 9y ago
One could build something similar by using a set of "conventional" canonical S-expressions: https://en.wikipedia.org/wiki/Canonical_S-expressions
837.
by lou1306 9y ago
The people who accept/reject your paper are mostly volunteers [1], so that service alone doesn't justify the prices. And if you take a look around this thread, the other services really aren't that much better. [1] https:&#x
838.
by lou1306 9y ago
I guess he was talking about actual data leaks, iCloud has a pretty bad track record on that front...
839.
by lou1306 9y ago
This. I took the habit of writing very Python-like pseudocode while taking lecture notes, and having it run almost verbatim at home was a blast.
840.
by lou1306 9y ago
Visual Studio for Mac also exists, but it is another different product (basically a rebranded MonoDevelop with some additional features)

More ›