sn41

66 ms·

751.
by sn41 8y ago
There's also the misplaced emphasis on speed. Software safety and verification courses are considered "advanced" level. CS undergraduates are now led to believe that logic is a bore, and is old-fashioned computer science. Of
752.
by sn41 8y ago
I am sure that an autonomous system that does not have a manual override will have the same pushback against it.
753.
by sn41 8y ago
I use Apple Music on Android, in India. (The list of Indian titles available in Apple Music has been impressive, so I am inferring from that there's enough demand to keep the catalogue updated.)
754.
by sn41 8y ago
I use an awk interpreter called mawk.[1] This is noticeably faster than gawk or other standard variants. [1] https://invisible-island.net/mawk/
755.
by sn41 8y ago
I wish there was a way to reduce stress the way you describe alcohol does, but without the tolerance-related escalation and the addiction. I have been trying meditation and progressive relaxation - they do work, but only for a limited durat
756.
by sn41 8y ago
So true. Towards the end of my doctoral thesis, I found myself brooding and gloomy, and difficult to relate to others. The same mood returns when I am intensely working on something,
757.
by sn41 8y ago
Is there a more energetic way of looking at life than stoicism? Stoicism seemed life-denying whenever I seemed to get knto it.
758.
by sn41 8y ago
Sounds like a really humble and level-headed guy. Kudos for all the selfless hours he has put in for the greater good.
759.
by sn41 8y ago
Also, tech workers willingly buy into a very harsh libertarian ideology. It is hard to accept that as an employee in a company, we are more likely the blue-collar Joe Six-Packs, not the John Galts.
760.
by sn41 8y ago
A related note on prison systems designed as cheap labor: Solzhenitsyn argued that the Gulag system was not a Stalinist aberration from the Soviet ideal : Lenin himself had envisioned forced labor in an extensive network. Solzhenitsyn remar
761.
by sn41 8y ago
Maxima[1] can do symbolic computation and display the result in ASCII. I use Maxima notation when I need to do this. [1] https://en.wikipedia.org/wiki/Maxima_(software)
762.
by sn41 8y ago
It is rare for general purpose languages to make matrices as easy to manipulate as MATLAB does. Maybe Julia will fill this need, once it becomes more popular. Right now, for fast coding involving matrices (not necessarily fast running time,
763.
by sn41 8y ago
In Malayalam, (Indian, Dravidian language), the word (based on Sanskrit) is "Manassil aayo", which is literally "has it entered your mind"?
764.
by sn41 8y ago
I am not sure about this... are you talking about experimental research? I am a theoretician. I go through several idiotic ideas before hitting on the right one. I'd be embarrassed to admit my silly, initial attempts before my colleag
765.
by sn41 8y ago
[deleted]
766.
by sn41 8y ago
I think this is one of the reasons why people in Germany are so highly technically skilled. In India where I live (this is the same pretty much in all of Asia - r.g. China, S. Korea, Japan) students have to go through nightmarish entrance e
767.
by sn41 8y ago
In some deep sense, what you are saying is true : for example, if an infinite sequence of numbers is sufficiently dense, then it has arbitrarily long arithmetic progressions.[1] On the other hand, Rankin in 1990 constructed a set with posit
768.
by sn41 8y ago
It is rarely the case that the shortest program is the fastest. To see a simple such phenomenon (very roughly) in the case of Kolmogorov complexity, consider two programs to print a sequence of 0x1000000 zeros. Program 1: for i = 1 to
769.
by sn41 8y ago
The issue with trying to apply Kolmogorov complexity to extremely small data (4 digits here) is that the universal Turing machine itself might take more than 4 digits to write down. In principle, one could extend it to any sufficiently long
770.
by sn41 8y ago
Peer review is not paid work. Mostly it is done as an overhead that is understood as part of being an active researcher. I would even venture to say that most researchers will be against the idea of paid reviews, just like Amazon found out
771.
by sn41 8y ago
Thank you for the reference on forcing. Will read it carefully. > This line of research hasn't gone very well in practice since Gödel's time. It has produced a lot of interesting set theory, but has not really impacted mathemat
772.
by sn41 8y ago
Isn't all this press by the Nature publishing group just about hyping up one of its newer magazines that the larger research community is boycotting? By the way, Paul Cohen, who proved the independence of the Continuum Hypothesis, says
773.
by sn41 8y ago
I love brew. But I have heard a lot of complaints against it, and arguments that Nix (and probably Guix) is better. I tried it once, and had a tough time getting my old scripts to find the exact versions. I gave up on Nix. Can someone eli5
774.
by sn41 8y ago
Google's fall from grace mirrors HP's and Xerox's. At some level, CEOs who do not share an altruistic vision espoused by the "rank-and-file" engineers who are more idealistic. I think in Xerox, they were called &quo
775.
by sn41 8y ago
I'm Indian, I think the BBC has an anti-India bias, and is heavily politically conservative, but socially liberal. The one thing I do give the BBC credit for, is that they did not resort to overt mud-slinging against Jeremy Corbyn, as
776.
by sn41 8y ago
The privacy settings user interface on my Android is deceptive. It lures you into thinking that you have changed all the settings and does not show all the settings in one go. Google is creepy.
777.
by sn41 8y ago
Also the proxy war between UAE+Saudi on one side against Iran that is going on Yemen. Yemenis are poor, and their nation is being ruined. This reminds me of Eurasia vs Eastasia in far-off Malabar in George Orwell's 1984. Still no grea
778.
by sn41 8y ago
And police must be given training in de-escalation. There are a lot of skilled hostage negotiators in the police, probably every team needs one. Getting rid of overpunishment for victimless crimes will go a long way in avoiding needless cr
779.
by sn41 8y ago
To me a big mistake in C is its multidimensional arrays. For example, it is not possible to write a function which multiplies two rectangular matrices, since the sizes cannot vary in that manner (m×n and n×k, with m, n, and k variable). On
780.
by sn41 8y ago
Absolutely. I worked in a small software firm in the midwest. I felt bullied and victimised on certain occasions. It was absolutely horrible, and I later came to know that many former employees agreed. I left it about 5 years ago. (I'm

More ›