Smaug123

11 ms·

151.
by Smaug123 1y ago
It's mostly a rather dense engineering textbook, but it contains lots of things I found insightful. I most particularly remember a segment like "We make things more reliable by adding more layers of Swiss cheese, on the assumption
152.
by Smaug123 1y ago
Can you point to any of Rust's supposed "equivalent tooling"?
153.
by Smaug123 1y ago
Don't send `start` and `end`; send `start` and `lengthOfInterval`. (Whether that's a good idea in a given API is another question.)
154.
by Smaug123 1y ago
You still seem to be completely misunderstanding, as is evident from the fact that your argument "proves" that in Rust you don't even need to write any tests. Again, Antithesis is designed to test distributed systems , deter
155.
by Smaug123 1y ago
> When components are designed as genuine black boxes—where what happens inside stays inside, and communication occurs only through explicit input and output ports—systems naturally become easier to reason about. "How do you specify
156.
by Smaug123 1y ago
My preferred framing of this is: "You told me a condition was `true`, presumably because you had evidence for it. Why are you telling me you once had evidence? Just give me the evidence!". Don't tell me that an event happened
157.
by Smaug123 1y ago
I disagree! I claim that most people follow rules out of a general sense of fair play rather than because they will be punished for not doing so. Certainly this is true of me, and I don't believe society would look the way it does if t
158.
by Smaug123 1y ago
I always love this kind of article! For many more ways type systems can be unsound, see https://counterexamples.org/ .
159.
by Smaug123 1y ago
You can hack up GADTs in F# - for example, https://github.com/Smaug123/WoofWare.Incremental/blob/9b8181... (which uses https://github.com/G-Research/TypeEquality ). (The other missing fe
160.
by Smaug123 1y ago
I'm not sure how you intend performing the "take out loans" and "invest" stages without a company, once you have more than a few million dollars. Companies permit scaling past one person's worth of uptime and
161.
by Smaug123 1y ago
There are 13 blueprint graphs (one for each chapter of the blueprint) so far, all incomplete. https://imperialcollegelondon.github.io/FLT/blueprint/dep_gr...
162.
by Smaug123 1y ago
I do take issue with this fluffy statement at the top: > If the reader finds the mistakes in the design, this proves that Microsoft has weak developers. (The article even goes on later to say basically "don't attribute all of t
163.
Annals of Formalized Mathematics Volume 1(afm.episciences.org)
1 points by Smaug123 1y ago|0 comments
164.
by Smaug123 1y ago
In general, xAI already do! ( https://github.com/xai-org/grok-prompts ) A chatbot which refers to its guidelines in every chat is annoying to use, so it's just a nice usability feature to ask the bot to suppress tha
165.
by Smaug123 1y ago
The article sort of danced around what I think is the most natural way List is a "recipe": it's the bounded nondeterminism monad (a `List<T>` is a nondeterministic result; one could implement `List<T> -> T` by
166.
by Smaug123 1y ago
Ideas are coming way too fast to work on them all at the moment. * Expect/snapshot testing library for F# is now seeing prod use but could do with more features: https://github.com/Smaug123/WoofWare.Expect * A det
167.
Knockout Mouse(asteriskmag.com)
1 points by Smaug123 1y ago|0 comments
168.
by Smaug123 1y ago
Is mrustc "simple" enough? Its purpose is as you describe, and it can bootstrap rustc to version 1.74.0. https://github.com/thepowersgang/mrustc
169.
Solving Package Management via Hypergraph Dependency Resolution(arxiv.org)
4 points by Smaug123 1y ago|0 comments
170.
by Smaug123 1y ago
Depends what you're trying to identify. If you're trying to identify "machine-generated", yes. If you're trying to identify "spam", probably not? Spam posted sarcastically is no more something I'd wan
171.
by Smaug123 1y ago
They aren't, at least for the spot-check I performed; probably you need to be logged in.
172.
by Smaug123 1y ago
From some Googling and use of Claude (and from summaries of the suggestively titled "Impossible Languages" by Moro linked from https://en.wikipedia.org/wiki/Universal_grammar ), it looks like he's referr
173.
by Smaug123 1y ago
o3 does it too ( https://x.com/KelseyTuoc/status/1926343851792367810 ), and I did read somewhere that earlier Claudes sometimes also do it.
174.
by Smaug123 1y ago
You're free to choose not to memorise things, but please don't be an arsehole about people who do want to do so for whatever reason. Having said that, you seem to misunderstand the point of spaced repetition, which is that you do
175.
by Smaug123 1y ago
Austral, for example? https://austral-lang.org/spec/spec.html#rationale-cap
176.
by Smaug123 1y ago
> swap the numerator and divisor Even Rust can express this; you don't need to get fancy. Morally speaking, division takes a Num and a std::num::NonZero<Num>.
177.
by Smaug123 1y ago
No, Rice's theorem states that there is no general procedure to take an arbitrary program and decide nontrivial properties of its behaviour. As software engineers, though, we write specific programs which have properties which ca
178.
by Smaug123 1y ago
Teaching isn't blatting someone's mind with the Correct Answers and checking whether the overwrite took. Instead, you empirically build a model of the student's own world model, then examine the model to see where it fails to
179.
Review: The Birth of Sake(gwern.net)
4 points by Smaug123 1y ago|0 comments
180.
Opam's Nix system dependency mechanism(ryan.freumh.org)
5 points by Smaug123 1y ago|0 comments

More ›