Warwolt

6 ms·

31.
by Warwolt 2y ago
Well, nothing can be truly known on _inductive_ basis but we surely can know things on _deductive_ basis
32.
by Warwolt 3y ago
I feel like this entire comment section grossly misunderstands what the author means with "story-mode". It's not about actually making anything read like fiction, just the order things are introduced to the reader.
33.
by Warwolt 3y ago
auto is just type inference, doesn't change any visibility
34.
by Warwolt 3y ago
Nice article
35.
by Warwolt 3y ago
I think the circles are for when you create the arc using the compass. Presumably you already constructed points A and B and joined them into a segment, so there's now a point B to miss.
36.
by Warwolt 3y ago
What a bleak and depressing post
37.
by Warwolt 3y ago
Would look like C/C++
38.
by Warwolt 3y ago
Marginalia is great! Super cool tool
39.
by Warwolt 3y ago
I don't think that's the point of the text. You can just as easily read it as stating that you should allow yourself to be led by what inspires you or interests you in your field of work, and not to try to produce notable results
40.
by Warwolt 3y ago
We're using Live++ at Mojang. For very large complicated software, we never had any success with VS Hot Reload. Live++ works like a dream and has had noticeable productivity improvements for the devs that've tried it.
41.
by Warwolt 3y ago
What kinds of questions could you possibly ask that doesn't immediately surface this? A person who "cannot write a loop" will not be able to earnestly hold a conversation about programming.
42.
Show HN: RK Test, a Google Test style library written in C99(github.com)
2 points by Warwolt 3y ago|0 comments
43.
by Warwolt 3y ago
A couple of screenshots would be nice
44.
by Warwolt 3y ago
In some sense, I find it reassuring that the practice of logic (and mathematics as well) is deeply rooted in the human condition. No matter what you choose to believe about the metaphysics of math and logic (i.e. an opinion on platonism) we
45.
by Warwolt 3y ago
Guess it's meant to be a play on "your computer is not a fast PDP-11"?
46.
by Warwolt 3y ago
This just strikes me as something Americans tell themselves to justify their living situation
47.
by Warwolt 3y ago
What an insane justification for making a site have accessibility issues. Hacking should be for the joy of it, not to undo someone else's poor judgement.
48.
by Warwolt 3y ago
Bunch of wankery
49.
by Warwolt 3y ago
Depends on the properties you want to verify
50.
by Warwolt 3y ago
That's all fine, but you cannot have nicely behaved stack allocated structs and use the data hiding method outlined in that blog post, which I think is a pretty big caveat
51.
by Warwolt 3y ago
Your claim was that we can only know about reality through inductive reasoning, and this is the part I'm disputing, not that science itself is not inductive. Mathematical reasoning is deductive, and mathematics is part of reality.
52.
by Warwolt 3y ago
But this just isn't the case, for your claim to be true we would have to be constrained to only do _inductive_ reasoning. When we do _deductive_ reasoning, and we feel as though the reasoning has been done correctly, then we know somet
53.
by Warwolt 3y ago
More than one problem can be addressed at a time
54.
by Warwolt 3y ago
Was that not precisely the authors point? We don't feel queasy representing many things different things incidientally with the same binary sequence, so why feel queasy about the same set theoretical representation? I understood it as
55.
by Warwolt 3y ago
What the fuck are you talking about
56.
by Warwolt 3y ago
An introduction to working with geometry before the cartesian breakthrough of coordinate systems, using only a pen, a compass and a straightedge.
57.
Intro to Euclidian Geometry: Creating an equilateral triangle from scratch(warwolt.github.io)
1 points by Warwolt 3y ago|1 comments
58.
by Warwolt 3y ago
> int is 32 bits with no sign bit or anything like other Lisp implementations do This seems potentially confusing, since usually "int" just refers to a signed integer of some platform specific size. Maybe it would be better to
59.
by Warwolt 3y ago
And for good reason?
60.
by Warwolt 3y ago
Eh, even though you prove things about your specs (possibly) there's still a difference between proof assistances and spec languages

More ›