Granted, I can understand since it is out of region, but then just add it? Adding the nav subsection references here is nothing in effort
English
Clifford Richardson
6.6K posts
Clifford Richardson
@CorvusCrypto
exabyte scale data strategy by day job. safety critical aviation/marine systems by passion. Not involved in crypto; short for Corvus cryptoleucus :D
Stockholm, Sweden Katılım Eylül 2013
93 Takip Edilen373 Takipçiler
@bendee983 Leaving my "yes, but" to caveat his post specifically. Everyone actually doing spec driven development knew this already and it's painful seeing mixed interpretations.
x.com/corvuscrypto/s…
Clifford Richardson@CorvusCrypto
He's right in the sense that specifications are not often correct upfront. That there is explorative work. However, I think it's also disingenuous to call what's described "spec-driven development." It's like the whole misconception about how waterfall works all over again.
English
This point doesn't get stressed enough (but it's something that any experienced software engineer can relate to).
You never get the specs right on the first shot. You start with intuitions and incomplete information, define specs, write code, test, get feedback, and update your assumptions and specs.
Even with AI, you'll need to go through that process. The assumption that you can provide perfect specs to the model upfront is wrong. You need to roll up your sleeves and get your hands dirty if you want to get serious work done.
Steve Krouse@stevekrouse
the problem with "spec driven development" is that most software can't be spec'd up front software is a creative act, where you figure out what you're building as you build it you need to get your hands dirty in the details, and react to incremental versions it's telling that all the examples of spec driven development are sorting a list or porting thoroughly tested code (like a js runtime or browser engine), which are the exception, not the rule. the vast majority of software doesn't have a spec – or if it does, the spec was created *after*
English
@tonialaribe Do you, or do you mean on twitter. Depending on your choice of social media you will get wildly different exposure, all of which is boosted artificially for engagement and not reflective of the actual generalities present.
English
Unfortunately we now get made fun of, for actually writing or reading code.
LaurieWired@lauriewired
I’m convinced that a large % of programmers don’t actually like computers. As a side effect, are also perfectly happy to throw away their reasoning to a model as soon as they can. I don’t get it, at ALL. Don’t you *LIKE* understanding the magic of the machine? You do realize hand-programming (I hate that I even have to specify hand now) is fun…right?
San Francisco, CA 🇺🇸 English
Is there a meaningful difference between this and muting words? @Support Curious how I can permanently snooze Crypto or politics, I only see the keywords mute lists in my settings, not something like this
English
@stuxnet_vt one does not preclude the other. Quite often this is what people mean by "capture" of an ideology. I am sure there are people that truly care about the environment, but many are just saying they do for positive engagement. how I took the tweet, and at a glance it resonates.
English
Heaven forbid I actually enjoy doing things the hard way, clearly I’m just virtue signaling.
Andreas Kling@awesomekling
Feels like “I actually enjoy writing code by hand” is about to become the big 2026 virtue signal for programmers.
English
I added an extra Rho because mathematically this is how you resolve ambiguity between what would normally be two potential points with Rho-Rho, but in reality there are some ways to remove the other point without a third DME, But I feel this would go too far into the weeds :)
English
Got a look over my shoulder as I was muttering stuff about Rho-Theta values when looking at some navigation database data. Realized in real time this stuff is alien speak to most and may be interesting to some enthusiasts. So here is a post on how you can define a point in 2d space a la air navigation database style with navaids (radio-based navigation aids).
Helpful quick guide:
- Rho (ρ) - distance
- Theta (θ) - angle
- Squares are DME navaids, they only give you Rho
- Hexagons VOR navaids, they only give you Theta relative to North.
- Hexagon inside a Square is a VORDME, which gives both Rho and Theta.
With this in mind, here's some common positioning rhetoric you'll see in navigation documentation:
- Rho-Rho(-Rho)
- Theta-Theta
- Rho-Theta
And attached is what it looks like to define a single unique point with these methods.
English
Clifford Richardson retweetledi
We are proud to present:
“Hacking AFDX or Not: A Primer for Flight Control Systems Security” explores ARINC 664 with @PenTestPartners Andrew Tierney & Adam Bromiley at #DEFCON34 Creator Stage.
👉 Check Hacker Tracker for details
#AerospaceVillage
English
@BenjDicken Äntligen! Nuance is found where there were but assumptions.
English
Why not both?
Deeply enjoying computers, hand-programming, algorithms, and the like is not mutually exclusive to having a blast building with AI.
The people who I want to work with the most are precisely the ones who do both.
LaurieWired@lauriewired
I’m convinced that a large % of programmers don’t actually like computers. As a side effect, are also perfectly happy to throw away their reasoning to a model as soon as they can. I don’t get it, at ALL. Don’t you *LIKE* understanding the magic of the machine? You do realize hand-programming (I hate that I even have to specify hand now) is fun…right?
English
A masterclass in exposure bias. On one hand, Laurie's claim. On the other, her commenters. Take one without the other you get wildly different conclusions.
Steel man: most programmers love computers, know how they work, and want to explore the boundary of what can be automated
LaurieWired@lauriewired
I’m convinced that a large % of programmers don’t actually like computers. As a side effect, are also perfectly happy to throw away their reasoning to a model as soon as they can. I don’t get it, at ALL. Don’t you *LIKE* understanding the magic of the machine? You do realize hand-programming (I hate that I even have to specify hand now) is fun…right?
English
@charliermarsh A secret mega storage facility hidden in a volcano
English
Anyone know how these guys are lasting a full 3-4 days without `cargo clean`?
Zed@zeddotdev
Our devs `cargo clean` at least twice a week. 💾 📈⚡️
English
@ThePrimeagen Case in point, just look at yours and her comments. See what the majority opinions are. Is that indicative that people "don't like computers?" It's equally exposure biased ofc, but it shows that this bias guides most of these kinds of posts than anything
English
Everyone is making a whole lotta assumptions based on feelings and dog piling on the whatifs that follow. Even Laurie is relying on the assumption her core claim holds which, that's a big if. Far more (imo) likely you're seeing more people that are new to programming because of LLM tooling and those voices are now louder because for the most of professionals you have already found your balance between fun and work
English
This actually makes me sad. Programming is such a fun thing to do in of itself. The completion of the thing task is the ultimate goal, but the road to get there is enjoyable!
Even as i investigate loops and think deeply about how to deploy AI in a real manner that produces real and good code I still make time for 45 minutes to 3 hours a day trad programming.
But regardless of AI being perfect or not, being able to produce quality work or not is not even part of the argument. I just like programming and I think that loving the craft of building the thing itself will ultimately make the thing you are building better. Because you care deeper about it.
Its not about a pretty dress & lipstick you put on it, but the deep thought care you put in to the things no one sees or perhaps its so good they just don't notice. I think that is where the best software is made.
LaurieWired@lauriewired
I’m convinced that a large % of programmers don’t actually like computers. As a side effect, are also perfectly happy to throw away their reasoning to a model as soon as they can. I don’t get it, at ALL. Don’t you *LIKE* understanding the magic of the machine? You do realize hand-programming (I hate that I even have to specify hand now) is fun…right?
English
I don't buy this framing. You have a manageable lifelong illness. Many also do. I have T1D and people would probably also laugh at the irony if i too didn't know about it, and tried telling people what's healthiest in life while using my money to conduct tests inaccessible to most while also ignoring many had such illnesses that are not perhaps as easily managed.
Agree with Bryan that we have gaps in medicine, and many also told this dude that this is why they are frustrated: not that he is experimenting, but rather the money could be toward illnesses people face daily and his positions felt extremely privileged and non-understanding and dismissive of the reality of genetic disorders etc.
Naturally _some_ are just assholes, but the majority seem to have been clear in their frustrations toward how you positioned yourself over the years. Get better, ofc, and welcome to the periodic injection club. Many of us are more focused on not dying tomorrow rather than just not dying period, remember that and be humble.
Bryan Johnson@bryan_johnson
The world wants me to die. My incurable disease diagnosis became global news. It was omnipresent on social media and 1,900 articles were written in a matter of days. Many were saddened. However, joy dominated the commentary. People pointed to schadenfreude, the pleasure of another's failure. Yes, there’s that. There is a special place in people’s hearts that loves to see others fail, especially when that person’s presence threatens their own psychological stability in some way or helps them feel better about themselves. But, if you look over the social media commentary about me, you’ll see that pattern: “he deserved it.” I deserved it because I challenged death. The crowd was running a deeply rooted psychological script that represents the oldest, most deeply embedded stories of human culture. This was the first story ever written down, 4,000 years ago. Gilgamesh sought eternal life after losing someone he loved, only to have the plant of youth stolen by a serpent as he bathed. Leaving him to accept his mortality. Asclepius became so skilled at rejuvenation that he raised the dead. As punishment, Zeus struck him down with a thunderbolt to enforce life and death authority. This is the story of Jesus. Pontius Pilate offered a choice between a thief and the immortalist, and the crowd demanded the execution. People need this story conclusion to keep themselves sane. The challenger must lose and the loss must appear deserved. It’s a shield of self preservation. For if death is inevitable, their existence and that of their loved ones is justified and unavoidable. If death is not inevitable, nothing about their reality is safe. I occupy the same philosophical and archetypal position as Gilgamesh, Asclepius and Jesus. This statement will draw outrage and accusations of blasphemy, hubris and narcissism. Nevertheless, it’s the pattern that has repeated itself for thousands of years. Death has been the omnipresent concern of the human race. It encapsulates our greatest fears, joy and curiosities. The discourse around it changes over time; however, the fundamentals remain unchanged. What’s different about this moment, that is unlike any other moment, is that physical death may no longer be inevitable. What if I didn’t deserve it? And what if I am your ally, and not a threat?
English
surprised whenever i see people say "why not discuss the negatives". For example he had a whole paragraph dedicated to how they spent effort to split the crates because of the compile times that supposedly never were mentioned. Maybe it's too implicit i guess.
All this aside the technical points were valid from Andrew and you didn't hear much about that because that wasn't the part people took issue with. I truly hope this drama fades, everyone learned something and zig can get back on track to a real spec. I want more certifiable languages and each dramatic outburst of personal flavor from any maintainer detracts from that as it makes people shy away. You need users and the nontechnical qualms Andrew tied together with those technical issues don't help. They need to just focus on getting to 1.0
English
I mostly see the Bun and Zig situation the same way Ray described, if you'd actually like to understand it.
I would differ in not mentioning TigerBeetle as a Zig flagship because their standards are so strict, and so few teams could do this, and basically no other Zig teams do (including the Zig team themselves), that the fact that they use Zig basically doesn't matter.
Ghostty is probably a better flagship to talk about if one must.
Frank@jedisct1
Zig Creator Calls Spade a Spade, Anthropic Blows Smoke raymyers.org/post/zed-creat…
English
Nice. Was excited as I got the FAA CIFP dump passing. Work isn't over but this was a huge chunk of it. I always saw so many partial reader implementations of the standards so happy to finally have a proper set.
Need to do proper record validation now.
English