TwentyPosts

Yes, pi has an infinitely long decimal expansion, and there are infinitely many prime numbers.

No deep messages have been found in either yet, and I am sure some people tried, so it stands to reason that no such messages exist. Mathematical objects can be complicated and difficult to understand and go on for infinitely long without having secret messages hidden in them.

Andrew (in the linked Github page) answered a question as follows:

> Question: "So after this change, is there way I can still simply call zig run or do I have to use a build.zig file?"

Andrew's answer: "No, this use case will regress."

This in fact literally states that "just" calling "zig run" won't be possible anymore, and heavily implies you'll need a build.zig file.

People have been over this. If you believe this, you don't understand how LLMs work.

They fundamentally perceive the world in terms of tokens, not "letters".

Talking about a "decision" only makes sense if there's a reasonable alternative.

Do you think "actually fixing" OS threads was a reasonable alternative? What would you prefer for a high performance abstraction instead of async?

...what are lenses? Never heard of those.

Just because art always has a political component, doesn't mean reviews and discussions of it need to focus on viewing it through a political lens.

Yes sure, art is political, but art is political in a different way in which a discussion forum might be said to be political, and it's entirely reasonable to wish for a discussion forum with a less political bent.

Speaking from a Rust-perspective, having semicolons at the end of statements makes perfect sense and is a brilliant design decision.

Note that I said 'statements', not 'expressions'.

A lot of the confusion here (and maybe yours, too) stems from this difference. In Rust, (almost) everything is an expression by default, and you turn it into a statement by adding a semicolon. This allows you (and the type checker) to very neatly distinguish between expressions and statements, which is great. It's a very nice and elegant approach imo.

They just gave a concrete example: The difference between "we don't know" and "we know that it's zero".

Here's another fun one: I've seen APIs where "0.0" was treated as "no value, so take the default value". The default value happened to be 0.2.

> The product gave me multiple Blue Screens of Death

Sounds suspiciously like "I didn't assemble my laptop correctly, something is slightly loose somewhere".

As a whole, how many people buy a Framework laptop and put Windows on it, of all things? I can't imagine that's more than 10%.

> The core principle of computer-science is that we need to live with legacy, not abandon it.

I feel like the author misunderstands what a "core principle" is. This here is (at most) a bitter lesson learned from several decades of experience. It's not a principle, it's at best a conclusion following multiple stories of getting rid of legacy systems, but even as that this is highly dubious.

Sure, I agree that these guarantees still have to stand the test of time. So far they're holding up quite well.

> "planned obsolescence"

Cut me a break. In Go and Rust it's still easy to compile old code, and these languages have very strong backwards compatibility guarantees. You might need to compile it with a flag enabled, but it is going to compile and work.

Having the ability to improve on past language design mistakes over the years by deprecating old ways in favor of new ones is nice, and the burden of migration is generally minimal (or can be done automatically).

> Proton is clearly a front for the CIA

Do you have any evidence to back that up?

Since when does Go have algebraic data types? Like, even "awkwardly", I can think of nothing that even come close.

I specifically made sure not to claim that "tech is not political", because that would be wrong.

The issue is that "X used fake accounts to push political agenda on social media" might be interesting political news, but it's incredibly boring technical news.

Everyone knows that this is possible, and the only novel information here is political.

I'd say that if you posted news which are interesting in how they relate to tech, and also political, you're going to (or at least should have) more success than this article. Even just a proper analysis of how widespread fake political social media accounts area, deeper statistics, more novel processes of this happening, etc. would all be interesting, and would not fall in the politics-first-tech-second bucket.

You'd be surprised by how many HN users would prefer to keep politics-first-tech-second news off the site.

Calling them 'pure' may be incorrect depending on how high your standards are.

Rust functions (which don't take mutable references) are incapable of modifying anything you pass into them, and any sort of global state is heavily discouraged.

This is pretty good as far as "pure" goes, but of course, they can perform I/O. (Then again, without any side effects a program would do nothing at all behind heating up your CPU, so this seems like a fair trade-off.)

What makes Rust functional are the patterns you can use in the language, though. A lot ot of maps, a lot of filters, a lot of iterators and algebgaic data types and pattern matching.

Linux Kernel, Firefox, Dropbox, Discord, Cloudflare, Windows, AWS.

Idk, looking pretty good to me, unless you think none of these count.

Considering everyone seems to hate C++ nowadays, and Rust looks like the only existing alternative. Hard to imagine the trend won't continue.

Counterpoint: Rust.

Seems to be taking off (difficult to predict the long-term, of course), but Rust is excellent at functional paradigms and Brings many advancements of functional languages to the people.

> that's necessary if you don't want it to allocate.

Wait, what does one have to do with the other?

I hate to be that guy, but if you want "C++ but also functional programming" then... Well, then Rust is in fact the language which you're looking for.

I don't know, these screenshots look terrible, but my own experience using Gemini has been nothing short of pleasant and helpful.

> Don't forget SORA edited their "ai generated" videos while Google did not here.

Wait, really? Could you point to proof for this? I'm very curious where this is coming from

Are you doing alright?

Could you elaborate on what alternative to a 'type-theoretic outlook' you're thinking of? Pure set theory? Something without types at all, somehow? I don't know enough about the space to understand how type theory would make things "more complicated" as opposed to just being a helpful tool

The issue is that it's more or less impossible to graft onto the language now. You could add enums, but the main reason why people want them is to fix the error handling. You can't do this without fracturing the ecosystem.

The Nix language is laughably simple, though, and (unlike Scheme) it happens to be typed.

It's literally just typed JSON with functions and a few built-ins. It's laughably simple and great. The whole "yet another programming language" refrain is so silly when it comes to Nix.

Any chance for Helix keybinds eventually?

Have you ever tried?

I think most C++ people will (after using it for a while) begrudgingly admit that it is a very nice language, at least in some regards.

That's primarily just because Google is doing a poor job offering them to people. Bad documentation, and few trust Google enough to want to tie themselves to Google's trusted hardware.

Also, Google is using all these TPUs for their own training and inference at the moment.