jacobparker

16 ms·

1.
by jacobparker 2y ago
Coincidentally I was just reading this other wonderful post from the author https://www.mattkeeter.com/projects/constraints/
2.
by jacobparker 2y ago
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 large code-base is to go "bottom-up" on DLL at
3.
There’s a Source of Clean Energy Beneath Our Feet. and a Race to Tap It(nytimes.com)
1 points by jacobparker 3y ago|1 comments
4.
by jacobparker 4y ago
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 more energy per acre than corn" according to https
5.
by jacobparker 5y ago
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-productive. Binary search would be a good exercise. I think SF volume
6.
by jacobparker 5y ago
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 implementation of sorting. What does it mean to be a sorting algo
7.
by jacobparker 5y ago
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 your repo (or some subset of
8.
by jacobparker 6y ago
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 few approaches, but the main way is to prevent shared mutable
9.
by jacobparker 6y ago
Ah, thank you.
10.
by jacobparker 6y ago
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 repo, but it can be useful in some situations.
11.
by jacobparker 6y ago
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 people: when we merged our Android-like multi-repo
12.
by jacobparker 6y ago
> 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.)
13.
by jacobparker 6y ago
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 and since) but I can't think of anyt
14.
by jacobparker 6y ago
You can do just "on: push" if you don't need filters like branches/paths/etc. :)
15.
by jacobparker 6y ago
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 of features that were added to actions (during
16.
by jacobparker 6y ago
OP said safely; what you're describing isn't safe in, say, C++ in the same sense that it is in Rust.
17.
by jacobparker 6y ago
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 “problem” (non-unique representation).
18.
by jacobparker 6y ago
> 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 things you listed preclude consistency. > And if you w
19.
by jacobparker 6y ago
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 outputs being "expected to be considered a co
20.
by jacobparker 6y ago
It's an interesting thought but I'm not aware of any way to plausibly connect the two, mathematically.
21.
by jacobparker 6y ago
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 your site and UX there are ways to be more pr
22.
by jacobparker 7y ago
Google is already a CA. https://pki.google.com
23.
by jacobparker 7y ago
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 wildcard certificate is appropriate because: * LetsEncrypt r
24.
by jacobparker 7y ago
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 those cases. Sorry for not being more clear about that.
25.
by jacobparker 7y ago
> So user-agent sniffing will probably be necessary for years. Only if you set None (either to opt-out or to do a None/Strict pair). Setting Lax doesn't require sniffing. But yeah, that seems like a safe bet.
26.
by jacobparker 7y ago
Interesting theory. I don't think it's true, though. The original spec mandated case-insensitive comparisons and it looks like WebKit has always been doing that to me.
27.
by jacobparker 7y ago
Yep, that's the issue. I think I see the confusion now (I stand by my original comment). SameSite=Lax was never an invalid value, so it was never mishandled by browsers (very old browsers gracefully degrade to treating it like None, wh
28.
by jacobparker 7y ago
You mean block all SameSite=None cookies? They have legitimate uses too. Consider that SameSite=Strict even breaks cross-origin links (<a> tags): if a 3rd party site links to you and a user clicks that link, the GET will be sent witho
29.
by jacobparker 7y ago
Hey, there are some important mistakes in this warning: 1. The value that is invalid for older browsers (including older versions of Chrome!) is None, not Lax. It is always (as far as anyone knows safe to explicitly set SameSite=Lax in all
30.
by jacobparker 7y ago
> Biking isn’t safe enough to not wear a helmet Could you explain why you think that? That’s a pretty general statement. Are you imagining city biking here, or something more like racing in the country-side? Some data about how this is d

More ›