airstrike

9 ms·

181.
by airstrike 4mo ago
TIL Africa is a country
182.
by airstrike 4mo ago
> If they emulate reasoning well enough that it gets the same or better results what is the difference? Semantics? No, of course not. The difference is that the ways in which we fail tend to be pretty ordered. You'd be hard presse
183.
by airstrike 4mo ago
It's not about proving people are honest. It's about knowing that people either die a hero or live long enough to become the villain. Not because they want to, but because it's a natural journey given this competitive game of
184.
by airstrike 4mo ago
Worth reminding everyone that Lua was also created in Rio, though admittedly at PUC rather than by the government. Rio has a strong engineering talent pool, along with many other major capitals in Brazil
185.
by airstrike 4mo ago
Yes, unironically claiming that and not wild at all if you're a practitioner. It doesn't become actual reasoning just because you chose to call it so. If they did reason, LLMs would not fail at ridiculously easy problems like st
186.
by airstrike 4mo ago
We do not know for a fact what they genuinely believe, and many of us have seen companies act in opposition to their stated goals so the burden of proof is on them. It's healthy to suspect ulterior motives from them.
187.
by airstrike 4mo ago
Anthropic had countless ways to fight this and they chose to cave. The government can't apply export controls based on a control that does not exist. Creating one for model inference, if at all possible, would take 3-6 months at a mini
188.
by airstrike 4mo ago
ironically, I'd understand people not giving a straight answer on this particular topic
189.
by airstrike 4mo ago
how do you think that alleged amorphous mass of unaccountable bureaucrats got their jobs?
190.
by airstrike 4mo ago
I don't have a fully perfect definition, but I can name a couple of requirements. Ironically, both reasoning and agency are required, neither of which our "reasoning agents" possess.
191.
by airstrike 4mo ago
Restricting access helps even less. And none of this is AGI so...
192.
by airstrike 4mo ago
it was a joke, to be clear
193.
by airstrike 4mo ago
We have nothing anywhere near AGI/ASI so you're good for another 25 years, my friend
194.
by airstrike 4mo ago
George Soros, probably
195.
by airstrike 4mo ago
How do you get the idea that migration is "planned"? You've lost the plot entirely
196.
by airstrike 4mo ago
Which, to be clear, does not mean they are actually honest.
197.
by airstrike 4mo ago
I'm not sure Rust has one specific use case as its main goal, despite being immediately suitable for systems programming. I use it for making user-facing desktop applications, to name one example.
198.
by airstrike 4mo ago
These days I mainly write Rust but I did write a semi complex iOS app and enjoyed Swift. I just didn't love how slow the type checker was and how it got lost. I recall having to break things into smaller bits to help the compiler, and
199.
by airstrike 4mo ago
You just need a few more smoke tests and you'll be fine.
200.
by airstrike 4mo ago
As much as I enjoyed Swift, one can only wonder what the world would look like if they had gone with Rust as their default language instead.
201.
by airstrike 4mo ago
So join the community and be the change you want to see in the world?
202.
by airstrike 4mo ago
I am not so certain
203.
by airstrike 4mo ago
It's version 0.3...
204.
by airstrike 4mo ago
Extending my Rust binary with a marketplace of WASM-based extensions like VSCode
205.
by airstrike 4mo ago
A grossly underrated movie. I think of it often these days.
206.
by airstrike 4mo ago
This is the best combo possible. It feels like the ideal trade-off between the autonomy of car ownership and the flexibility of ride-sharing. I've been hearing about this concept for literally over a decade now. I hope it expands quick
207.
by airstrike 4mo ago
I do 3-4 things at the same time, and in between waiting periods, keep pushing on something else. It's more taxing because I'm switching problems but at least these are all libraries within the same ecosystem so eventually, they l
208.
by airstrike 4mo ago
This article reads like it was written by Claude and forwarded to Verge.
209.
by airstrike 4mo ago
Ironic, given they piggybacked on the entirety of human knowledge and massive amounts of GPL'd software and repeatedly say they want to replace people with a tool. And now they say that's fine so long as people are entertained.
210.
Fusion Energy Group Seeks PJM Connection for First Commercial Power Plant(powermag.com)
2 points by airstrike 4mo ago|0 comments

More ›