gralx

61 ms·

91.
by gralx 7y ago
Yes, I did. I prefer math/logic syntax, and I often like to work with pen and paper, and those are my main reasons for preferring TLA+ syntax over PlusCal. The author of Practical TLA+ says PlusCal is innately less expressive. Even so,
92.
by gralx 7y ago
Fantastic, pron - thanks for the helpful replies. I had a look at Practical TLA+ a few weeks back, but because its first example also specifies a concurrent system, and because most of it is written in PlusCal syntax, not in TLA+, I decided
93.
by gralx 7y ago
> I think TLA+ is a great fit for what you want to do. I'm very happy to hear that. > What problems are you facing? Generally, the problem of formally specifying a program in set theory and first-order logic syntax before choosin
94.
by gralx 7y ago
I've been learning TLA+ for the past two months, hoping I could use it as a formal language for software design generally and not just for concurrent systems. I'm enamored with the idea of using math formalisms to describe a state
95.
by gralx 8y ago
Brand Registry enrollment will be good for consumers if it works. I looked into Herman Miller chairs on Amazon.ca last year. The Amazon seller "Madison Seating" was some group selling refurbished HM chairs out of a warehouse, offe
96.
by gralx 8y ago
> can you even get a decent vim extension like we had with vimperator Just FYI, Qutebrowser[1] is a wonderful Vim-like chromium browser inspired by vimperator, VimFX, and the like. It is not extensible, unfortunately, and the web's
97.
by gralx 8y ago
The article doesn't say the GCP results were incorrect. What's your source?
98.
by gralx 8y ago
In PostgreSQL performance, Google Cloud Platform "beats AWS by a factor of 2 in all [Aiven.io] tests".
99.
DarkVishnya: Banks attacked through direct connection to local network (2018)(securelist.com)
1 points by gralx 8y ago|0 comments
100.
by gralx 8y ago
It really is beautiful. It's a variant of Deja Vu, as I recall, and its hinting is perfect on my display. The feature I really needed, though, was good Unicode coverage, especially for math and logic symbols, and Hack has that spades.
101.
by gralx 8y ago
https://onion.debian.org/ Scroll to the end for a very simple how-to.
102.
by gralx 8y ago
Thanks very much for this, klageveen! I chose my default mono font the hard way and wish I'd known about your site back then. Even so, comparing each font on your site affirmed my choice (Hack ftw). I'll be back, though, and will
103.
by gralx 8y ago
Not one of your down-voters. I didn't get this message. My adblocking, maybe? But I respect MIT Technology Review for its solid tech journalism.
104.
by gralx 8y ago
Do quantum computers actually need helium-3? The author doesn't say exactly that, but it's a depressing thought. There's too little of it on Earth to go around.
105.
by gralx 8y ago
Wikipedia's article "Ogallala Aquifer" says that its volume has reduced 9% since the 1940s, 3% in the period 2001-2008 alone (32% of 9%). At this rate of depletion, the aquifer has 240 years left, and once depleted, it would
106.
by gralx 8y ago
Personal transportation is one thing, but the figures for overseas shipping, airplane exhaust, and animal farming constitute well over 30% of total GHG emissions. It's scary. Nevertheless, eliminating fossil fuels in personal transport
107.
by gralx 8y ago
Wind turbines are surprisingly land-intensive: > Meeting present-day US electricity consumption ... would require 12% of the Continental US land area for wind at 0.5 W_e/m^2, or 1% for solar at 5.4 W_e/m^2. Source: http:/
108.
by gralx 8y ago
Everything you just wrote is either wrong or whimsical. TL;DR: To get hypertrophy, lift a weight more than seven times but less than fifteen times and to exhaustion; take a short break; repeat to exhaustion. For protein, eating 1.5 gram per
109.
by gralx 8y ago
What you call mass gaining is called hypertrophy (hy-PER-truh-fee) in sports science literature. Broadly speaking there are two types of hypertrophy you can develop: athletic (sport-specific) hypertrophy and bodybuilding hypertrophy. Both m
110.
by gralx 8y ago
Dr. Ibrahim is still barred from entry to the U.S. "for reasons that remain secret, as noted in the latest 9th Circuit opinion". These "secret" reasons might answer your question and be the real reason Holder signed off
111.
by gralx 8y ago
A semantic point: a stenographic transcript is a recording, just not an audio recording. Furthermore, court stenographers prepare the final transcript from an audio recording, and setting up and controlling the audio equipment to record cou
112.
by gralx 8y ago
Put this in context. Profitable musicians make most of their money from ticket sales to live shows. Recordings serve that business model mainly as promotional material. Profitable recording acts like the later Beatles have been extremely ra
113.
by gralx 8y ago
Fair enough. I assumed the parent's source was OP's article.
114.
by gralx 8y ago
> ... The defendant turned over the data before his resignation ... The FBI affidavit contends Tan deleted the confidential data before leaving the U.S. company, not that he turned the thumb drive over to them. The charges suggest Tan ke
115.
by gralx 8y ago
> ... it's a replacement for Java. Kotlin is the Java replacement I keep reading about.
116.
by gralx 8y ago
The author is describing mindfulness[1] in that quote. The author also produces no evidence Einstein ever practised or espoused it, besides Einstein saying cruises are conducive to uninterrupted thought and work. The violin example sounds a
117.
by gralx 8y ago
And inference by pattern recognition is fallacious, as any Poisson distribution will demonstrate.
118.
by gralx 8y ago
One way that I like is called _having the key to one's own freedom:_ if someone refuses to decrypt data under court order, they go to jail for contempt and stay there until they relent.
119.
by gralx 8y ago
Not discussed in the 2016 threads was how the community supported DuPont despite clear evidence it was poisoning those farmers or their cattle. That group behavior reminds me of stories I've heard from a friend who has close relatives
120.
by gralx 8y ago
Here's the citation from parent link seas.stratos.harvard.edu: S. Idreos, et al., “The Periodic Table of Data Structures,” Bulletin of the IEEE Computer Society Technical Committee on Data Engineering, vol. 41, no. 3, pp. 64-75, 2018.

More ›