scythmic_waves

6 ms·

31.
by scythmic_waves 2y ago
Oh _that's_ what's happening. I was wondering why so many images were broken but I hadn't investigated.
32.
by scythmic_waves 2y ago
I appreciate write-ups of failed experiments like this. They're sorta like null results in science, but for engineering. And they can help others from needlessly walking down the same path. If everyone only wrote about their successes,
33.
by scythmic_waves 2y ago
I bet reddit.com/r/ProgrammingLanguages/ would like this.
34.
by scythmic_waves 2y ago
I hadn't seen this before, it's fantastic! Thanks!
35.
by scythmic_waves 2y ago
I think because a full proof covering existence and uniqueness will either be really long or require tools from outside the scope of the text. E.g. there's a somewhat concise proof using linear algebra which I'll partially reprodu
36.
by scythmic_waves 2y ago
In fact, I came to the comments to ask. Thank you!
37.
by scythmic_waves 2y ago
Can you say more? I’m interested.
38.
by scythmic_waves 2y ago
… maybe
39.
by scythmic_waves 2y ago
Could you generate MathML server side to avoid JS?
40.
by scythmic_waves 2y ago
Why did they not link to any examples of what they're talking about?
41.
by scythmic_waves 2y ago
Thank you! I was trying to find this the other day but couldn't.
42.
by scythmic_waves 3y ago
> I suppose the reason is because it takes more time? I assume so. I didn't even notice that the article didn't motivate that `async: false` is bad. I always avoid it if I can since you might as well perform independent tests c
43.
by scythmic_waves 3y ago
This is a great write up. There appear to be a few camps forming in the comments and I’m in camp “SQL is confusing and attempts to explain it in terms of relational algebra have felt inadequate to me”. It also gives me some good follow up m
44.
by scythmic_waves 3y ago
Interesting! I’ll have to look over it when I have more time. From a quick glance, it looks like it covers much of the same material as this text [1]. I wonder how they compare. [1]: https://www.cambridge.org/core/books
45.
by scythmic_waves 3y ago
Docs: https://pkl-lang.org/main/current/introduction/comparison.ht... (Never used Pkl myself...)
46.
by scythmic_waves 3y ago
My personal exasperation is less about being unable to find alternatives (e.g. [1]). It's more that those alternatives aren't 1) as good, 2) free, or 3) part of the same platform. And even if I use an alternative, my friends, fami
47.
by scythmic_waves 3y ago
No kidding. I don't trust my own by hand calculations anymore. And why bother? I'd rather just write down the equation I need and let a computer do the rest.
48.
by scythmic_waves 3y ago
Additional context: for a flavor of what I have in mind, you can glance at the wiki page for vector spaces [0]. E.g. [1]. [0]: https://en.wikipedia.org/wiki/Vector_space [1]: https://en.wikipedia.org/wi
49.
by scythmic_waves 3y ago
Oh interesting! I like that it can embed LaTeX and code snippets. However I fear it may not be low-level enough for what I'm hoping to do. Since I can't edit the OP, I'll reply to it with examples of what I'm hoping to a
50.
by scythmic_waves 3y ago
To clarify: my goal is to create visual aids and embed them in an HTML document. So I want diagrams _for_ the web and not necessarily built _by_ a browser. For instance, one person's approach could be to use the Inkscape software to cr
51.
Ask HN: How do you build diagrams for the web?
1 points by scythmic_waves 3y ago|8 comments
52.
by scythmic_waves 3y ago
And that's a good place to stop :)
53.
by scythmic_waves 3y ago
And not to distract from the point (which you made well), but weight lifting in general is tricky to compare since you generally want to take body weight into account. Benching 225 lbs is a different prospect for a 125 lbs individual vs. a
54.
by scythmic_waves 3y ago
I enjoyed that, thank you.
55.
by scythmic_waves 3y ago
I like the video’s focus on resources. I’ve worked through several of those texts myself and can vouch for them. Though I was hoping a step by step guide might touch on things like making outlines, reviewing notes at a later date, etc. Side
56.
by scythmic_waves 3y ago
Wow I have no opinion on the product yet, but I’m really impressed with the design of the site. And I don’t say that lightly.
57.
by scythmic_waves 3y ago
Your link says at the bottom that modals can be used for forms.
58.
by scythmic_waves 3y ago
Came here to say this. I love the magic in that series.
59.
by scythmic_waves 3y ago
There are post-quantum-computing encryption schemes [1], thankfully. [1]: https://en.wikipedia.org/wiki/Post-quantum_cryptography
60.
by scythmic_waves 3y ago
I've not had as much time to look into formal verification as I'd like and this blew me away lemma LemmaFromToBytes(v: nat) ensures FromBytes(ToBytes(v)) == v { // Dafny does all the work! } The co

More ›