MaxBarraclough

10 ms·

91.
by MaxBarraclough 11mo ago
> I'm Irish and have a common firstname.lastname@gmail.com At the risk of nitpicking, @gmail.com email addresses use a dots don't matter policy [0] so really you have a common firstnamelastname@gmail.com and are free to add d
92.
by MaxBarraclough 11mo ago
I agree that's a poor way to teach matrix multiplication. This topic arose last year. [0] Don't introduce any clumsy nonstandard transformations like 'rotating' a matrix, just highlight the relevant row and column. [1] [
93.
by MaxBarraclough 1y ago
I'm reminded of table inheritance in Postgres, it's not quite the same thing but it's close. https://www.postgresql.org/docs/current/tutorial-inheritance...
94.
by MaxBarraclough 1y ago
I should have been clearer, I meant the Wikipedia article. Ozar's article is much better. It doesn't make sweeping assumptions about the limitations of all query optimisers, or basic oversights in contrasting supposedly equivalent
95.
by MaxBarraclough 1y ago
I'm sceptical of that article, it's making guesses about the limitations of SQL query optimisers. Consider the Simple example it presents. The article is in effect implying that no query optimiser would be able to figure out the
96.
by MaxBarraclough 1y ago
Right, Date's idea didn't catch on. I'm not aware of any industry-strength RDBMS prohibiting storing null. Agreed that queries would tend be longer as you'd need joins, although views could help, especially for read oper
97.
by MaxBarraclough 1y ago
> This is literally what NULL is for. It's a special value precisely because missing data or a N/A field is so common. Kinda. You need null for outer joins, but you could have a relational DBMS that prohibits nullable columns i
98.
by MaxBarraclough 1y ago
Pointing to books isn't very helpful here. Please just state the definition you are advocating.
99.
by MaxBarraclough 1y ago
Sounds a little like the 10MB of EDRAM on the Xbox 360, although I think it was only accessible by the GPU. https://en.wikipedia.org/wiki/Xbox_360_technical_specificati...
100.
by MaxBarraclough 1y ago
The D programming language has an optional garbage collector. [0][1] With the @nogc attribute the compiler can check/enforce that your function doesn't depend on the GC. [2] [0] https://dlang.org/spec/garbag
101.
by MaxBarraclough 1y ago
I'm not sure I follow. Matrix multiplication isn't inherently 'branchy' in a way that we would expect to cause inefficient execution on SIMT (i.e. branch divergence).
102.
by MaxBarraclough 1y ago
> Readability is a non-concept really. Maxwell's famous equations are readable to some and absolutely impenetrable to the rest of us. When we talk about a language's readability we're typically talking about 'accident
103.
by MaxBarraclough 1y ago
> You have conveniently skipped the "Philosophical Objections" section in Wikipedia As far as I can see, that Wikipedia section doesn't connect to anything we've discussed. We haven't discussed the impracticality
104.
by MaxBarraclough 1y ago
I'm aware ℤ includes zero, your definition set of all positive and negative integers excludes zero.
105.
by MaxBarraclough 1y ago
The distinction isn't always clear. If you're studying the history of the Linux kernel, you'll want to make use of its mailing list archives.
106.
by MaxBarraclough 1y ago
Also, interaction with a Free and Open Source project ideally shouldn't require use of proprietary software. Some examples of major open source projects that don't insist on Discord: * KDE offers its own forums, mailing lists, IRC
107.
by MaxBarraclough 1y ago
Don't forget zero!
108.
by MaxBarraclough 1y ago
> There is a nuanced but distinct difference in my use of the word Proof as used in Program as a Proof and Proof in a Mathematical Algebraic System which you have missed. They are isomorphic but not exact (hence my using the phrase it de
109.
by MaxBarraclough 1y ago
> that is why i said it depends and put "proving" within quotes I feel I need to insist on this point: a design-by-contract methodology using runtime checking may be an effective means of improving software quality, but it
110.
by MaxBarraclough 1y ago
Design-by-contract typically refers to runtime checking of invariants, which is not the equivalent of formal verification. It should not be referred to as proving correctness . It doesn't do so. If you want to prove your program&#x27
111.
by MaxBarraclough 1y ago
> Once you’re a good programmer, new languages are easy. Not always. Languages can differ radically. If the new language uses concepts you've never encountered before, you're going to need to do the work of learning those new
112.
by MaxBarraclough 1y ago
> The real value comes when you do it with the knowledge of the mathematics in hand because then it allows you to prove your Program as "Correct" (w.r.t. a specification). At the risk of nitpicking: Certainly it's a benefi
113.
by MaxBarraclough 1y ago
Thanks for the reply. Interesting developments for the language.
114.
by MaxBarraclough 1y ago
Sounds like progress is being made on the language spec front, that's good to see. I'm not following what you meant by this though, it seems like a contradiction: > A language specification is not required to be qualified. The
115.
by MaxBarraclough 1y ago
Not all that far-fetched, Global Privacy Control is legally binding in California. https://en.wikipedia.org/wiki/Global_Privacy_Control https://news.ycombinator.com/item?id=43377867
116.
by MaxBarraclough 1y ago
Doesn't Rust lack a serious language specification? How can compilers be certified without a definitive record of how the language is meant to behave?
117.
by MaxBarraclough 1y ago
Firefox reader mode works ok for me. Chromium tells me there was 2.5mB of downstream traffic to load the page, rising to 4.3 if I scroll to the Recommended from Medium spam at the bottom of the page. That would be appalling if the bar wer
118.
by MaxBarraclough 1y ago
This sounds like a tale of failed 'waterfall model' software development. Was it not possible to sees the quality issues before the project was finished?
119.
by MaxBarraclough 1y ago
Pretty much. From https://en.wikipedia.org/wiki/Dash#Usage_in_AI-generated_tex... : > In April 2025, Rolling Stone reported on the growing perception that the em dash is a hallmark of AI-generated writing, particul
120.
by MaxBarraclough 1y ago
Thanks, I'd missed that.

More ›