/tech/ - Technology

>>31846
I mean
<clone or infiltrate every last C program
is their literal agenda by any reasonable metric and especially their own statements.
>Use memory safe languages! There are lots of great ones to choose from. Writing an operating system kernel or web browser? Consider Rust!
>Hopefully by now we've convinced you that unsafe languages like C and C++ are fundamental root causes of huge swathes of the insecurity in our products, and that while there are practices you can undertake to reduce the risk, you can't get anywhere close to eliminating it.
>If you don't have new projects, the next place to look for opportunities to use a memory safe language are new components of an existing project.
>For projects that don't have any natural new component to get started with using a memory safe language, adoption is more challenging. In this case you need to look for some existing component to rewrite from an unsafe language to a safe language. It's best if the component you choose is something where you were already considering a rewrite: maybe for performance, or for security, or because the code was too difficult to maintain.
https://www.memorysafety.org/docs/memory-safety/
>>31848
That's C23. This is the C89 specification:
https://web.archive.org/web/20200909074736if_/https://www.pdf-archive.com/2014/10/02/ansi-iso-9899-1990-1/ansi-iso-9899-1990-1.pdf
Seems to be only slightly longer than my vague recollection.

>>31830
i love it, it's a fantastic alternative to C/C++
much less of a hassle to use and gives you pretty much the same advantages

i do have concerns about the toolchain licence though (not GPL like GCC but cuck licences instead)

also the "community" is weird so i don't interact with them much, but the language is pretty solid and these days is my first choice for most projects.

>>31847
>Does that not seem like c++ all over again?
it's significantly worse than c++. imagine if you were trying to use a c++ library and found that it was using a feature that hasn't been added to the latest standard yet and is only available for rolling release gcc. it is going way faster than c++

>C/UNIX forces you to
not really, it is reality and performance constraints that incentivize you to use c and manually manage memory. the reality is that we haven't yet written a compiler that is better at managing memory than a person, no matter the amount of fake lisp benchmarks

>in practice a specification exists to state intent and preemptively identify bugs, that may be discovered in an implementations
this is what I meant by bad faith the entire post is very clearly AI generated it is the other way around: both c and c++ predate their respective standards, the standard just translated to natural language what already existed. and in practice the c++ standard committee exists for the three big compilers to pool the "this is what we think we can implement" proposals and have their sponsors pick and choose what they want

you can have the opinion that languages should be small or whatever but that's just an opinion: the fact here is that the rust approach is more honest and carries less overhead, a standard that isn't a specification but a testimony shouldn't be a priority. and no one is waiting for a committee to start writing rust compilers. the entire world uses c++ and there is basically only 3 compilers, I don't see what's the rush to make more rust compilers when it has only a fraction of the users

>Ada
>the MIC black box is good and a great success
>according to the MIC
committees are good if you get paid a mic salary to go to the committee, sit there, and be like "what if pascal but with mutexes"

>>31844
>I do think most rust rewrites are done under false premises
I mean, it's that combined with the naive enthusiasm behind them that makes people mock it is a cult.

>>31851
>the entire post is very clearly AI generated
Fuck no, and i thought i was paranoid!
>constraints that incentivize you to use c
I was refering to C with just UNIX, as opposed to gc libraries or anything else that might exist.
>we haven't yet written a compiler that is better at managing memory than a person
C forces you to either find a reasonable hard limit or devise an allocation/reuse strategy, but in 90% of the programs code you could hand this off to a garbage collector at a near-zero performance cost or do reference counting at a near-zero latency cost.
>both c and c++ predate their respective standards
C began as a research project though. While K&R C wasn't well defined at first, many UNIX clones modeled their C compiler after pcc, including especially the bugs. I would argue in this case the "code as specification" model actually worked, because pcc releases outside of Bell Labs were well-defined, as opposed to the blurry, moving target that constitutes rustc development.
>"what if pascal but with mutexes"
But that's literally my point. Pascal originated as a research language by Niklaus Wirth and, as found in the famous bwk essays, suffers from several short-sighted deficiencies. This is where a designed-by-committee language like Ada can improve on the core language design and fine-tune the additions necessary to meet requirements.

