Smaug123

11 ms·

181.
by Smaug123 1y ago
You might have noticed that I didn't quote upvote figures, and that I omitted a bunch of possible options. I sorted by popularity and then selected ones with substance. (I presume you're not asserting that they have no substance
182.
by Smaug123 1y ago
Basically false, I think? From the first couple of pages of the top-of-all-time HN posts: * War stories (e.g. "How I cut GTA Online loading times by 70%" https://news.ycombinator.com/item?id=26296339 ) * Anything
183.
by Smaug123 1y ago
I do amateur improv comedy; doing it with people who have done clowning, it just feels like they're on another level. "Baboon in makeup" is the first-order obvious thing to say, but there's so much skill in a good clown-
184.
by Smaug123 2y ago
Conor has always had a turn of phrase - every paper has at least one gem. * "the engineering of coincidence is replaced by the propagation of consequence" ( https://www.cs.ox.ac.uk/projects/utgp/school&#x2
185.
by Smaug123 2y ago
By the way, I consider https://www.bartoszsypytkowski.com/dealing-with-complex-depe... to be the canonically correct way to do DI when you want to inject more than like two dependencies.
186.
by Smaug123 2y ago
Yeah, they're terrifying. It's often not that hard to generate the code (e.g. https://github.com/Smaug123/WoofWare.Myriad/ is where I pump out these things) for a bunch of what you would want to do with
187.
by Smaug123 2y ago
It's actually sort of the other way round. C# has hardcoded syntax for async/await. F#'s syntax for async/await is a fully-general user-accessible mechanism.
188.
An Interview with Zen Chief Architect Mike Clark(computerenhance.com)
151 points by Smaug123 2y ago|19 comments
189.
by Smaug123 2y ago
The article does in fact cite the reproducible-builds project, in the section on "Leveraging bitwise reproducibility". From your comment I am not convinced you understood the point of the article, which is: * the NixOS build proce
190.
by Smaug123 2y ago
It's still weirdly hard compared to Android, though. It somehow makes decisions about whether to snap to different words or lines when you release the cursor, and I still don't understand the algorithm it uses for that, and I wish
191.
Separation of Concerns in a Bug Tracker(chiark.greenend.org.uk)
34 points by Smaug123 2y ago|8 comments
192.
by Smaug123 2y ago
It is explicitly against the rules ( https://czechgames.com/files/rules/codenames-rules-en.pdf ), so they were correct. "Your clue must be about the meaning of the words. You can't use your clue to talk
193.
Bug Likelihood over Time(antithesis.com)
4 points by Smaug123 2y ago|1 comments
194.
by Smaug123 2y ago
This is from the Antithesis docs. It contains an incredibly cute idea. With a deterministic execution simulation system, you can sometimes automatically locate bugs as follows. * Identify and reproduce a symptom of a bug; say the symptom oc
195.
A Proper x86 Assembler in Haskell Using the Escardó-Oliva Functional(blog.vmchale.com)
90 points by Smaug123 2y ago|19 comments
196.
by Smaug123 2y ago
By the way, the computation involving nonstandard reals is correct (to the best of my ten-year-old memory of studying this stuff). As usual, I will recommend Goldblatt's _Lectures on the Hyperreals_ for an intro to how it all works, an
197.
Five Letters on Set Theory [pdf](math.i-learn.unito.it)
2 points by Smaug123 2y ago|1 comments
198.
by Smaug123 2y ago
This is an exchange between mathematicians around 1900, discussing essentially what we now know as the axiom of choice (and the question of whether mathematical constructions which require various choice principles are valid). I found it ve
199.
Introduction to Synthetic Agda(hyrax.cbaberle.com)
3 points by Smaug123 2y ago|0 comments
200.
Actual Web Rendering in Terminal(github.com)
28 points by Smaug123 2y ago|1 comments
201.
by Smaug123 2y ago
Au contraire! You can unindent the final clause of an `if` or `match` block. Fantomas even supports it (`fsharp_experimental_keep_indent_in_branch = true`).
202.
Interlock (Engineering)(en.wikipedia.org)
2 points by Smaug123 2y ago|0 comments
203.
How to Read Papers(semantic-domain.blogspot.com)
2 points by Smaug123 2y ago|0 comments
204.
by Smaug123 2y ago
The volunteers probably do want to live to see it done. The inhabitants of Woodbridge do not skew young, and the few pictures I was immediately able to find of the project suggest that the volunteers in fact skew old.
205.
by Smaug123 2y ago
I'm not sure why your use of them is relevant to how I can use them; resolving that question is why I asked you for chat logs! I genuinely want to make these things work! I try again every few months in case anything has changed, and
206.
by Smaug123 2y ago
If you want something concrete: I have never yet seen any even slightly competent code come out of an LLM when it's writing in F#, Mathematica, or POSIX sh, which are broadly the languages I write in. (It's possible Wolfram's
207.
by Smaug123 2y ago
You certainly strongly implied that NDAs don't apply with the phrase "their magically novel, super unique code is just too secret". You used the words "is just too secret" sarcastically, which led me to believe you
208.
by Smaug123 2y ago
The fact that the GPT-style models are literally autocomplete engines, while text autocompletion on phone keyboards remains terrible, really maddens me. Is it that they simply aren't using that style of model for autocompletion, or t
209.
by Smaug123 2y ago
"It's all just code, how hard can it be, and your NDAs don't apply" is certainly a take, but some people do actually solve problems whose solutions aren't already on the Internet and are forbidden from exfiltrating
210.
by Smaug123 2y ago
The article even defines "liar" for you: "A liar is someone who only says false statements." It's not someone who is trying to maximally mislead.

More ›