Viewing profile — jacobparker

Coincidentally I was just reading this other wonderful post from the author https://www.mattkeeter.com/projects/constraints/

The one nullable gotcha with doing this is that the .NET standard library doesn't have nullable annotations in older frameworks. One approach to adding nullable annotations to a la…

Consider that 40% of American corn crop (created, as you say, by redirecting the suns energy) is turned into Ethanol, to be burned for energy. Solar panels are "roughly 200 times m…

I highly recommend SF. The trick is you must use the books via coqIDE or something equivalent; viewing the rendered HTML is almost pointless at best, but probably counter-productiv…

Some examples from a Software Foundations (a series of books about Coq, available online): I just wrote something I called insertion sort. I want to know that this is a valid imple…

For NuGet, consider using centralized package references: https://github.com/NuGet/Home/wiki/Centrally-managing-NuGet-... You get one file defining the set of all packages used in …

At D2L we have a large C# code base which gets deployed in a few different subsets, but is largely a monolithic fleet of web servers. To prevent these kind of problems we have a fe…

Ah, thank you.

You might be interested in: git config --global core.excludesfile ~/.gitignore You can have a system-wide (but local only) .gitignore. It doesn't help other people who clone your r…

For the past few years the performance work (e.g. commit graph) has made a huge difference for large/fast moving repos. They're big enough to be productivity enhancements for some …

> where the builds run on your own hardware This is possible with GitHub Actions, too: https://docs.github.com/en/actions/hosting-your-own-runners/... (the place I work at uses it.…

Thanks for the reply. What do you mean by a CI/CD system? I'm not sure what you think was "bolted on" to actions, could you be specific? Features have been added (during the beta a…

You can do just "on: push" if you don't need filters like branches/paths/etc. :)

It's really hard to understand what you're trying to say here. I use actions a lot. There is no distinction between actions and CI/CD here. The context of this blog post is a set o…

OP said safely; what you're describing isn't safe in, say, C++ in the same sense that it is in Rust.

Any other argument for a different base aside, in base 12 you have the analogous “problem” that 0.BBB... = 1. None of the usual bases, equipped with this “...” power, avoid the “pr…

> When you get down to it, between cache coherency across CPUs and memory, disk flush delays and disk caches, every database is eventually consistent. This is a false. None of the …

Right, but the reasons why are different from the halting problem. As stated in the OP, "the key assumption in this argument is continuity". I'm not sure what you mean by the outpu…

It's an interesting thought but I'm not aware of any way to plausibly connect the two, mathematically.

Mostly, if you opt in: https://caniuse.com/#feat=same-site-cookie-attribute . SameSite=Lax will still send cookies for some types of GET requests, depending on the complexity of yo…

Google is already a CA. https://pki.google.com

Wildcards have use cases. An example: You have a .example-usercontent.com wildcard certificate for domains like user-1234.example-usercontent.com and you have millions of users. A …

Ah, good point. So it depends on your site. Some sites need to do things like serve embeddable content or be an OAuth identity provider, etc., and SameSite=None is required in thos…