Viewing profile — pyjarrett

> I tend to run older hardware, > the tool is so fricken slow. How old is "old hardware"? I've had no issues running CLion on a 2020 M1 Macbook Air and a i5-10400 (Linux). These pr…

Ariane 5 became one of the most reliable rockets ever made and was used to launch the JWST.

I used to, but the knowledge of .NET seems mostly transferrable to C#. It's super useful to do `dotnet fsi` and then work out the appropriate .NET calls in the F# repl.

These are the big ones I use, specifically because of the standard libraries: Python (decent standard library) - It's pretty much everywhere. There's so many hidden gems in that st…

It doesn't take much power or time to run your own local git server. My first one which lasted years was parts I mangled together from old computers from garage sales. There's inst…

https://pyjarrett.github.io/

I played an incredibly amount of SimCity 2000 and SimCity 3000, and Metropolis 1998 looks *amazing.*

FASTBuild[0] is super fast for large projects and comes with distributed builds and caching out of the box. It requires a bit of effort to set up, but it supports globbing sources,…

Another great resource for vets getting started in software development (and other fields) is American Corporate Partners[1]. I had a great mentor through that group. [1]: https://…

> However, existing programming languages have little or no subtyping Every "type" you use in Ada is actually a subtype. In Ada, "A subtype of a given type is a combination of the …

> no one cared back then if he was real, This was directly addressed in 2 John 7 "I say this because many deceivers, who do not acknowledge Jesus Christ as coming in the flesh, hav…

> Plenty of ways to trigger undefined behavior I'm curious about this list, because it definitely doesn't seem that way these days. It'd be interesting to see how many of these are…

Ada The open source tooling has significantly improved since I started using it in the last five years.

About two years ago, I was able to dive into the Ada reference manual formatter which has initial commit of March 2000 and is about 45k lines of code, and add MDX output pretty eas…

The big reason for `out` only is "I want to write here, but I don't care about the initial value." It's a more explicit version of the C++ `Foo& outFoo` output parameter paradigm. …

I recently started writing Ada again, a couple of years after I did a bunch of projects with it. The amazing things is how easy it is to go back and update old code due to how much…

That's because I took it down over two years ago and moved most of the content to ada-lang.io when I set that up. This was an anecdotal blog post so it didn't get moved over.

Ada syntax is close to what you described: Foo : array (Positive range 1 .. 100) of access function return access Integer;

Ada is used quite often in embedded systems. - https://blog.adacore.com/ada-on-any-arm-cortex-m-device-in-j... - https://github.com/AdaCore/Ada_Drivers_Library

> you don't have to go full functional verification The amazing thing to me is that Ada code can call SPARK code just fine, and there's crates of SPARK code in Alire that you can u…

> the code to SPARK and proving the absence or runtime error I wrote Rob Pike's simple regex from the "Practice of Programming" in Ada/SPARK and it blew my mind that I actually man…

This is an awesome feature, combined with appropriate type and bounds checking and prevents so many errors. It can also avoid resorting to a heavier-weight map type. Ada has this a…

Ada checks the ranges on types assigned to each other at compile time and then invariants on assignment and when passed as parameters. You can turn the runtime side of these checks…