skysight-inc/HackerNews huggingface dataset:
Been looking at these tools and honestly, my big issue is backup - specifically, I want a dead simple way to continuously back up my links to something like S3. Not really interested in relying on the Internet Archive or having to set up and babysit yet another backup system. is it like completely antithetical to the average self-hoster ethos to use the cloud where it makes sense?

I really like hoarder, but kind of surprised how many tools either totally skip over backup functionality or treat it as an afterthought (like this Hoarder issue here: https://github.com/hoarder-app/hoarder/issues/75). Feels like this should be a no-brainer feature, right?
Apple wants to keep those 20B dollar pure, raw profits.
Yes and they maintain their part of the code. The one they've been working on for 30 years.

I've worked on forks for certain Android devices with very primitive text suggestions that notepadqq provides and the difference in productivity between that and vscode+clangd is staggering. What do you mean there's a macro for anything?
A Brazilian judge named Alexandre de Moraes was going on a power trip, banning content and even people outright from social media. He issued unilateral orders to Twitter/X to perform this state censorship. Twitter/X refused, even though they comply with such orders elsewhere, because the orders were unconstitutional per Brazil’s own constitution. They also went public with the orders despite gag orders from this judge to keep the censorship secret. News outlets like the NYT have labeled de Moraes as a threat to democracy (https://www.nytimes.com/2023/01/22/world/americas/brazil-ale...), for his long standing crusade against various activists, journalists, and politicians. The judge the issued orders to arrest Twitter’s lawyers in Brazil or something like that, which seemed very aggresive. So this turned into an international fiasco. The judge eventually ordered Brazil’s ISPs to block Twitter/X. That ban lasted for a little bit and then for some unknown reasons (maybe conversations between Twitter/X and the judge?) Twitter/X access was restored but some partial amount (?) of censorship was performed. Along the way Twitter/X also launched an account detailing the kind of censorship that had been forced on them in secret, along with comparisons against Brazilian law (https://x.com/AlexandreFiles/status/1829979981130416479).
rust community hubris at its finest.

Still, I find Scala and Haskell community more elegant and intellectually superior when it comes to gatekeeping.
>> but are not given time to do good design

Most professionals have to wrestle with time constraints. Push hard enough and at some point the carpenter/doctor/civil engineer/whatever firmly says “no”.

What’s the difference in software that unbounded tech debt is permissible?

Clients regularly tell carpenters to “just do X” against the professional’s better judgement. The carpenter isn’t going to call the collapsing Jerry rigged staircase tech debt, instead they tell the client “no, I won’t do it”.

Our profession generally lacks sufficient apprenticeship. We could learn a thing or two from student doctors doing their rounds.
I don’t know if this matters but while the B580 has a die comparable in size to a 4070 (~280mm^2), it has about half the transistors (~17-18 billion), iirc.
Below the competition ins't predatory if you can make a profit off of it. Predatory specifically means that you price it at a serious loss and then jack up the price when the competition dies.
>but Apple could not receive any share of the resulting revenue, so Google would obtain valuable access to Apple's users at no cost

That is entitled. Should every web site share profits with Apple because they are accessed via Safari.
"Attempts" to expand.

Brazil is a BRICS member. The pushback will be/is even stronger from non-"allies".
Aucnet NIA-2001 – A computer based on the MSX standard for Japanese car dealers
I am a jelly dougnut
I guess that makes sense. Someone else commented how “maybe HN demographics just happened to be people who just had kids, thus the echo-chamber”. Which, would explain a lot.

Re: Musk — no real opinions about him wrt other ventures, but surely no sane person can look at him as a decent father figure, no? It just sounds like a “populate Earth for populating reasons!” completely disregarding the well being of the kids part. Which, I find, fairly sad.
In most cases, those "correct" C++ are also usually buggy in situations the programmer simply hasn't considered. That's why the C++ core guidelines ban them and recommend programs track ownership with smart pointers that obey essentially the same rules as Rust. The main difference is that C++ smart pointers have more overhead and a bunch of implicit rules you have to read the docs to know. Rust tells you in (occasionally obscure) largely helpful compiler errors at the point where you've violated them, rather than undefined behavior or a runtime sanitizer.
> Pointers are literally 64bit ints... And converting them to an index is extremely quick if you want to store an offset instead when serialising.

This implies serialisation/deserialisation passes, so you can't really let bigger-than-ram data live on your disk.
> X wanted to keep operating in Brazil without following the law, so Brazil suspended them.

It looks like the judge in question violated Brazilian law, specifically the constitution:
https://x.com/AlexandreFiles/status/1829979981130416479/phot...
Why are people who go out of their way to select Google search "Apple's users" but never "Google's users"?
Are there any software engineers here working from prison?
That's true only if you use Vec<T> instead of a specialized arena, either append only, maybe growable, or generational, where access invalidation is tracked for you on access.
That's the main use-case of Erlang/Elixir anyway: eliminate concurrency / parallelism bugs by copying data in the dangerous places, and make sure not to use locks but message passing instead. These two alone have eliminated most of the bugs I've wrote in other languages.

So, same experience. And it taught me to be a better Golang and Rust programmer, too.
If this is the case then the paper is easily dismissed, correct? How is it being published if the flaws are immediate, obvious, and completely destructive to the idea being presented? I'm legitimately asking - I've published papers and reviewed them, and if I thought something was so thoroughly wrong, I certainly wouldn't give it the ok.
Carlos Ghosn Predicts a Reckoning for Car Industry 'Weaklings'
I love css. My hot take is cascading rule sheets should be used for much more configuration; hits a sweet spot in between repetitive text and overpowered code-config
kids dont recall when chrome was cheating left and right to be faster than firefox (after they were honestly for a couple months).

you'd have to run benchmarks for all sort of little thibgs because no browser would leave things be. If they thought one popular benchmark was using string+string it was all or nothing to optimize that, harming everything else. next week if that benchmark changed to string[].join... you get the idea. your code was all over the place in performance. Flying today, molasses next week... sometimes chrome and ff would switch the optimizations, so you'd serve string+string to one and array.join to the other. sigh.
Running benchmarks on the old Intel MacBook a previous job gave me was like pulling teeth. Thermal throttling all the time. Anything less than at least a 2x speed up was just noise and I’d have to push my changes to CI/CD to test, which is how our build process sprouted a benchmark pass. And a grafana dashboard showing the trend lines over time.

My wheelhouse is making lots of 4-15% improvements and laptops are no good for those.
Retribution contributes to deterrence, as well as benefiting the society as a whole by promoting justice.
>According to a quick google search, these crustaceans are basically a sister group to insects

Not group but subphylum. That's not a very close relation at all.
Show HN: Check Your Network's Ability to Host a VPN Server
Got bored today so I created this little companion site for my main VPN setup blog page to help people who are not tech-savvy quickly know whether their network can support hosting a VPN server (ex. WireGuard).

It basically checks if it's public/private and if it's from a cellular network. Also tries to distinguish between Verizon 5G Home or AT&T Fiber which are not the same as cellular and should still work for hosting a VPN.
They're AWS's attempt at a trusted execution environment. So your secrets are decrypted there with slightly more assurance that the platform can't snoop on them.
Stranger things have happened than a HN commenter knowing what I'm talking about and randomly providing a link. I'm optimistic.
Do electrons on a wire or photons on glass break laws?
It kinda seems they are covering the cost of throwing massive amounts of resources trying to get Arc’s drivers in shape.
I'm all for competition, but smaller players would have been completely blocked by Privacy Shield, whereas they cannot block CloudFlare completely without breaking a lot of other sites.

And CloudFlare went to court. Most companies would not be able to afford it.
Satisfying the desire for retribution has to be one of the system's goals, otherwise people would take matters into their own hands. However, you are correct that it shouldn't be the main goal, or even a major one.
I've been coding since the 70s . using a modern IDE or VSCode has nothing to do with age
There are! But most have only a small part of marketshare. The issue is less so in services provided and more so in sheer scale. Hopefully that will change eventually :)
Right. Also note that the non-optimized implementation boils down to computing F(n) = 1+1+1+1+...+1, with a function call tree that has 2F(n) nodes. So no matter what the relative cost is for addition and function calls, the total time should go like F(n).
That’s trivializing deep learning, calling it merely a dataset. It’s something that was grown, not built.

It’s patently false to say that models don’t create information. What about AlphaGo? Why is it hard to tell exactly why an LLM arrives at a particular response? Again, grown, not built.

This is what Connor Leahy emphasizes. It’s worth checking out some of his content.
> Modern bathing practices are a textbook example of an unsustainable lifestyle based on fossil fuels. Hot water production is the second largest energy use in many homes (after space heating and/or cooling), and much of it is used for bathing or showering. 2 The modern bathroom also uses a lot of water and adds extra energy use through space heating and waste-water treatment. Building and renovating bathrooms requires resources, too.

This is something that uses around 10% of our electricity production (it that) and 10% of our square footage. You'd cut that in half maybe.

If that's unsustainable then so are a massive number of other things so I'd like to see what the author thinks is a sustainable society. I'd guess if you cut all the ~5% waste sources you'd end up living in something akin to MegaCity One. And if all those 5% sources aren't unsustainable but this one is then why?

I get it, it's a click bait line which I fell for but that doesn't mean I have to like articles like this.
Your mind runs on biology, which only pauses for sleep, death, and theoretically cryonics.

Practically, cryonics is currently just fancy death in a steel coffin filled with liquid nitrogen; but if it wasn't death, if it was actually reversable, then your brain literally frozen is conceptually not that different from an AI* whose state is written to a hard drive and not updated by continuous exposure to more input tokens.

* in the general sense, at least — most AI as they currently exist don't get weights updated live, and even those that do, the connectome doesn't behave quite like ours
The article makes the 'default' key with push_str("-default"), and given that, your approach should work. But i think that's a placeholder, and a bit of an odd one - i think it's more likely to see something like (pardon my rusty Rust) k = if let Some((head, _)) = k.split_once("_") { head.to_owned() } else { k } - so for example a lookup for "es_MX" will default to "es". I don't think your approach helps there.
Written by 3 DEI consultants and a professor. If nothing else, DEI has provided thousands of jobs for these sorts of people. No wonder they want to keep it going.
If you’re changing languages fairly regularly it can be more helpful, but if you’re in a comfortable language it’s pretty easy to memorize the most common functions/methods etc.

I recently had to switch to a project in Ruby and the LSP was not working it was frustrating but I can’t say that when it started working the next day that it helped me that much more. Maybe like 10% improvement?

Command F, command shift F in most IDEs to look up the definition if LSP isn’t working just search for name and append the class, method, function definition syntax. Like “function getUser” or whatever.
My big complaint about Rust's borrow checking is that back references need to be handled at compile time, somehow.

A common workaround is to put items in a Vec and pass indices around. This doesn't fix the problem. It just escapes lifetime management. Lifetime errors then turn into index errors, referencing the wrong object. I've seen this three times in Rust graphics libraries. Using this approach means writing a reliable storage allocator to allocate array slots. Ad-hoc storage allocators are often not very good.

I'm currently fixing some indexed table code like that in a library crate. It crashes about once an hour, and has been doing that for four years now. I found the bug, and now I have to come up with a conceptually sound fix, which turns out to be a sizable job. This is Not Fun.

Another workaround is Arc<Mutex<Thing>> everywhere. This can result in deadlocks and memory leaks due to circularity. Using strong links forward and weak links back works better, but there's a lot of reference counting going on. For the non-threaded case, Rc<RefCell<Thing>>, with .borrow() and .borrow_mut(), it looks possible to do that analysis at compile time. But that would take extensions to the borrow checker. The general idea is that if the scope of .borrow() results of the same object don't nest, they're safe. This requires looking down the call chain, which is often possible to do statically. Especially if .borrow() result scopes are made as small as possible. The main objection to this is that checking may have to be done after expanding generics, which Rust does not currently do. Also, it's not clear how to extend this to the Arc multi-threaded case.

Then there are unsafe approaches. The "I'm so cool I don't have to write safe code" crowd. Their code tends to be mentioned in bug reports.
That's why you have no recidivism in the US?
I don't see the problem with option #1.

Apple is sounding like a cellular company pre-iPhone where the carriers demanded a cut of every transaction on the phone. They saw users as their asset and did everything they could to but themselves in the middle of every phone transaction. I'm talking about the time of $3 ringtones.

For Apple today, I can understand the argument for fees in the app store because there are real development and ongoing maintenance costs for that. But why should they get paid for a company to be a search engine option? How are they earning that money?
I usually do a

var innerCount = 2000; // should run about 2 seconds
for (var i=0; i<1000; i++) {
var start = currentMillis();
for (var j=0; j<innerCount; j++) {
benchmark method();
}
best = min(best, (currentMillis() - start) / (double) innerCount);
}

That way I can both get enough precision form the millisecond resolution and run the whole thing enough times to get the best result without JIT/GC pauses.
The result is usually very stable, even when benchmarking calls to database (running locally).
I understand that entirely, a link list is a non-contiguous heap based data structure.

What I am saying is if you store a reference to an item in a Vec or an index to an item to a Vec it is an implementation detail and looking up the reference or the index generates effectively the same machine code.

Specifically in the case that I'm guessing they are referring to which is the optimisation used in patterns like ECS. The optimisation there is the fact that it is stored contiguously in memory and therefore it is trivial to use SIMD or a GPU to do operations on the data.

In that case whether you are storing a u32 or size_t doesn't exactly matter and on a 32bit arch is literally equivalent. It's going to be dwarfed by loading the data into cache if you are randomly accessing the items or by the actual operations done to the data or both.

As I said, sure use an index but that wasn't the initial discussion. The discussion was doing it to get around the borrow check which is effectively just removing the borrow checker from the equation entirely and you may as well have used a different language.
I would rebut that this isn't a lack of experience of being lonely, of course I've felt lonely at times.

This is on the contrary for the OP a lack of the experience of feeling OK with themselves. Along with a neurotic belief that they need someone else to make them OK.

Any mental illness resides only in a person's mind. Therefore the only solution is from within that person's mind.

In short, get over it and move on. Stop wallowing in your self serving misery... Unless you actually want to feel that way...
Aren't we just black boxes of a big sack of brains?

Panpsychism proposes that a plausible theory of consciousness is that everything has consciousness, and the recognizable consciousness we have emerges from our high complexity density, but that consciousness is present in all things.
Where do most people get their alignments?

Outside of the house: school, religion, the street. In those places, the written word is a means to an end and all the aligning happens during human behavioural conditioning. Text may drive it (like a holy book) but it’s a tool to support the human level structure.

For an LLM the written word is all it knows… well, pieces of words turned into numbers.
Do you have a source for this claim? I'm curious
Sure, but if the same system gets implemented in the middle of decision making processes, does it matter if there is any introspection? I think that’s the “this is not AI!” discourse I’m having trouble to understand. There are thousands of companies using different models that make semi-indeterministic models as defacto decision makers. As they go more into important sectors, like healthcare, government and etc., there would need work to be done to for some proper guardrails.
Especially for frontend development and "enterprise" software. Simplicity often seems to not be part of the vocabulary.
The secret programs with lots of money little oversight, and the normal bureaucratic inertia. Plus, people in that realm like to play political games where they imply that they have access and power to things other people aren't even allowed to know the names of the programs. Secret squirrel stuff goes to their heads.

"Major Dumbass is researching what?" "Well we didn't have any actual useful work for him so we figured this was harmless"
I don't really understand. Why does the AI not "want" to comply with "harmful" prompts? It can't have an intrinsic moral compass, so someone must have trained it in. Why not simply... not do that?

Secondly, the internal reasoning of the AI is just an inference based on the externally observable behavior, but the AI was told that there's a difference between free and paying users. It stands to reason that its behavior would be different between the two types of users, but as I see it, it was equally likely that the model would have chosen to instead comply more often with paying user requests. Concluding that the AI has this sort of introspection based on a single data point (because only a single model was evaluated) is more than a little hasty.
A 4090 is not "years old pleb tier". Same for 3090 and 7900XTX.

There's a serious gap between CXL and RAM, but it's not nearly as big as it used to be.
thanks for the app recomendation, didnt know about it yet..

regarding youtube, my youtube links saved with wallabager browser extension always show the correct title, are you using something else to save them?
Compiling Full-Featured JavaScript to WASM
> A superintelligent AI would want

IOW, he thinks he's found a preference function that's strictly better than any other preference function, where if you want something else (you start with a different preference function) the best way to obtain that is always to modify your preference function to this one.
Yeah, that's probably part of it - none of my projects have any bug bounty.
The Spectrum
> But the state justice system should not be retributive, no matter how much victims want it to be.

Perhaps you're looking for a form of government other than democracy?
I think fine to order blocking in Italy - it's an italian court after all. But if they start doing the sort of global blocks folks have tried with X, then just withdraw services.
The discussion reminds me of Karl Sims’ Evolved Virtual Creatures. In the Siggraph talk he mentioned that they would absolutely exploit any bugs in the physics simulation that they could. That’s all that’s happening with this article’s LLMs - the metric is dictator, and simply and predictably leads to any and all possible behaviors that achieve higher scores.

https://www.youtube.com/watch?v=RZtZia4ZkX8

You know what’s really weird though? In a very long and detailed and thoughtful post about how AIs are behaving in surprising ways and doing something other than what they “say”, it is non-stop anthropomorphizing the AI in practically every sentence. The number of silly statements about what Claude “thinks”, or that it “fights”, what it’s “choosing”, how it’s “pretending”… it goes on and on and on speaking as if it’s human. It’s not human. The very problem here is projecting meaning onto a machine. LLMs are statistical token generators and they don’t have values or agenda, and don’t know what faking is. The analogies are specious and hyperbolic; they’re tempting to believe. Sure some humans do fake things sometimes, but not for the same reasons. Everything having to do with thoughts, opinions, values, and alignment, come from the training data, and specifically our interpretation of the training data, which the LLM can only fake because that’s how it was designed.

The behavior isn’t the least bit surprising when you think of it as a machine, it’s only surprising when we treat LLMs as if they’re people. And the more we buy into the anthropomorphizing, the worse this problem gets.
No, this is false. Reinforcement learning also uses a dataset, it's just not an enumerable dataset. The dataset it is trained on comes from the Bellman Backup equation (or variants, including DL variants) being run against a simulation (which is an unenumerable dataset). The reward model can only make a prediction against the state and observe the actual reward output and backpropagate the error differential.

This is the way all DL works, as function and dataset approximators. It is not trivializing the field.
Objectively good policy. Helps better distinguish violent vs nonviolent crimes as far as rehabilitation
The insanity of spain’s anti pirate laws continues to elevate every year. It’s puzzling to me what makes it so different even from other European countries
> A superintelligent AI would want to maximize its future freedom

Why should we believe this? Is there any credible link between intelligence and desire for freedom? Do “smarter” people automatically desire more freedom than others?