dwheeler

32 ms·

421.
by dwheeler 4y ago
Inform 7 is a very different language from other programming languages. Historically it was developed to be domain-specific and usable by non-programmers. An interesting summary is here: "Inform 7 for Programmers" by Ron Newcomb
422.
by dwheeler 4y ago
This is great news! Inform 7 is really intriguing.
423.
by dwheeler 5y ago
It depends on the organization, of course. At my previous employer an interviewer would go through an interview panel, give a presentation, get taken out to a nice lunch with a few people (which was absolutely another interview), and 1-2 mo
424.
by dwheeler 5y ago
For me, it's a time issue. I don't have time to moderate blog comments on my own blog, so I disabled comments. Some people might post some really awesome comments, but a small percentage of people ruin the whole thing. So moderat
425.
by dwheeler 5y ago
Another huge problem with TDD is a lot of practitioners do not create negative tests. A negative test verifies that something the system shouldn't do is not being done. For example, if you shouldn't allow unauthenticated users un
426.
by dwheeler 5y ago
I agree, assuming the language based on where you happen to be (instead of your actual request) is completely wrong. There are websites that do it correctly. This website, which I maintain, correctly uses the browser setting: https:/&
427.
by dwheeler 5y ago
It's an extremely common pattern. ActiveRecord is an example of an ORM. ORMs are a very common way to connect an object oriented language with a relational database. Since many languages are object oriented, and the databases many peo
428.
by dwheeler 5y ago
Good questions, hard to answer. A few quick thoughts. I will try to dispassionately focus on the facts of the military situation as I understand them. That's going to be hard to do, but I'll try. I'm sure there are experts wh
429.
by dwheeler 5y ago
I often just buy the physical book. It's easy to do, and it's not possible to take the book from me later. I think it should be illegal for sellers to say you can "buy" a book when you have not bought it. It's fraud
430.
by dwheeler 5y ago
This is a great story. Frustrating for the scientists. Amusing for the rest of us.
431.
by dwheeler 5y ago
Twitter + proof-of-thought would be awesome :-).
432.
by dwheeler 5y ago
This is awesome. Proofs about runtimes increase confidence for all their users - or tell us what needs fixing. I hope to see more of this kind of thing.
433.
by dwheeler 5y ago
I completely agree, good point! Historically Chesterton's Fence is that you shouldn't remove something until you understand why it's there, but we should probably broaden the lesson to cover change of any kind. Something like
434.
by dwheeler 5y ago
Practically every technology decision has pros and cons. I think that if you can't think of a good reason not to use some technology, then you don't understand the technology well enough yet and you shouldn't try to use it
435.
by dwheeler 5y ago
Anything made of gold is a terrible idea for very long term storage, because if gold remains valuable,future humans will be incentivized to melt it down & use it for something else. After the late Bronze Age collapse the Egyptian govern
436.
by dwheeler 5y ago
If you're interested in learning how to develop secure software, I recommend checking out the free set of 3 courses from the Open Source Security Foundation (OpenSSF) on "Secure Software Development Fundamentals": https:&#x2
437.
by dwheeler 5y ago
I'm the author, thanks for the link! Mistakes happen, but I think we should try to learn from each one.
438.
by dwheeler 5y ago
The most amazing multi-quine I've seen is the quine relay here: https://github.com/mame/quine-relay It goes through 128 programming languages to regen its starting point.
439.
by dwheeler 5y ago
Excellent to hear! Don't get me wrong, I like Rust. I'm hoping we can get compilation speeds up over time, though, that is a common complaint.
440.
by dwheeler 5y ago
Compiler authors can often make compilation faster, but they have to work at it and think carefully through the problem. It has to be a focus not an afterthought. Years ago the GNAT Ada compiler authors intentionally avoided implementing pr
441.
by dwheeler 5y ago
At one time phones were useful. Robocalls have stolen all our phones from us. I would like my phone back. I would like us all to have our phones back. The penalties actually paid need to increase until we get our phones back from the thieve
442.
by dwheeler 5y ago
Related: I believe there is ongoing work (not in 3.1) to modify the CRuby implementation to use shapes/hidden classes. This has significant potential to speed things up. More info: https://chrisseaton.com/truffleruby&#x
443.
by dwheeler 5y ago
I agree that advice that "isn’t practical" is bad advice, as the article states. I do NOT agree that advice that "isn’t insightful" or "is obvious" is bad advice. The author complains that "Work hard&quo
444.
by dwheeler 5y ago
I am very glad to see this. I looked for techniques to counter adversarial ai, and I was disappointed to find a lot of useless approaches and nothing actually useful. Many people have published ideas, without seriously trying to attack the
445.
by dwheeler 5y ago
GitHub and GitLab use Rails. Many UK government websites do. Like anything else, Rails is good for some things & terrible at others. Rails tries to minimize developer time, at the cost of computing time (Ruby is not a fast language), an
446.
by dwheeler 5y ago
I really like Metamath, but I also appreciate Coq for different reasons. I think it's important that each learn from others.
447.
by dwheeler 5y ago
> how would the Homo sapiens and the cosmos progress and advance if more people understood Principia Mathmatica? It's important to separate historical importance from importance to understanding by most people. The presence of Whi
448.
by dwheeler 5y ago
> ... I am very excited to see this sort of "codification" work become a legitimate academic enterprise. ... I am a big fan or the sort of thinking ... that we need fewer "write an move on" works (e.g. academic papers
449.
by dwheeler 5y ago
Yes, generally the mathematician would write the manuscript & others would turn it into a printable form. IIRC, some people (typographers) created moveable type with math symbols that would then be set in place by a typesetter; if that
450.
by dwheeler 5y ago
There is no single authoritative source for mathematical notation. That said, there are a lot of common conventions. You could do worse than this NIST document if it's just a notation question: https://dlmf.nist.gov/fro

More ›