DylanSp

31 ms·

331.
by DylanSp 5y ago
The final servicing mission (STS-125) ended up with a contingency plan for damage on launch, STS-400. Another shuttle was prepped and on the pad for a rescue mission if the primary shuttle was damaged.
332.
by DylanSp 5y ago
Check out https://www.hillelwayne.com/post/business-case-formal-method... (from the same author as the OP). It's a blogpost on how to make the case for adopting formal methods, including links to case studies abou
333.
by DylanSp 5y ago
Yep, at least on the AWS side. See https://m-cacm.acm.org/magazines/2015/4/184701-how-amazon-we...
334.
by DylanSp 5y ago
https://github.com/codemix/ts-sql might be worth looking at, at least the parsing section.
335.
by DylanSp 5y ago
Not sure if it's quite what you had in mind, but SO is starting to address the issue of updating old answers with the Outdated Answers Project: https://meta.stackoverflow.com/questions/405302/introducing-...
336.
by DylanSp 5y ago
Yes, that's what I had in mind. I can make an HTTP request and (usually) get a response, even with intermediate routing failures, repeated packets, dropped packets, out-of-order packets, etc.
337.
by DylanSp 5y ago
I had the same reaction when I saw OAuth 1a. I wrote some code that called NetSuite's REST API, which also uses that; it was more than a little annoying.
338.
by DylanSp 5y ago
That's sort of the opposite of what I've read from the companies operating at this scale; most seem to assume that failures are inevitable in a sufficiently large distributed system, that tracking the root cause of every failure i
339.
by DylanSp 5y ago
Counterexample: the Internet. Reliable communication over unreliable networks. Any highly-available system with better reliability than any individual component also shows that it's not _impossible_ to build from unreliable components,
340.
by DylanSp 5y ago
If you're not familiar with Angband, https://lparchive.org/Angband/ is an excellent screenshot Let's Play that's a good overview of how it plays.
341.
by DylanSp 5y ago
That's a classic roguelike for you.
342.
by DylanSp 5y ago
Which Ellsberg book(s) have you read? I read his memoir Secrets a while back and enjoyed it; I've been meaning to read his book on nuclear war planning, The Doomsday Machine.
343.
by DylanSp 5y ago
I stopped for a good while, but I've recently started reading again. The Box, by Marc Levinson, was a really interesting read about the development of containerized/intermodal transport. I also liked People Must Live By Work, by S
344.
by DylanSp 5y ago
Two questions that I didn't see answered in the docs: - How do I manage state that isn't local to one widget? A counter's nice and local, but I don't see how application-wide state gets handled. - How are data fetching a
345.
by DylanSp 5y ago
Interesting idea, but I don't know if it's $49 worth of interesting.
346.
by DylanSp 5y ago
Thanks for including the comparison to xstate; that's where my mind immediately went when I first saw this. Are there any plans to create a visualizer, similar to what xstate has?
347.
Show HN: Wheel – a toy imperative/object-oriented programming language(github.com)
1 points by DylanSp 5y ago|0 comments
348.
by DylanSp 6y ago
Optional chaining's in Node as of v14.5.
349.
by DylanSp 6y ago
The main difference is that reducers are arbitrary functions (state, action) -> state, without constraining the possible transitions.
350.
by DylanSp 6y ago
Depends what slice of Britain you're talking about. The upper classes weren't opposed, as you say, but public opinion tended to pretty strongly anti-slavery. Lincoln actively encouraged this; see his public letter to the Mancheste
351.
by DylanSp 6y ago
I love Excalidraw for rough mockups; I didn't even know it was collaborative, that's even better.
352.
by DylanSp 6y ago
Are you referring to the routes set in wrangler.toml? I tried defining the /ip route there, still got 404.
353.
by DylanSp 6y ago
I tried getting Workers to work with a Haskell Servant application compiled with Asterius, based on [1], but kept running into various errors. [2] Example of the perils of trying to use experimental toolchains, I guess. [1] https:/&#x
354.
by DylanSp 6y ago
Always cool to see people experimenting with languages! I'm doing a similar thing with wheel-lang [0], which started as pretty purely imperative, but is starting to grow some object-oriented features. Nystrom's Crafting Interprete
355.
by DylanSp 6y ago
Congrats on the release! I'm working on a language myself, planning on having an ARM backend, and this book is going to be very helpful implementing that.
356.
by DylanSp 6y ago
Not quite; House Ordos originates with the (semi-canon) Dune Encyclopedia, from 1984.
357.
by DylanSp 6y ago
They're mentioned in footnote 1 as a flavor of recursive descent parsing.
358.
by DylanSp 6y ago
To your first point, I've got a couple of bookmarks: - Query-based compiler architecture: https://ollef.github.io/blog/posts/query-based-compilers.htm... - Lezer [a parsing system used by CodeMirror]: https:
359.
by DylanSp 6y ago
I quite liked Skynet Simulator! Thanks for making it.
360.
by DylanSp 6y ago
I do the same thing, either when refactoring test code or when I'm adding tests after writing the implementation. I've heard the manual approach referred to as "refactoring against the red bar"; see https://co

More ›