johnday

20 ms·

181.
by johnday 5y ago
It would massively simplify the job of proving the upper language more correct. It may also be possible to proxy the type system in order to make use of existing tooling.
182.
by johnday 5y ago
I didn't say we should use Typescript, I was suggesting a FP dialect which compiles to typescript.
183.
by johnday 5y ago
Perhaps under this logic Google should start their own newspaper, which reports the publication of every news story on every French news website. That way they are simply reporting the facts, and are no longer liable for copyright infringem
184.
by johnday 5y ago
I truly believe TypeScript is the only true way forward for frontend web programming. Now what we really need is a functional dialect which compiles to TypeScript...
185.
by johnday 5y ago
A tab in vscode has a dot in it if the contents are modified since last save. If a save is complete, that dot will go away. If there is no dot, the file is unmodified.
186.
by johnday 5y ago
Cambridge is a special case - as I understand, it's the UK's hub for hobbyist mappers, ~all of which use OpenStreetMap as a base.
187.
by johnday 5y ago
I think you have misunderstood slightly. GET, for example, is an idempotent method [1], which means "the intended effect on the server of multiple identical requests with that method is the same as the effect for a single such request.
188.
by johnday 5y ago
> But when you are done, there might be snippets from 100s of different repositories potentially. Potentially , but not necessarily . It's possible also that if there is only one close match for the logic required, it may produce
189.
by johnday 5y ago
To me, the sentence > I have a lot of open source code that I love to share for things like education or private stuff, but if you want to use it for something real, you need to hire me. implies that they have code which they are sharing
190.
by johnday 5y ago
It sounds like the person you're responding to already releases their code under a non-commercial license. The problem with Copilot is that it may allow commercial enterprises to avoid such a license by copying the code verbatim fr
191.
by johnday 5y ago
That is exactly what the parent, to whom you responded, just linked.
192.
by johnday 5y ago
I think the intention is to impose the same restrictions on the "login" password field as on the "sign in" password field. This gives a hint to users as to why their entered password is incorrect, and does not slow down
193.
by johnday 5y ago
Cities:Skylines was built from the ground up to be a platform for modding and expansion. While the base game itself is solid, there is a staggering quantity of high-quality mods which expand the functionality and control you have over your
194.
by johnday 5y ago
Many Haxe game engines do indeed provide a shim layer which converts things like objects, pathing, behaviours, and triggers from the level engine's output into game logic. For examples, see https://haxeflixel.com/docume
195.
by johnday 5y ago
It's a fair point, I should have been more precise in my response. What I meant to say was, "what does regulation do, other than prevent an undesirable class of actions?"
196.
by johnday 5y ago
> Because the purpose of regulation is not simply “stop people from doing things I don’t like.” Of course it is. What does regulation do if not prevent an undesirable class of actions?
197.
by johnday 5y ago
I'm sorry to hear that, but it's not quite relevant to the point that the parent was making about Europe. For what it's worth, I live in the UK which has similar woes to how you describe Canada's two-party system. Howeve
198.
by johnday 5y ago
For a medical emergency? This is simply false.
199.
by johnday 5y ago
What claims do you think I have made? All I have said above is that taxation (a) is complicated and (b) has hidden externalities, both of which are obviously correct and appropriate responses to the things being asked.
200.
by johnday 5y ago
The Government is not "being paid" tax dollars[^0], it is (in principle, at least) spending and redistributing wealth in ways which benefit all citizens. UKGov releases these reports, for example https://www.gov.uk&#x2F
201.
by johnday 5y ago
> If taxation is such an inherent good then why does it need to be hidden from people? Because the externalities are not always visible, and people do not have enough free bandwidth to spend the time understanding them.
202.
by johnday 5y ago
It feels like the author is describing a healthy type system and language purity. In most programming languages, the pain points they describe are real - how do we know that a program will give back exactly what we put in? The answer is to
203.
by johnday 5y ago
0xe to 0xf is a single bit flip.
204.
by johnday 5y ago
This and `pandoc` are solid proof that Haskell is a superb language for processing structured text (be it for compilation, or translation, or checking).
205.
by johnday 5y ago
Ah, right, I see. So it was just showing me the marketing ones by random chance! It seems a bit odd to offer per-category leaderboards only, especially on the front page, especially if it's going to randomise which one to show with o
206.
by johnday 5y ago
Currently, every single product on the leaderboard has the tag "marketing tools". [Edit - this is incorrect, see reply] Is that the only thing anyone makes any more? Surely there have to be some actual products in the world to
207.
by johnday 5y ago
Thanks for the correction! Apologies, I thought the website was the product :)
208.
by johnday 5y ago
With no disrespect intended to the authors, the website doesn't seem to be quite right as-is. Whenever I click any of the big buttons, I get a flash of white across the whole screen. This is off-putting, especially when navigating be
209.
by johnday 6y ago
> It's true that Wayland is just a protocol but that protocol is also defined significantly by its implementations. A protocol should never, never, ever be defined in any way by its implementations. The entire purpose of a protoco
210.
by johnday 6y ago
> Imagine, if you will a 1950s America where people are trying to post about civil rights and being downvoted into invisibility. Are you labouring under the misapprehension that there were no civil rights leaders before the 1950s, and th

More ›