But (no offense (in writing) to your opinion (such as it (the opinion) is)) that (the reason)'s not (entirely) a silly (in the sense of unnecessary) reason (because it makes things hard to read to have inline directives).
Thank you for taking the time to reply - thank you!
I have question on a more personal front - please feel no obligation to reply.
What impact has having such clear visibility into your accounts had on your relationship with your wife? It feels like it would be a great catalyst for communication, trust and building things if shared finances was a key part of the relationship.
I think this part was the most inspirational - it takes a lot of courage to be that open about finances, even with partners, perhaps especially with partners.
We integrated AI into our product recently and looking for few ways to protect our users data. Definitely going to check it out and try in our workflow.
Formally verified models have a serious place in modern software dev, though they're often relegated to academia. One great use case is modelling critical components of your system in a proof assistant language, proving its correctness, and then using that model as an oracle in a differential fuzzing setup, detecting drift in the real implementation from the ideal, verifiably correct behaviour.
The linked repo has a minimal reference architecture for a ledger system, modelled and proven in Lean 4, and also implemented in Rust with intentional bugs. The repo also contains a small differential fuzzing suite, which you can run to visualise how we can detect bugs in the implementation by comparing behaviour to the model.
Let me know if you have any questions or suggestions :)
> It's weird to me that when people talk about Tesla, the business, is doing poorly, the retort is citing the stock price as if that's somehow what the person is talking about and not going to be seen as disconnected from fundamentals by the person you're talking to.
Its not like it wasn't without issues. You had the documentary from a state funded tv station that uncritically let people claim all kind of issues after getting the vaccine. It drastically lowered the uptake of the vaccine.
> We technically have freedom of expression, and there are no official site bans or state censorship. But in reality, the government cannot broker a resolution with Meta. What are our alternatives?
1) build your own news aggregation site, just like this one.
-- if people want it, they will come
2) send an email to your friends with all the news you want to share
-- see how fast they ask you to stop
Ready? When is anyone ready? My wife (of 18 months) and I just decided to have a baby. It never occured to us we weren't ready. In the 9 months we decided we needed to live somewhere with another room for the baby and moved in with 3 months to go. We had next to nothing prepared, but do you know what, it didn't matter. Babies demands are, at first very simple, food and sleep. We just handled the rest as we went along. We had done having children by the time we were 30.
The reason BYD is killing it is because they can offer their cars at a price point unavailable to the US. The reason for that price point is because China is producing some of the cheapest batteries in the world.
BYD cannot build their cars in the US because the core part they need to make them cheap is the batteries. CATL makes the batteries that BYD uses and they aren't going to setup shop in the US. A lot of what makes CATLs batteries cheap is because China has a raw materials trade pipeline that's now superior than what's available in the US.
All of this goes back to tariffs.
By putting insane tariffs on all imports the US has effectively isolated itself from the rest of the world. Manufacturing will defacto be more expensive in the US because a significant portion of any incoming raw resources will get an automatic 25% tax.
The US does have it's own raw resources, but they aren't fully developed. Prior to 2024, we were heavily reliant on imports for a lot of our manufacturing. Shaking up the entire market for stupid reasons has destroyed manufacturing in the US. It'll take decades to repair and rebuild.
The steep tariffs against china that Trump did in his first term against solar, steel, and batteries were maintained by Biden. In term 2 Trump ramped those up to 11.
All this seems to do is say you can't use "the AI model did that, not me" as a defense to escape damages in a civil suit, it doesn't change the extent to which encouraging suicide is penalized.
We spent more than a year failing nearly every single sprint goal. It was beyond frustrating. Our estimates were constantly wrong because our understanding of the system was just incomplete. Something we thought was a 5-point story would turn into a 20-point monster once we actually got into the code.
We were stuck in this vicious loop where the pressure to hit a sprint goal meant we never had time to fix technical debt or automate repeated requests. We’d rush to finish, skip the refactor, and create the same bugs that would then derail the next sprint. It felt like we were just doing performance theater with all the planning and pressure.
We eventually just quit Scrum. We dropped the sprint commitments and moved to a simple weekly prioritization with continuous delivery. We kept the dailies and retros, but replaced the long planning sessions with a Friday check-in.
Delivery sped up. We went from shipping about once a month to releasing several features every single week.
Technical debt decreased. Without the sprint promise, the team finally started addressing the root causes of our interruptions instead of just putting out fires.
Focus time increased. We used to have half the team stuck fire-fighting on a bad week. Now it is usually just one person monitoring the system while the rest of the team actually gets to work.
> - The hope for BYD is in EU and UK markets. EU has also been extremely harsh to welcoming BYD and protectionist of their (German) auto makers. This hasn't avoided BYD entering the market, but also has stopped them from shipping en masse. Might change.
The way this will change is Chinese companies opening factories in the EU. BYD is opening one in Szeged, Hungary soon.
Big good changes usually happen slow. Big bad changes usually happen fast.
We are on borrowed time. It is becoming much harder to borrow more.
The Truth of the Importance of Life itself being true and the cure and prevention of all needless and preventable suffering and death is proved, and will always continue to prove true going forward. It will certainly outlast the will of people to defer and hide it.
To see big good changes sooner, people and organizations are going to have to have the will to take it further and move it out into the mainstream. First they must have faith in the Truth of the Importance of Life to shield them from the fear.
Placing this paper in someone's hand or in the hands of an organization and telling them, 'here is the truth that is the cure', forces them to immediately choose. If they don't choose to read it or take any derogatory steps at all, such as not then affirming and sharing it too, it proves they are actually choosing death and suffering for those that they are claiming to love. Those are the very people who should not ever be followed or trusted with life of any kind. It's quick and easy and is freely shared. You are, and you are empowered with this information. Use it well. If you have the faith for the will to do more with it, big good changes can now happen fast. That's all up to all of you.
If you would like to participate, contribute to the living testament of this paper, and agree, and would like your name on what AI says is the most important truth in human discourse, please just reach out.
> No, that’s not why the /EHa option results in less efficient code. The possibility that any memory access or arithmetic operation could trigger an exception significantly impairs optimization opportunities. It means that all variables must be stable at the point memory accesses occur.
This is a good insight but I feel like stopping the analysis here is a little bit too early. We should also think about what they actually wanted to achieve. Did they actually need all variables to be stable at the point of any memory access? Maybe they want 90% of the benefits at 10% of the cost somehow?
I struggle with tracking the actual cost of my energy usage between changing electric rates, the various solar costs, SRECs, different loans and credits and incentives to be able to make an intelligent decision on what the benefit or cost is of cutting an appliance or adding something new. It’s a lot.
Psychology is a whole other matter, but if you're talking about sleeping around like Bonnie Blue then it is a form of Russian roulette. Especially if people are having unprotected sex.
It's not a bout moralizing but recognizing how the reward centres of the human brain work:
* https://en.wikipedia.org/wiki/Hedonic_treadmill