>>31819
to be fair they now make the devices too damn big for a lot of too damn small pockets

>Inspired by the concept of “a piece of cloth,”
How is this not a C-tier Onion article

>>31679
Imagine being this angry that the Chinese accept that a desire to consooom is just part of the human condition

Pockets exist

>>31834
I like China. I was making fun of ironic china-hating leftcoms

>>31750
> central planning is the same as central infrastructure.

Absolute braindead take, bravo

socialism doesn't require things be centralized, and communication (including the internet) should be free and decentralized

>>31738
>>31753
>>31757
>whats le socialist solution to irrelevant nerd shit?
communism has nothing to do with fucking web infrastructure buds, stop pretending its about alleviating every little fucking problem of capitalism

>>31762
nah

>>31768
lmfao complaining about le monopolies is 100% petit bourgeois shit i mean look at this shit bruh >>31823

>>31750
Only good post

>>31809
>The funding will apparently come from the Big Beautiful Bill? Somehow.
another trump nothingburger where no money is procured and everyone forgets about it in a year like it happend with stargate

>>31818
these articles are weird because i keep hearing about benchmark improvements and everything has been more or less the same for about a year

what's the chance anthropic filled the sonnet 3.5 model with all sorts of AGI and simulation theory gibberish which leads to this sort of stupid dramatic output to make the weak-minded believe they were just on the cusp of AGI

>>31820
Benchmarks are subjective and basically a quintessential example of Goodhart's law.

https://github.com/Wan-Video/Wan2.2
Enjoy

https://arxiv.org/abs/2208.01066
An expected result, but it does down some critiques

it's important to distinguish between non-commodified ML and its legitimate uses and LLMs and other crap the AItard corpos are trying to shove in all our holes

isn't traditional ML/NLP useless now that LLMS have been invented? other than cost why would anyone write a Support vector machine or something in AD 2025?

>>31805
in the sense that LLMs theoretically rely on NLP for language modelling, not really, i don't think, it's worth teaching at least. Is it going to be an employable field in the future? Probably no

Why do several GiB downloads go faster over tor than just VPN? Is my VPN just that garbage?

>>31648
cute mouse

Is there some site with a bunch of html/css templates? No JS included.

Bonus points for simple, 90s-2000s looks. I don't want to use a generator but i don't want to start from scratch because it has been too long

So I'm still very happy with my t430 except for a major annoying thing which is the noise. I want to get a laptop with good gnu/linux support that's fairly quiet.

I was thinking about getting a refurbished x1 carbon, but i don't really know if that's a good idea, maybe I'm ready to pay a bit more for a decent machine but preferably cheap.

So should be quiet + good linux support + more powerfully then the t430.

>>31799
https://csszengarden.com/pages/alldesigns/ would be the obligatory reference.

Isn't having a unique set off RSS feeds like shining a searchlight from orbit on yourself every time you check it?

>>26067
Theoretically yes but that is not unique to RSS feeds.

>>26067
not if you torify your RSS reader
sadly this works less than stellar these days thanks to glowflare

Jannies peanuts footballed a thread that asked for indie and non-western war news publications so pasting here:

indie:
https://thecradle.co/feed/
https://southfront.press/feed/
https://www.aljazeera.com/xml/rss/all.xml

non-western:
https://www.telesurenglish.net/rss/

non-western but it's a thinktank so the Heritage Foundation or Peter Theil are behind it somehow, but maybe useful anyway:
https://uwidata.com/feed/

non-western but government owned, but maybe useful anyway:
https://tass.com/rss/v2.xml
Post too long. Click here to view the full text.

>>31764
>4mb ai slop image
>ai slop paragraph to bypass minimum length
>literally no content in the OP
why do mods allow this garbage. I always report and the always dismiss my reports

>it's not DNS
>it's not DNS
<it's DNS

mOTHERFUCK

>>31765
dont like it dont respond, no ones forcing you to discuss networking

>>19819
(ಥ﹏ಥ)

>>25515
Is that an Aqua emoji?

>>25530
Aquamoji?

>>25533
AWWWW KAWAII DESU NE!!

Something like thumbkey but with sounds like this one would be fun