pyjarrett

8 ms·

1.
by pyjarrett 20d ago
When I was job hunting earlier this year, LinkedIn on my phone told me to install the app. Sure, why not? So I did. It refused to authenticate and never worked. One good point is that at least the mobile web version didn't lock me out
2.
Software and AI – Plotting vs. Pantsing(pyjarrett.github.io)
1 points by pyjarrett 2mo ago|1 comments
3.
by pyjarrett 4mo ago
> 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 projects are only in the hundreds of th
4.
2026 Annual C++ Developer Survey "Lite"(isocpp.org)
1 points by pyjarrett 5mo ago|0 comments
5.
by pyjarrett 5mo ago
Ariane 5 became one of the most reliable rockets ever made and was used to launch the JWST.
6.
by pyjarrett 6mo ago
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.
7.
by pyjarrett 6mo ago
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 standard library (difflib, argparse, shlex, subproc
8.
by pyjarrett 6mo ago
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 instructions on running a Git server in the git book:
9.
by pyjarrett 8mo ago
https://pyjarrett.github.io/
10.
by pyjarrett 1y ago
I played an incredibly amount of SimCity 2000 and SimCity 3000, and Metropolis 1998 looks *amazing.*
11.
by pyjarrett 1y ago
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, there's no separate generate build step, and it can a
12.
by pyjarrett 1y ago
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://www.acp-usa.org/
13.
by pyjarrett 1y ago
> 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 type, a constraint on values of the type,
14.
by pyjarrett 1y ago
> 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, have gone out into the world."
15.
by pyjarrett 2y ago
> 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 still possible now.
16.
by pyjarrett 2y ago
Ada The open source tooling has significantly improved since I started using it in the last five years.
17.
by pyjarrett 2y ago
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 easily. Other languages focus on terseness and expressiveness.
18.
by pyjarrett 2y ago
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. > When "out" and &quot
19.
by pyjarrett 2y ago
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 semantic information gets embedded in it and how few symbo
20.
by pyjarrett 2y ago
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.
21.
by pyjarrett 2y ago
Ada syntax is close to what you described: Foo : array (Positive range 1 .. 100) of access function return access Integer;
22.
by pyjarrett 2y ago
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
23.
by pyjarrett 3y ago
> 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 use. It's a huge boost of confidence in th
24.
by pyjarrett 3y ago
> 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 managed to prove an absence of runtime e
25.
by pyjarrett 3y ago
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 as well, including using any arbitrary continuous range for
26.
by pyjarrett 3y ago
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 on or off individually at the module level.
27.
by pyjarrett 3y ago
My favorite thing about Ada is how it uses modules ("packages") for encapsulation and not classes. This separates it from a lot of other languages with object-oriented programming by allowing you to split up and expose externally
28.
by pyjarrett 3y ago
Not only that, but when you define an enum you get 'Pred and 'Succ to move between values, range iteration over all values with 'Range and 'First and 'Last, string conversion with 'Image and parsing with '
29.
by pyjarrett 3y ago
I tried out Swift on Windows and really enjoyed it. The experience was 100x better than I expected.
30.
by pyjarrett 3y ago
> laziness and corner cutting My experience is that it just isn't prioritized, and you have to do it early to enforce good engineering solutions to keep it this way. It's much easier to keep something locally runnable than try

More ›