Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
lou1306
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
53 ms
·
691.
▲
by
lou1306
8y ago
Of course it's just better organization of the codebase and a less-polluted namespace. Also, if you're writing a library, it may affect the API you give to the user. If you move a function to a static method, the end user only ne
692.
▲
by
lou1306
8y ago
> I dont use @staticmethod, or find it useful. If I want a function, I use a function. In principle, it makes sense to "bundle" functions that are strictly related to a class within the class itself (i.e. as static methods). Of
693.
▲
by
lou1306
8y ago
Heck, the concept of lying itself is a philosophical minefield. No way they solved that. This thing, as stated in the article, just relies on physiological indicators and muscular activity. So it is a polygraph with a shiny layer of buz
694.
▲
by
lou1306
8y ago
Still, being "more benign" does not imply that it won't have any effect on a developing brain.
695.
▲
by
lou1306
8y ago
Indeed, if the cable is pulled parallel to the surface the laptop is placed upon, MagSafe won't unplug. There has to be at least some up/downward movement for it to "work". The main problem I see with the removal of MagS
696.
▲
by
lou1306
8y ago
A fair objection. Indeed, in the cited paper ( Time, clocks, and the ordering of events in a distributed system ) Lamport explicitly assumes a Newtonian spacetime.
697.
▲
by
lou1306
8y ago
Does, not, apply. One could even say that GitHub was "embracing & extending" Git (pull requests, issue trackers, wikis) well before the acquisition.
698.
▲
by
lou1306
8y ago
"Always right" is indeed hyperbolic, however the "never challenge compilers" is still good advice. I guess it would be very, very difficult for a human to apply the same optimization passes while introducing less bugs th
699.
▲
by
lou1306
8y ago
Indeed, Java's binary search had this bug for a while! It was found through automatic verification, by the way. https://ai.googleblog.com/2006/06/extra-extra-read-all-about...
700.
▲
by
lou1306
8y ago
She gives him the choice to steer clear of them, or to risk his life and that of his party to listen to them. He decided to take the risky road just for the sake of knowledge, which was a powerful message in prehistoric Greece. Again, it is
701.
▲
by
lou1306
8y ago
The most important part of that episode is the way Odysseus develops a plan to hear their song and live to tell the tale. Today it might seem minor, but people have been fascinated by this character for centuries ( Fatti non foste a viver c
702.
▲
by
lou1306
8y ago
I see your point, but the phrasing is confusing: fuzzy logic is not the same as probability. "A 75% chance of it raining" typically means that it either rains or not . In a fuzzy setting, "I think it is raining" would
703.
▲
by
lou1306
8y ago
Well, not that I agree with the grandparent comment, but in many parts of the world left-handers are indeed discriminated and forcefully trained to become right-handed, which leads to all sorts of problems. This was also commmonplace in Eur
704.
▲
by
lou1306
8y ago
Formal verification: Principles of model checking (Baier, Katoen) It covers the basics of modeling and verifying concurrent systems against linear-time and branching-time properties. It also mentions timed automata, but those more intereste
705.
▲
by
lou1306
8y ago
Moreover, does Safari provide something similar to Firefox's tab containers? Blocking Facebook, Amazon et al. from tracking me across the web is a big deal in my book.
706.
▲
by
lou1306
8y ago
Taxes are not the only factor. Just an example: the average salary of an Italian worker with a university degree is just 30% more than that of one with a "diploma di terza media" (middle school degree/8th grade). [1] A degree
707.
▲
by
lou1306
8y ago
Isn't that basically the same as The Matrix? Moreover, Thomas Anderson/Neo was also a software engineer...
708.
▲
by
lou1306
8y ago
> My encryption method is called ‘my handwriting.’ B-but that's basically just a substitution cypher!
709.
▲
by
lou1306
8y ago
This essay is required reading in many Italian high schools, especially in Liceo Classico, one of the few secondary school types where ancient Greek is still a compulsory course. After all, the questions "Why learn ancient Greek?"
710.
▲
by
lou1306
8y ago
Pandoc [0] could probably do most of the heavy lifting, starting from the ePub files (after all, an ePub is just an archive containing HTML, CSS, images, and metadata) [0]: http://pandoc.org/
711.
▲
by
lou1306
8y ago
Noti looks nice, but typically I just do `whatever-long-command && tput bel`. On Macs, the Terminal dock icon bounces and gets a badge whenever the console bell rings and the terminal is in the background. https://apple.s
712.
▲
by
lou1306
8y ago
This somehow reminds me of an interesting tidbit in an old paper about the architecture of natural multi-agent systems such as ant colonies. Basically the resilience and reliability of the overall system is a result of agents not being &quo
713.
▲
by
lou1306
8y ago
Agreed! I started verifying stuff with different tools as part of my PhD and it is really not that hard to grasp the basic concepts. It becomes more complex the deeper you delve in the internals, but I think it would be great if more people
714.
▲
by
lou1306
8y ago
Python also has [p for p in people if 20 >= p.age >= 13] which someone (I, for one) might find more readable than both the proposed `where` method and the `filter` builtin
715.
▲
by
lou1306
8y ago
Personally, I just sync metadata and use my institutional Google Cloud storage for PDFs. A little more convoluted (I think this wouldn't work without the ZotFile plugin) but it appears to work across my 2 devices.
716.
▲
by
lou1306
8y ago
Extra dimension were part of string theory right from the start. The idea that everything comes from vibrating strings cannot work if you only consider the four-dimensional relativistic spacetime. (The maths behind it is awful complex btw,
717.
▲
by
lou1306
8y ago
Oh yes, it would be amazing to see "Windows for Linux". Whatever that means.
718.
▲
by
lou1306
8y ago
My early 2015 13'' MBP had the same problem, which is quite well-documented online. Have you tried replacing the keyboard cable? It's a ~€10 fix (say 20, if you don't have a pentalobe screwdriver) and there are lots of t
719.
▲
by
lou1306
8y ago
Foucault's Pendulum also contain a great (fictional, but clearly autobiographical somehow) account of life in rural Italy during the Resistance.
720.
▲
by
lou1306
8y ago
"Think" was an actual IBM slogan well before ThinkPads. [0] (Which is also the reason behind Apple's "Think Different"). I guess the idea of using slogans as effective domain names wasn't as popular as today. [
More ›