The new normal is less stable software, with worse useless features and less privacy. Because a few people swear it makes them a x100 more productive, and "just one more model iteration and everything will be so much better".
what actually happened:
* anthropic pointed their expensive fuzzer at stuff
* they got A HUMAN TO TRIAGE THE RESULTS
yet again, it's A Guy Instead
I always felt that layer 3 is redundant, not the protocols but the additional layer indirection, and the same could be achieved by combining layer 2 and 3
Also, panicking functions should be part of the signature (e.g. swift's throws)
This might be a hot take and I might change my mind later on but, I'd remove type erasure on return signatures for functions.
Safety is only relevant if there is a human to read the code.
Code not mediated by humans is definitionally unsafe.
If someone really believes they can have the machine generate code unattended, you might as well use assembler.
If AI made building new software so much more quick, easy and approachable, where are all the new killer applications?
I haven't seen anything.
networking is so cursed, i never wanted to know this much about local ethernet networks
I don't see any reason to have a non-poisoning mutex other than a footgun.
I'd be in favor of an interface that panics by default when locking a poisoned mutex, as it is what most people would want anyways.
I didn't know this. It's pretty bad. Non poisoning mutexes means you can easily access inconsostent state.
The main reason I give for picking std mutex over parking_lot is because of poisoning.
Lots of people in the comments saying this was a C mistake. But C++ is not compatible with C, so it chose to inherit this problem.
it's great that android moved to make rust capable of replacing c/++ in android (net new systems code is more rust now)
but eventually someone there's got to realize: rust could also be preferable to kotlin for the role it currently occupies
man, can you imagine a world where we poured 1, 10, or 252 BILLION dollars[1] into maintaining/developing open source, programming languages, dev tools, teaching material, documentation, etc?
like, god damn. 1/10 of that, and AI would probably work better too.
[1]: hai.stanford.edu/ai-index/202...
Rust programmers, do you worry about supply chain security? I.e., that a dependency might contain a bug or malicious code?
Happens every time....
No measuring with a scale
please, use mergiraf mergiraf.org I have been using it for the last few days and it's making my life so much easier.
I think that while performance at a single-node level is normally not that critical in web development, memory-safety, type-safety and correctness is really important!
The alternative in that domain that seems great is @gleam.run, although I haven't tested it yet, I'm quite excited about it.
Sometimes my hardware will simply stop working-- I think I'll need to buy proper debugging hardware tools.
Text reads: Mozilla, in its finite wisdom, embedded LLM bots into recent versions of Firefox for the vitally-important purpose of... naming tab groups. Now, some users are noticing CPU and power usage spikes caused by a background process called Inference. Ugh. Reminder again for Firefox users to visit your about:config page, search for the browser.ml.chat.enabled key, and set that to false: Displayed is a screenshot of Firefox showing the config search bar with the listed search. The word "false" is circled in red. Text continues: If yours says true then double-click it until it reads false. Doing that turns off the Al chatbot features in Firefox, but also the stupid new LLM tab-naming feature that's rolling out.
Just a heads up to anyone using Firefox:
Ah good old stack overflow
I've no unsafe operation and memory is being corrupted ๐ญ
Enough fairy tales have taught that forests are, indeed, not memory safe.
Is there a successor to FireDBG? github.com/SeaQL/FireDB...
The project looks absolutely awesome but development seems halted.
Makes sense, I'm just not familiar at all with safety-critical software development but I'm really curious about it.
Isn't there a part where you prove that what you are gonna do is correct?
Did rust-analyzer started filling in variable names when filling matching arms? That's so great!
New Benn Jordan video! (เน>แด<เน)