mcguire

10 ms·

91.
Deletion of UniSuper's Private Cloud Subscription(unisuper.com.au)
42 points by mcguire 2y ago|7 comments
92.
Ask HN: Google search query for `scheme tutorial`?
1 points by mcguire 2y ago|1 comments
93.
by mcguire 2y ago
It's been a while since I looked at SPARK and Ada, but the last time I did, SPARK was very well integrated with the GNAT Studio IDE. I still preferred frama-c, because C, but it's a really nice toolchain.
94.
by mcguire 2y ago
That was the way I learned it. I found the lambda calculus the odd one out. :-)
95.
by mcguire 2y ago
Ethics. Is there a difference between 'belief' and 'knowledge'? Why does the universe exist? (This is, I think, the core of 'why is there something rather than nothing?')
96.
by mcguire 2y ago
What should I do? (Not "what can I do?")
97.
by mcguire 2y ago
Neat observation: finite automata, push-down automata, and Turing machines can be distinguished purely by the number of stacks they need. Finite automata: no stack. Pushdown automata: one stack. Turing machine: two stacks. (Use them like th
98.
by mcguire 2y ago
" Relativity overturned those Newtonian assumptions on which Kant depended, although he might say we nevertheless have to experience time as constant and space in three dimensions, regardless of how those things turn out to "reall
99.
by mcguire 2y ago
You do realize you are doing philosophy at this moment, right?
100.
by mcguire 2y ago
Unfortunately, there are questions that cannot be empirically answered. Some of those questions are important.
101.
by mcguire 2y ago
My understanding is that the best current interpretation of quantum mechanics is that there is no interpretation and that you just have to do the math.
102.
Twitter's Future Is a Return to Elon Musk's Past(every.to)
2 points by mcguire 2y ago|0 comments
103.
by mcguire 3y ago
Bass fishing is a major part of tourism in NE Alabama, so most hotels have many 110v outlets near the parking lots to support the boats' trolling motor batteries, and I don't believe they charge (ahem) for access. But introducing
104.
by mcguire 3y ago
My assumption is that it's an attempt to cause the bomb to be suicidal.
105.
by mcguire 3y ago
Not to mention Sean Connery's nipples.
106.
by mcguire 3y ago
I hadn't realized the link between Dark Star and Red Dwarf! In retrospect, it's kind of obvious.
107.
by mcguire 3y ago
In the 90s, RentAWreck at least used to be part of an operation called FixAWreck who did low cost auto repairs. I used them shortly after I'd moved and had an excellent time with the two sub-compacts they gave me while my car was in th
108.
by mcguire 3y ago
" I mostly charge at home " That's kind of a key point. It may not be possible with a rental.
109.
by mcguire 3y ago
How many hotels have sufficient charging capacity to charge EVs while people sleep? A lot of hotels around here have 110v outlets in their parking lots for fishermen to charge their bass boats but I haven't heard that a similar ethic a
110.
by mcguire 3y ago
Congratulations, you've just made me want to do something that nothing else has in a long time: go read more of Ursula Le Guin.
111.
by mcguire 3y ago
Freud may be silly, but the standing (ahem) of the phallus in human culture is pretty high. https://www.livescience.com/archaeology/11000-year-old-statu...
112.
by mcguire 3y ago
Putting on my Computer Scientist hat (and getting all of the tentacles out of my face so I can see), GIAM seems to be a good, if a little verbose[1], introduction to formal logic and basic set theory. Those are fundamental to CS and this is
113.
by mcguire 3y ago
Wasn't that how Tesla started, making an electrified version of a Lotus Elan?
114.
by mcguire 3y ago
What do you do to make money?
115.
by mcguire 3y ago
At the risk of sounding too "woke", I have to point out that many people are not in the privileged situation of being able to afford to create music, art, or writing without getting a financial reward from it. If they have somet
116.
by mcguire 3y ago
Two problems here: 1. If a human does that, they can be sued for doing so. If the reuse is egregious enough they will lose in court. 2. Industrial farming and industrial production have in fact been some of the more contentious economic pro
117.
by mcguire 3y ago
Those are essentially shell companies.
118.
by mcguire 3y ago
This is similar to the presentation in Software Tools , IIRC.
119.
by mcguire 3y ago
There seems to be a small misunderstanding on the behavior of pipes here. All the commands in a bash pipeline do start at the same time, but output goes into the pipeline buffer whenever the writing process writes it. There is no specific p
120.
by mcguire 3y ago
Or, you could just not have the "low-*" versions and tell anyone who needed or wanted them, "Tough." I wouldn't advise it, though.

More ›