DylanSp

9 ms·

61.
by DylanSp 2y ago
The FAA's license authorization for this flight mentioned that they wouldn't require a full mishap investigation unless someone got hurt, property got damaged, or debris fell outside the designated areas, so the turnaround for app
62.
by DylanSp 2y ago
As mentioned in other comments, the TWR at liftoff is what makes the difference. If you look at footage of Shuttle and Saturn V launches, you can really see the difference between the Saturn V's TWR of ~1.2 and Shuttle's TWR of ~1
63.
by DylanSp 2y ago
Probably for the sake of explanation, to show how the new "lifetimes" and types would work from a user's perspective, even if they could be inferred in practice.
64.
by DylanSp 2y ago
Looks like the same content that was posted on oreilly.com a couple days ago, just on a separate site. That has some existing discussion: https://news.ycombinator.com/item?id=40508390 .
65.
by DylanSp 2y ago
Yep, that's it. A lot of links to other blog posts on older posts are broken, but you can usually change the "blogsdev" subdomain to "blogs" and it'll work.
66.
by DylanSp 2y ago
I can see how that might help write sample programs, which could be useful for testing my implementation, but how else would it contribute to developing the language?
67.
by DylanSp 2y ago
Doing it in an idiomatic way might be difficult if there's not much of an existing corpus, though. (Or if the language is new enough that it hasn't developed a lot of idioms)
68.
by DylanSp 2y ago
The AI/LLM boom has really hurt my interest in developing new programming languages. I worry that even if I come up with a new language that's a significant step forward, the lack of an existing corpus for it would limit the abili
69.
by DylanSp 2y ago
Observed Hazardous Spontaneous High Impact Terminations.
70.
by DylanSp 2y ago
I think both the old EU and books for the current canon have explicitly mentioned this, actually.
71.
by DylanSp 2y ago
Seconding Chezmoi, it's what I use, and it works well.
72.
by DylanSp 2y ago
I was looking at that exact post yesterday - I'm currently working on implementing a board game that uses a hex grid, so it should be very useful, particularly the info on coordinate systems and finding neighbors/distances. The in
73.
by DylanSp 2y ago
I'm curious how bad the build times were; minutes, tens of minutes, hours? I didn't see any absolute times in the post, just percentages.
74.
by DylanSp 2y ago
Yep, or if you declare an explicit return type for the function, TS correctly gives a "Function lacks ending return statement and return type does not include 'undefined'." error. But if you have a function that's p
75.
by DylanSp 2y ago
I just tried it in the online playground. I didn't get any sort of error with one of the cases unhandled. https://www.typescriptlang.org/play/?noFallthroughCasesInSwi...
76.
by DylanSp 2y ago
I definitely agree that ADTs are a big step forward; when I learned about them from Haskell, I was kind of baffled that they weren't more common, because the concept of "this value is always either type A or type B" is pretty
77.
by DylanSp 2y ago
Typescript's exhaustiveness checking can be kind of clunky sometimes, particularly if you have a switch statement that's just causing side effects and not returning a value. Last time I looked at it, I think you had to add a defau
78.
by DylanSp 2y ago
As the sibling post says, constraints can cover a lot of this already. What I'm not sure about is how applications querying the language would interact with a database that provides a lot of useful invariants natively; if the applicati
79.
by DylanSp 2y ago
Writing out the constraints. The starting point was an admin_notes table to start with, where each note initially had the same fields; we later added different categories of notes, where two of the categories had fields that were only meani
80.
by DylanSp 2y ago
I've had some idle thoughts about creating a Postgres extension that would make some of these concepts easy to implement and work with. I modeled a sum type/discriminated union a while back, I was able to make it work with constra
81.
by DylanSp 3y ago
Given SpaceX's heavy use of vertical integration, I highly doubt that it'll spread as many jobs around as SLS currently does.
82.
by DylanSp 3y ago
The problem is convincing Congress to pull the plug on SLS. Even if Starship is able to unambiguously surpass SLS technically, lobbying Congress to cancel a program that spreads manufacturing work across most of the US and that involves mul
83.
by DylanSp 3y ago
Erlang's briefly mentioned at the end of the article: > There are two other languages I found with graph types: Erlang and SWI-Prolog. I don’t know either language and cannot tell when they were added; with Erlang, at least, it was
84.
by DylanSp 3y ago
Probably billions of devices at this point, honestly.
85.
by DylanSp 3y ago
The paper in the OP mentions mutation testing at the end when talking about future work and open problems (section 7). They think it'd be very useful, but it's "challenging to deploy such computationally demanding techniques
86.
by DylanSp 3y ago
Sorta kinda; "Celt"/"Celtic" is a broad term that's been applied to a lot of different peoples, languages, and cultures. The history blog ACOUP has a good post on it [1]; it's long, but only the first part
87.
by DylanSp 3y ago
I've been playing Travle for a while, didn't know it had a dedicated URL for the challenges, that's nice. I wish the challenges had an infinite play mode like https://travle.earth/practice/ , but oh well.
88.
by DylanSp 3y ago
I wish that TS had better type narrowing for the JS standard library, though there's a lot of constraints and design limitations that make it impractical. I ran into a similar issue with the some() method on Array not narrowing types a
89.
by DylanSp 3y ago
I'm curious if regularly firing these cannons on a schedule actually works to scare the geese away. When reading about the accident of Ural Airlines Flight 178 [1], the airport had air cannons for scaring off birds, but they fired them
90.
by DylanSp 3y ago
I'm very curious if any analysis on this can be done and published, though I imagine it's difficult without access to the actual equipment.

More ›