fallingmeat

great work. but at this point prompting a frontier model to make a svg diagram works so well..

for those new, start with why: https://ziglang.org/learn/why_zig_rust_d_cpp

lots of people into zig this morning apparently!

here for this comment

did you just make Danti?

Love the product link in footer to "Emergency AGPL Removal"

oh look at that. removing IBM enterprise apps really doesn’t break anything and the whole stack got lighter. science.

known quantity. UBs well understood. tooling.

guys. it's aliens. nbd.

coding standard is a part of the story. mainly it comes down to level of rigor and documenting process and outcomes for audit ability. DO-178c

any idea on price?

wow that’s a lot of HATE for a really well organized project with some great ideas. Killer job Ashton, you just built some skills they can’t take away from you.

now swoop it!

guy wires

still better than “doesn’t go”

ah missed that

Know a guy who setup themselves as a cert authority for STIR/SHAKEN and pretty much is an almost completed automated system; just issues certs they generate with a small hardware device. Sounds like it easily makes about $10k/month almost pure profit! https://authenticate.iconectiv.com/approved-certification-au...

Off airport flight implies a lot of tech maturity, including command/control radio, rudimentary flight planning, flight termination, etc

what is wrong with dark roasts? tastes like a nice cigar (and pairs well). some like smokey flavor (eg bourbon)

video or it didn't happen.

so a buddy of mine just did (Telonium)! seems like a pretty easy thing to do. just filed a document, no audit, gtg

also requires fairly expensive equipment (FMS with FANS support)

fun fact, the same guy (G Holzman) also made the Spin model checker

Could apply to any application involving functional safety requirements

plus two