mcguire

21 ms·

241.
by mcguire 3y ago
" Virtually all that we know today, however, would remain untouched and when I say I am glad that I live in a century when the Universe is essentially understood, I think I am justified. " I think most people at most times would h
242.
by mcguire 3y ago
In software, all problems are research and development problems. (If it wasn't, it would already be solved now.)
243.
by mcguire 3y ago
What? I said nothing of the sort. In what we laughingly call "normal" geometry, given a line L and a point P not on L, there is exactly one line L' through P parallel to L. In this case, the interior angles of a triangle sum
244.
by mcguire 3y ago
Odds are, if a consumer asked they would tell the consumer to just throw the packaging away. In fact, that's probably what they would tell a retailer.
245.
by mcguire 3y ago
The share button under the YouTube video? :-)
246.
by mcguire 3y ago
" It is written once and not maintained... " Be careful, this is how you get the Ariane V first flight. " You do not need to understand the lammas coq uses to help you prove your theorem... " If I wanted to generalize yo
247.
by mcguire 3y ago
What is the sum of the interior angles of a triangle?
248.
by mcguire 3y ago
Be careful with things like "faithfully reflect reality". :-) Euclidean geometry is intuitively good and seems to work on relatively small areas of the Earth's surface, but non-Euclidean geometries are inconsistent with it an
249.
by mcguire 3y ago
Once upon a time, the professor of a class on logic I was taking pointed out that, if you proved some famous open conjecture (I think Fermat's was the example) using some simple proof that everyone had just missed so far, mathematician
250.
by mcguire 3y ago
Catarina Dutilh Novaes has been arguing much the same thing. She has a 2021 book out, The Dialogical Roots of Deduction, which is on my list but I haven't gotten there yet. I also haven't watched this video, but I'm linking
251.
by mcguire 3y ago
None of those revenue streams are named "Ads", so I have some doubts.
252.
by mcguire 3y ago
Most advice is given in the spirit of good faith, that you are not actually trying to hurt yourself. Further, if you do pick your doctor based on the fact that they will give you the treatment you want, at least someone other than you knows
253.
by mcguire 3y ago
Does anyone have good numbers for, say, deaths per mile driven in urban environments, and for the number of miles driven by driverless cars? The article says: " Both Cruise and Waymo say their vehicles are far safer than human drivers
254.
by mcguire 3y ago
Did anyone ask?
255.
by mcguire 3y ago
Tl;dr: "I would like to justify my decision to dump the GPL for money."
256.
by mcguire 3y ago
SIGSEGV. Or those times when you really wish you had gotten a SIGSEGV.
257.
by mcguire 3y ago
Immediate mode UI? Not having to allocate every where? Memory allocation that tells you when you run out of memory? Static linking? What systems are you thinking about?
258.
by mcguire 3y ago
You obviously can, but doing so takes a considerable effort. Not making that effort leads to lots and lots of bugs.
259.
by mcguire 3y ago
I've never seen a C dialect, other than not supporting bit fields. The language was usually the same although the libraries were all over the place.
260.
by mcguire 3y ago
One of my favorite quotes comes from DDJ in the late 80s, from a letter to the editor. Something like: "Object oriented programming is just functions with persistent state and multiple entry points, and we all learned how bad that was
261.
by mcguire 3y ago
I don't know. I graduated with a BA in CS (which is no longer available), and am pretty happy to have skipped the chem/bio/physics requirement; those are a lot of work for very little gain as far as I can see. I've gotte
262.
by mcguire 3y ago
For one example, https://github.com/tmmcguire/rust-toys/blob/master/alternati... is a program that mmap's an anagram dictionary file and builds a fast-n-dirty hashmap dictionary over the file data.
263.
by mcguire 3y ago
Entirely true. Unfortunately, that comes at a cost of programming time and effort and a decent amount of risk.
264.
by mcguire 3y ago
The short answer is that C makes it easy to do things that you probably shouldn't ought to be doing. (The the answer to the opposite, "what work is C appropriate for?" is systems and embedded stuff, where doing-things-you-pro
265.
by mcguire 3y ago
It still hasn't entirely sunk in. :-) Plus, legacy code.
266.
by mcguire 3y ago
Where by "the world outside" you mean DoD contractors?
267.
by mcguire 3y ago
"Why Pascal is Not My Favorite Programming Language", Brian W. Kernighan, April 2, 1981: https://www.cs.virginia.edu/~evans/cs655/readings/bwk-on-pas... One of the major problems, as I recall, was t
268.
by mcguire 3y ago
FORTRAN didn't officially grow a program stack until FORTRAN 90 (?), although I'm told some of the earlier FORTRAN 77-era compilers supported it. I remember meeting people who could not wrap their heads around the idea that functi
269.
by mcguire 3y ago
There was a freely available FORTRAN on the Fred Fish Amiga disks in the late 80s. It came with a weird license---free for everything, but it couldn't be used for military or military-related things. The 386 was hampered by backwards c
270.
by mcguire 3y ago
How many Lisp Machines did Texas Instruments sell? (I mean outside of that one lab at UT Austin.) :-) I'm talking about applications developers who came out of the small mainframe/minicomputer world of the 70s and into the worksta

More ›