poly2it

What a unique opinion! Why do you think it is controversial?

Functional doesn't mean stateless. I'd argue functional programming is superior for representing state in user interfaces. For a success implementation, see Jane Street's Bonsai:

https://github.com/janestreet/bonsai

For me, I wish the systems languages I am interested in could couple with legible verification systems, but alas, the world of formal methods seems disjoint. The only way to get a satisfactory development experience seems to be to learn Lean.

I'm looking forwards to when it starts hijacking inference keys and self-replicates exponentially in infected nodes!

Does this reflect new pricing in the black (hat) market?

Interesting project. One suggestion I'd make is to reduce the configuration complexity up front on new users. It is kind of overwhelming before you have a feel for how your settings translate to the actual training experience.

Anthropic changed their cache duration for some reason a while back.

Snapshots are only for testing. They are sometimes not forwards-compatible.

Are all of your family playing on Bedrock edition? There is a version split between console editions (plus some Windows users) and the original Java edition, with most of the (verbal?) online community playing on the latter.

If you are not all playing on the same edition, you can use something called GeyserMC (https://geysermc.org/) to allow Bedrock players to join your Java server.

Modding your server can greatly improve your server performance. Java is the platform with the best modding support. The modding APIs are however community built, due to historical and upsteram reasons. The subjectively best API for development (in my opinion) is Fabric (https://fabricmc.net/), but many older mods have only targetted Forge. Due to a split in the Forge development team, this API was recently superceded by NeoForge (https://neoforged.net/). Most relevant mods support both Fabric and NeoForge.

To explore mods, I would recommend using Modrinth. It has a pleasant and powerful interface, and links to source code on open source mods.

https://modrinth.com/

Here is a search filter for an overview of server-side optimisation mods:

https://modrinth.com/discover/mods?g=categories:fabric&l=ope...

To set up your Minecraft server, I would recommend NixOS (https://nixos.org) for devops with nix-minecraft for server configuration:

https://github.com/Infinidoge/nix-minecraft

Feel free to ask clarifying questions if you have any, I might have written this somewhat compactly!

Lua works great on Nix. I don't get the urge to create more package managers.

What definition of black hole are you using?

This error could be fixed with better typing. If you compute on GiB in a billing system, make sure it can only ever be mutated with a GiB type!

So that your abuser cannot obtain real-time information about you via integrated accounts.

This looks promising as they are extensively comparing themselves to open models. There was a bit of confusion in the comments as to whether this model would be opened. I'm holding my breath!

I can't take a design opinion seriously when it is hosted on a site as hideous as that.

Rayon optimises for throughout, not latency. If you want to ensure a maximum latency cadence, use something like micropool: https://github.com/DouglasDwyer/micropool.

Here is an interesting video about it: https://youtu.be/QFQkqFSg8Z4.

> loose typing can be extremely useful

"Loose typing" enforced in a strict typing system can be useful in certain scenarios, but it is regrettable that it instead replaced the strict typing discipline for some time in software. Strict typing should be the default, because it is the most accurate description of data in the vast majority of cases.

What is the issue? You can still download the world files, but it would be inconvenient to store them in Minecraft's unoptimal format.

Slander? Are you serious?

> We wouldn't have gotten this far if not for Zig, and I'll always be grateful. Until very recently, programming language choice was a one-way decision for a project like Bun.

https://bun.com/blog/bun-in-rust

Ah, I didn't know actual post timestamps for comments are updated. That explains it, thank you!

Is HN bugged? I swear I have read these comments the day prior, there is no way they are from within 10 hours?

Where do you draw the line on how good human-machine interfaces should be? I'm sure this model could be a convenience for many, and while it may be social for some, I am not sure it would substitute existing human interaction for those users.

Besides, I do not think there is anything inherently immoral with not being social, or not having the ability to be. Consider for example people who do not naturally have the social network to interact with people they want to (e.g. some gifted children).

I am not convinced this model has enough empathy to satisfy most users on an emotional level. A bond is not merely an exchange of words, but prolonged and deep contemplation of the other being. We cannot introspect into these machines, and they certainly cannot yet do the same to us.

I often refrain from commenting about meta-issues on HN, but I'm particularly annoyed by the downvotes on this question of mine. What is this forum for, if not for this exchange between makers? I've noticed downvotes on questions are an oft occuring pattern. I think the comments on HN should house more than self-contained absolute statements.

Would Rust have made this issue impossible by construction? I know Linus has spoken about Rust's promises about memory safety not being equivalently applicable in the kernel domain, so I would be curious to hear any kernel developer's perspectives.

The vast majority (72%) of European citizens are opposed to Chat control. Regardless, the proposal has been brought up and rejected relentlessly, mostly by action of politicians (commissioners) who are not directly elected to begin with. We have more than enough reasons to be furious.

https://www.patrick-breyer.de/en/poll-72-of-citizens-oppose-...

In this case all teachers have also learned from each other.

A lot? I would be kind of interested if there were any known figures. Do companies want to be implicated in AA-cooperation in any capacity?

Klara and the Sun is such a great book. Kazuo Ishiguro captured the intersection of technology and society in a way which can appeal to both to humanists and technologists. It was especially interesting to read his interpretation of partial sentience, learning and understanding the world from the lens of the artificial friends.

What inspired you to attempt pursuing butchery?

For some reason I find Claude's writing often has an oddly condescending tone when it tries to be empathetic.