gralx

17 ms·

31.
by gralx 4y ago
Yes, it is. John von Neumann memorized math formulas. Keats memorized Shakespeare. The whole of Homer's work is oral story-telling passed down through generations of memorizers. There is a World Memory Championships. You would probably
32.
by gralx 4y ago
ya i aint never heard the term b4 neither. colorful. wonder if middlebrow refers to furrowing between teh browz??>
33.
by gralx 4y ago
That's certainly an idea.
34.
by gralx 4y ago
I suspect it went into the settlement payment. Wouldn't it be ironic if so many principled advocates of open source and supporters of the GNOME project had their funds paid directly to a patent troll by GNOME themselves?
35.
by gralx 4y ago
If I remember right this website's reporters are banned from Apple promotional events because of their earnest (and colorful) reviews of Apple products. Humor reminds me of The Register.
36.
by gralx 4y ago
> ... one hallmark of a bubble about to collapse is fraud running rampant. Famous shortseller Jim Chanos says the same.
37.
by gralx 5y ago
As a fellow user of Google Maps, I'd gladly give up those features to make the roads a little safer. You have different priorities.
38.
by gralx 5y ago
Read Leslie Lamport's Specifying Systems (2003),¹ study the example modules, study others' modules online, and write your own. It's a really good way to bug test your program's logic before you choose the language to c
39.
Google, Amazon, Meta and Microsoft Weave a Fiber-Optic Web of Power(wsj.com)
47 points by gralx 5y ago|22 comments
40.
by gralx 5y ago
Lamport has published a TLA+ spec of the Paxos consensus algorithm¹, but none I could find of the Paxos algorithm itself (aka multi-Paxos). In 2016 some academics at Stony Brook University did, along with a machine-checked TLAPS proof, upda
41.
by gralx 5y ago
> Wow, I guess China and the CCP really are great after all. Way better than the USA. How does the parent imply China and the CCP are better than the US?
42.
by gralx 5y ago
Yeah, neither goes twice into seven.
43.
Formal Verification of Multi-Paxos for Distributed Consensus, v4 (2016, 2019)(arxiv.org)
1 points by gralx 5y ago|1 comments
44.
by gralx 5y ago
This is the best TLA+ specification of the Paxos algorithm I can find, for anyone interested. I was surprised that although Leslie Lamport has published a TLA+ spec for Paxos consensus¹, he has not published one for his Paxos algorithm itse
45.
by gralx 5y ago
I think back to this essay every year and have done so for years. Worth re-reading. I learned the King James Ecclesiastes verse because of it.
46.
by gralx 5y ago
As Powell's chief of staff Col. Lawrence Wilkerson once recalled, that speech resulted in a resumption of hostilities for a war that already received Security Council approval back in the '90s - the original war never stopped, as
47.
by gralx 5y ago
In case anyone missed the IEEE Spectrum piece "Here's How We Could Brighten Clouds to Cool the Earth" published Sept 7: https://spectrum.ieee.org/climate-change Discussion on HN: https://news.yco
48.
by gralx 5y ago
Linux is "just" the kernel, and statements like XNU UI > Linux UI > Windows NT UI don't make sense because Linux has many different UIs. I'm pretty sure there is no macOS UI comparable to my preferred tiling window
49.
by gralx 5y ago
Just FYI for anyone having this issue, Tor 2.0 is deprecated and has been hit or miss for roughly the past year. As long as you're using their Tor 3.0 onion address you should have few issues.
50.
by gralx 5y ago
From "Skynet Basics"[0], > Behind the scenes, a Skynet portal is a Sia renter that rents and stores data for its users and can retrieve files from storage being rented by other portals. I think you're describing one such p
51.
by gralx 5y ago
"We refuse to" might be clearest of all.
52.
by gralx 5y ago
News organizations are PR outfits by their very nature. I'd just be parroting Herman and Chomsky's Manufacturing Consent , though, to explain it. If you disagree with them, you'll disagree with my perspective.
53.
by gralx 5y ago
Reuters' news service is a division within Thomson Reuters that complements much more profitable divisions. As such, I can't imagine this paywall addresses any question of sustainability. For a financial, accounting, and legal ser
54.
by gralx 5y ago
The prose is mushy, but I appreciate the Grant movie recommendations.
55.
by gralx 6y ago
I would add an excellent introduction by Scott Wlaschin on YouTube called "Building confidence in concurrent code using a model checker."[0] Lamport's Specifying Systems (2002, linked above) is a great book. It covers groun
56.
by gralx 6y ago
Intel tried this too, according to an ex-Intel employee here. It's a management strategy intended to get the best result by inspiring competition. The problems it invites are the obvious, but the tradeoff may be justified in some scena
57.
by gralx 6y ago
Please continue to use the word "infect" when talking about GPL. It exhausts the energy of those who police usage of words by perceived connotation, an activity that distracts from and interrupts fruitful discussion of more meanin
58.
by gralx 6y ago
Thanks for the reply, The-Compiler, and for your project. I assumed my problem was related to the QT issue because it started at the same time, but I was wrong. It's just a configuration mistake. I had `session.default_name` set to no
59.
by gralx 6y ago
Sessions (:session-save) have not been saving properly in v1.14, a known issue related to QT. No news about it in changelog.
60.
by gralx 6y ago
Oh - I never read the frame. You're right. My brain processes those things like advertisements and skips right over.

More ›