DylanSp

19 ms·

241.
by DylanSp 4y ago
Two questions: 1. Does Rust have an idiomatic way of providing a similar data structure that also limits allocations and maintains cache-friendliness? 2. How pervasive are these intrusive linked lists in the kernel code, especially in bound
242.
by DylanSp 4y ago
It's fairly obvious that it's a contrived example, though, which means it's not much of a motivating example for fuzz testing. I'd think it'd help to have a non-obvious bug that's triggered by an unusual set of
243.
by DylanSp 4y ago
Should this have [pdf] in the title?
244.
by DylanSp 4y ago
Typescript + Node + ESM is definitely a problem that's not _completely_ unrelated. I do agree that Node setups are usually a lot easier to work with than frontend, though.
245.
by DylanSp 4y ago
I'm not sure about realism, and it's WW2 instead of premodern, but the board game Race to the Rhine is basically all about logistics.
246.
by DylanSp 4y ago
Very good article. The focus on end-to-end testing, especially during early iteration, rings true to me; when I wrote a toy language/interpreter, I used a lot of unit tests for the individual stages. They definitely helped find and pre
247.
by DylanSp 4y ago
IIRC Happy (and Alex, the accompanying lexer generator) are pretty much straight ports of lex/yacc to Haskell; they predate some of the conveniences of newer parser generators like ANTLR.
248.
by DylanSp 4y ago
SpaceX isn't the only one looking at methalox engines for reusability, though they're definitely the farthest along. Blue Origin's BE-4 engines use methalox; New Glenn's planned to be at least partially reusable, and ULA
249.
by DylanSp 4y ago
Not just deep-space probes; Dragon, Orion, and I think Starliner all use hypergols. Plenty of satellites do as well, though I think there's a trend towards using various sorts of electric propulsion. Really, the big misprediction of th
250.
by DylanSp 4y ago
Those experiments generally needed to be run to figure out what was possible and what the different realistic options were, though. There's also more uses for propellants than just orbital launchers; propellant for ICBMs (and other str
251.
by DylanSp 4y ago
Neat story! Also, neat to see someone mention Jack Crenshaw's Let's Build a Compiler series; that was one of the first resources I used, when I started getting interested in compilers.
252.
by DylanSp 4y ago
Those series are also really enjoyable, especially because they're not just about picking on implausible aspects of LotR; those posts are also about introducing a lot of different military concepts (premodern army logistics, analyzing
253.
by DylanSp 4y ago
The "Clothing: How Did They Make It?" series is also really good, particularly for conveying how incredibly labor-intensive it was to produce clothing with pre-industrial methods, especially before the spinning wheel.
254.
by DylanSp 4y ago
IIRC, Roslyn's red-green tree approach is at least partly due to needing to support interactive editing without re-parsing everything. If that's what you're referring to, no, the book doesn't cover that; both interpreter
255.
by DylanSp 4y ago
Not to the best of my knowledge; even with battery backup, ion engines have so little thrust that spacecraft with them use a very different style of orbital maneuvers than craft with chemical engines. This [1] answer on Space Stack Exchange
256.
by DylanSp 4y ago
Power looks to be the issue. A single one of the NSTAR engines used on Dawn uses 2.1-2.3 kW; even with the improved next-generation RTGs this design assumes, you'd need a bunch of them to be able to use ion propulsion.
257.
by DylanSp 4y ago
Yep. The farthest any solar-powered craft has gotten is Juno out at Jupiter, with much newer technology (and the solar panels are still pretty large).
258.
by DylanSp 4y ago
Nitpick: I think the trick(s) also depend on XOR being associative. Are there any more complex applications of this, especially if you generalize it to any operator that obeys the necessary properties? I'm curious if there's any s
259.
by DylanSp 4y ago
I'm curious what the BBC doc has to say about the Soviet lunar program; my impression (mostly from reading Asif Siddiqi's history Challenges to Apollo ) is that the lack of political support and focus post-Gagarin lead to a late
260.
by DylanSp 4y ago
Same. I've also found .aspx templates in .NET to have similar issues, although those are more complicated with all the data binding functionality.
261.
by DylanSp 4y ago
I think what Fresh is doing now is more similar to Server Components, shipping full components to the client. With LiveView, once it's set up on the client, the updates it sends over the wire are much smaller. https://fly.io
262.
by DylanSp 4y ago
Part of why I like React (especially with Typescript) is basically that I like JSX/TSX as a templating language. I much prefer working in a full language (with JSX as relatively light syntactic sugar on top) that can leverage existing
263.
by DylanSp 4y ago
> A more granular approach—termed resumability by Qwik and as I understand it the forthcoming version of Marko—works by treating the server-generated HTML as the initial state. The code executed from there is much more isolated than a fu
264.
by DylanSp 4y ago
Even if it doesn't have value for everyday programming, translating it into Clojure/Python/Go/whatever can make it easier to understand. Most explanations I've seen of the Y combinator just work in lambda calculus,
265.
by DylanSp 4y ago
Agreed, the visualizations are really nice.
266.
by DylanSp 4y ago
It's neat that there's work to make ? less magic and more general. The postfix ? for working with Option and Result is a really nice syntactic touch in Rust that makes it easy to work with those types in imperative-ish code, witho
267.
by DylanSp 4y ago
Always good to read more about John Regehr's work! His blog's been pretty quiet for a while, but there's lots of interesting posts on compiler implementation and bugfinding in the archives. One thing I was confused about: &qu
268.
by DylanSp 4y ago
I'm not sure if it qualifies as a programming game vs. a gamified way of teaching programming concepts, but I liked The Deadlock Empire for exploring concurrency issues: https://deadlockempire.github.io/ .
269.
by DylanSp 4y ago
Similar experience here, the one compiler bug I've found (a Typescript type-checking bug) was in a feature that had just been released.
270.
by DylanSp 4y ago
Glad to help! It's an interesting little game; I've thought a bit about making a more complex game based on a similar premise. As well as the technological challenges that Skynet Simulator has, I was thinking of adding puzzles aro

More ›