skysight-inc/HackerNews huggingface dataset:
Unfortunately that creates a choice between an app that updates in an aloof manner or allowing it to exist in an insecure, not updated state.
You can also block the updater's internet access by adding this to your /etc/hosts file:

127.0.0.1 api.snapcraft.io

And for other updates:

127.0.0.1 archive.ubuntu.com
127.0.0.1 security.ubuntu.com
127.0.0.1 mirrors.kernel.org
127.0.0.1 deb.debian.org
127.0.0.1 ppa.launchpad.net
127.0.0.1 flathub.org
127.0.0.1 dl.flathub.org

Use at your own risk of course.
" I work almost exclusively using a drafting table and pencil without modern 3D CAD software"
I would invest in micro strategy if I cared about Bitcoin because I don't want to mess with wallets or pay someone to manage my wallet.

Banks can do fractional reserve banking to 'pay' for the expense of storing our money. Can crypto wallets do such a thing? Or would they have to borrow money?
The crypto part isn’t something you turn off. It’s buried in a menu somewhere. For all intents and purposes, it’s a pretty elegant UX.
Seems the cure is worse than the disease.
Certainly not. But old solar cells that still have a certain lifespan can be obtained almost free of charge by anyone who wants them.
what evidence do you have that this is true. at this point, a new theory of physics will be trotted out that shows a pendulum does not have to swing back. it will become trending on all the socials so that people believe. it therefore becomes the de facto truth, and the cult remains
> The passage drdeca quoted explicitly denies you the space to treat Christianity as a "useful fiction"

Yeah, I'm disagreeing with that passage.

> [I]f Christ has not been raised, our preaching is useless and so is your faith

Faith can be useful even when it does not reflect an objective truth. In fact, you might say that faith can only exist at all in the absence of objective truth. I don't need to have faith that a triangle has 3 sides, or that ice is cold.

If we do take seriously the idea that Christianity must either be true or false, then it's obviously false: Most religions contradict each other, and none of them have any concrete evidence in their defence. The natural conclusion is that all religious beliefs are false. But then we have to interpret society as a place where most people believe obvious falsehoods, which is just not a useful lens. There is a huge difference between a falsehood like "triangles have 5 sides" and a falsehood like "Jesus was reborn." Nobody would believe the former, but many people believe the latter. We must distinguish useful fictions as a category beyond the dichotomy of simple truth or falsehood.
I was unexpectedly blown away by a post-apocalyptic book called Wool by Hugh Howey, the first one of the Silo trilogy. Hard to say what did it exactly, just the overall combination of plot, storytelling and pacing. I read (or rather listen to) a lot of fiction and sci-fi specifically, and can't recall the last time I was this much into a book. About to start the second one, and also looking forward to the TV series based on it.
Timing and Periodicity of Influenza Epidemics
I’ve known about the möbius strip since I was a kid, and the idea of existence proofs based on continuous functions having to cross since my early teens.

The idea that the möbiu strip is more than a pointless novelty has never occurred to me, and now I feel like I have to apologize to that object for dismissing it so cavalierly. Its role in this proof is remarkable and a wonderful brain tickle.
It's essentially a loop that fetches www.whatever.com/username and does a regex for "user not found". It then outputs a list of links, to possible profile pages. Pretty simple tool, but speeds up a standard investigation technique.
It's a relatively new and novel thing for people your age to be able to look up anything online, to the point where it's scandalous.

This card will be played over and over again by politicians, influencers, prosecutors, police, etc, until the smartphone-from-birth generation reaches office. At that point, it'll be so easy to dig up dirt on anyone, people will just stop caring (as they should anyway).

We're just in a weird transition period right now.
F* is older than a decade. Also it's a research project, so quite different than the random "memory safe" language iteration of the day.
Ruby 3.4.1
Womp womp...
Natural gas is methane. Methane is composed of hydrogen, but it is mostly carbon by weight. Chemicals are different than their components. Water is also made of hydrogen but it takes work to split it.
Until some ML process is learned to give a probability that accounts are the same based on writing styles

Staying anonymous is very difficult
Q for Mullvad users: How often is access trough Mullvad VPN blocked by sites?
Indeed, seeing the 3dfx in action for the first time was super magical.
I think that reality is much more heterogenous. Say some edgy or unpopular things 10 years ago, and they can still be shared with your boss and blasted across your employer's social media channels. The social consensus and average result doesn't preclude damage in some cases.
That leaves other evidence that's been looked for. Additionally, the Eurasian cultures that peopled the Americas are all known to have been heavy lithic users.
This is a demo of what's possible to run on edge devices using SOTA quantization. Other similar projects that try to run 8B models in browser are either using webgpu or 2 bit quantization that breaks the model. I implemented inference of AQLM quantized representation, making model that has 2 bit quantization and does not blow up.
It seems that the merchants were strong-armed into a mafia-style deal with Honey, in that if they didn't partner with them then Honey would suggest the better coupon codes that not everyone was able to have. If they did partner with them then they would be allowed to suppress those particular coupons. Seems like a damned if you do, damned if you don't situation.
If I were a merchant I'd definitely prefer to have the original affiliates rewarded as they are the ones actually driving the visits rather than Honey stealing the commission after the user is already there intending to buy.
Too cheap to meter, as long as you have no SLA. Much like solar-generated heat is "too cheap to meter" in traditional greenhouses.

Desalination is not sensitive to input power fluctuations, as long as you have a large enough reservoir to even out the spikes. The natural desalination cycle, with evaporation of ocean water, clouds, mountains, and rivers, already worrks like that, but probably a more localized setup with electric pumps and reverse-osmosis membranes could bring freshwater more directly where humans need it.
Huh what? A nation may not even need to exert force if it's one of the few ones producing babies.

Ability to defend oneself is a given for any nation state, babies or not.
Even worse is the 'air drop' craze of the crypto world. I also think the people that invested (and lost) their money in HAWK coin knew what they were doing.

They wanted to pump and dump the coin and couldn't get out fast enough. It's just another way to gamble.
While true, this isn't even slightly related to the os being "immutable" or not. Immutable-OS upgrades can and do break things - that's the reason it's even a thing. They just give you a reliable rollback.
I'm at a loss for how your example doesn't lead to automatically negative.

Don't post something harmless today that will be deemed a "dog whistle" in 2035 so that you don't have to prove a negative?

I don't mean to be critical here, it's a genuine ask.

And to add to the above, my post is the kind of post that would be gone. If I was taking a similar stance.
LLM apps, AI Agents, and RAG tutorials with step-by-step instructions
The Federal Reserve targeting "price stability" literally does mean that they target prices increasing exponentially by an average of 2% per year[1]. The mathematical form is P(t) = P₀(1.02)ᵗ, where P₀ is the initial price level and t is time in years.

[1] https://www.federalreserve.gov/economy-at-a-glance-inflation...
~$ cat /etc/chromium/policies/managed/ubo-policies.json
{
"ExtensionManifestV2Availability": 2
}

Will save you for another year.
Being able to choose from so many different Availability Zones in so many different regions is one of the best things about AWS. Combined with sophisticated routing strategies that Route 53 supports allows for some very effective designs.
I studied formal languages for ~2 years and have professional experience programming coq. The real benefit of this language, over other formal languages is the focus on being able to write real programs in it. Most theorem proving languages are focused on mathematics or proving things about a program, and they are very abstract. This language appears to have a goal of bridging the gap and making it simple to write programs and prove parts of them. I believe this is the future of formal languages. If you write something in Rust, it would be great to prove aspects about it. Why not? Well F* is a vision if this future. As proof automation gets better, we will be able to prove many things about our programs, something which is not typically attempted due to difficulty. For instance, imagine proving that a certain path has no allocations, spawns no threads, cannot deadlock, preserves privacy, only modifies a certain subset of global data, is a specific algorithmic complexity, is not subject to timing attacks, maintains the conference of a cache, is memory safe (without a borrow checker). The limit is your imagination and Rice's theorem.
I meant the precedent of wherever he'd be able to get royalties for something he wrote on a social media website.

you're giving full copyright to the social media website you're posting on. If someone wanted to buy a licence to use this - whatever it might be - the discussion would be between the social media platform and the licensee.
the original author of the work would not have any stake in that theoretical situation.

If you were wondering which specific case I'm referring to, ForHackernews linked to the wiki article. there is a small note on the licensing issue at the end there.

https://news.ycombinator.com/item?id=42509955

From what I remember, he had gotten a WB offer - which ultimately didn't pan out because a licensing agreeming couldn't occur. He'd have had to rewrite the story off-reddit for them to be able to license it. And that never happened.

(Well, he did rewrite it - but probably took too long, so the window of opportunity had already closed and it was never made into an actual movie)
> The privacy issue is an issue, but it's not one that actively prevents me from reading things online.

Yet.
Interesting tid bit:

What language is it written in?

FixBrowser is written in FixScript. [...] FixScript is a memory safe, thread safe and integer overflow safe language with minimal native surface area, greatly reducing any security problems. Ideal for processing potentially malicious websites.

It is also very portable (only a C compiler is needed), it even has an ability to emulate threads for environments that lack it (eg. WebAssembly - important for mobile support).

https://www.fixbrowser.org/faq

https://www.fixscript.org/blog/introduction
Pshufb is an old trick. An oldie but a goodie from SSE2 days.

All hail modern improvements!! pdep, pext, vpcompressb, vpexpandb, and especially vpermi2v.

Forget about 16 byte lookup table with pshufb. Try a 128-byte lookup with vpermi2v AVX512.

--------

I find that pext/pdep for 64-bits and vpcompressb/vpexpandb for 512-bits is also more flexible than pshufb (!!!!) in practice, if a bit slower as it is over multiple instructions.

Supercomputer programs are written with a gather-conpute-scatter pattern. Gather your data, compute on the data, and finally place the data where needed.

Pext and vpcompressb are gather operations.

Pdep and vpexpandb are scatter.

Pshufb is only a gather and thus fails to match the supercomputer pattern. GPUs provide a bpermute (backwards-permute) that scatters results back to a table and is really the missing link IMO.

Hopefully Intel will provide bpermute of their own eventually....
Try reading books, i'm always happy when i finish one, starting is the difficult part.
Suicide is more common than we measure and can be impetuous:

Three days after a publicized suicide, automobile fatalities increase by 31%. The more the suicide is publicized, the more the automobile fatalies increase. The age of the drivers is significantly correlated with the age of the person described in the suicide story. Single-car accidents increase more than other types just after the publicized suicide.

https://www.jstor.org/stable/2778220
Democrats cancel and Republicans mostly double down. I don’t think there is anything Trump can do at this point to horrify or even just dissuade his base, for example.
Does anyone have detailed demographic data on US birth rates? Things like socio-economic, ethnicity, race etc. Just saying fertility rates are hitting an all time low isn’t really helpful.
I want to solve a rubiks cube in less than a minute. Less than 30 seconds would be really cool.

Got a nice speed cube with magnets for christmas, so that's the first important step on the journey :-)
just to be slightly pedantic as there are still sites that have screen names vs account names where the screen name the public sees has no correlation with the account name (typically an email account).

so don't re-use email accounts across sites. SecOps matter
FAANG engineers in general are remarkably well informed as to who is buttering their bread.
You may assume that Google engineers are excruciatingly aware (particularly after several rounds of layoffs) that their continued paychecks and stock grant value depend on continuing to firehose advertising into the face of the general public from every possible angle.
My opinion about Rust is not leaning on this article actually. I might need to give it a bigger try to see how it feels but I am pretty sure I am not going to ever like so heavy lifetime annotations for a ton of reasons.

I think a subset of the borrow checking with almost no annotations and promoting other coding patterns would make me happier.
Then people will start using browser extensions that automatically "fuzz" your writing style randomly. That is, if chasing anonymity is someone's true goal.
There was a story, a couple of years ago, about a teacher who got fired, because she posted a picture on Facebook, holding a margarita, or something. She was on a vacation in the Caribbean.

One of the parents saw the post, and raised a stink.

Now that I'm retired, it doesn't really matter that much, but I do my best to behave well (this joint is pretty much the only place I post much). In the past, I was not so circumspect. In fact, I was a troll.

I remember once, signing up for Disqus, and they came back, and said something to the effect of "We found all these posts from around the Internet. Would you like to claim any as yours?"

Included, were some of the worst troll posts I'd made, many years ago, under the [obviously mistaken] assumption that they were anonymous.

I nuked the signup, and went and had a lie-down.

Since then, I have never bothered to try being anonymous. I probably could, if I wanted to, but I'd rather just stay public, and not say stuff that I'd regret.
OK, thanks. Is the rest of it right?
I worked a while with Silverblue, it is great, but they should use Distrobox instead of Toolbox. In Distrobox one can also encapsulate the home folder and one can export a link to a software running in a box to the outer system. The last one is pleasant for example with VS Code, which will only work properly when installed in a box.
Agreed. Tesla makes the worst EVs out there, which really sullies the perception of EVs. I've test driven both a Model 3 and a Model S and I've never had such a bad driving experience. Everything is hidden: How do you unlock the doors? How do you turn it on? How do you put it in drive? Everything is hidden behind a terrible UI on a glorified tablet. There were no backup cameras - instead, it showed some wiggly outline of the curb that would come and go at random. Once on the road, the accelerator felt like jelly - slow to respond, required a lot of travel, and had a strangely nonlinear curve. The blind spots were unbelievable. The "yoke" was even worse - I couldn't access the turn signal while turning! I couldn't imagine a worse driving experience and I've driven some absolute breakers over the years.

I have owned two EVs: a 2020 Hyundai Kona and a 2022 Hyundai Ioniq 5. I only switched because I had my heart set on the Ioniq 5 and only bought the Kona because the Ioniq 5 was really hard to find.

My Kona was exactly the same as the ICE version, just with an EV conversion. The interior and controls were identical. All of the EV specific stuff just replaced the ICE equivalent in the instrument cluster. Yes, it had an infotainment system and you could control a bunch more stuff from there, but that's true of all new vehicles. That Kona was the perfect example of how EVs don't have to be any different than the familiar ICE. Anyone could just get in and drive without even knowing it was an SUV.

My IONIQ 5 is certainly different - that's part of the appeal - but that's largely only in the exterior aesthetics. The controls and driving are still exactly like a regular ICE. They have adopted the full LCD panel instrument cluster, but again, many new ICEs have. Steering wheel, stalks, accelerator and brakes - they are all designed to feel just like the familiar automatic transmission. The only difference in controls is that the "transmission" control is now also on a stalk, since there's no need for it to be down on the center console. The default drive mode is set to feel just like driving an automatic with the same amount of delay and ramp up in power and the slight engine braking. Press a button and now it's full EV - instant response, no engine braking - it's the ideal race car that does exactly what you ask without imposing mechanical restrictions. It's truly a unique experience in a good way.

Elon Musk certainly doesn't help. His push for different for different's sake, trying to convince everyone that EVs will change the world, pressuring governments to let him bypass regulations and workers' rights, and his quickly declining sanity really hurt the image of EVs, since he is the image of Tesla and Tesla is the image of EVs.

I sincerely look forward to a future where the traditional automotive manufacturers become a large part of the EV market and some semblance of standardization and normalcy returns to the automotive world.
If you're going to put a dot matrix display of images on your house, just cover it with LCD screens. At some point too much tech just makes it boring and plain.
EU user here. Streaming platforms approaching 100%. Other than that, not common, but slightly increasing.
Are most prime numbers symmetric?
In my experience it happens, but rarely.
Fairly often I get captchas which is annoying, but tolerable.
pharo is awesome. if i had any need for desktop applications, it's the first thing i'd try to use.
> Google is deliberately doing this to break ad blocking for Google ads

If so, they are doing a crap job of it because uBlock Origin Lite successfully blocks all of the search ads on google.com
- financial management skills. how to allocate and manage capital and get value from money. to me elon musk is mainly a very successful private equity investor. imo if you can do that, you can do anything.

- fitness discipline, moderation and better consistent average performance than hitting PR's.

- musical literacy. I'd like to be able to read a score and hear it instead of just sounding out each note.

- horsemanship, continue the journey into a third decade, train up another young horse but this time with more lightness.

having amateur interests is a strange dynamic. what is more absurd? the ridiculousness of being an adult trying learn things that children do and that other people have already spent entire lifetimes and sacrificed other opportunities to learn- or not learning them or developing the physical competence, but having mere opinions and taste about them?
Damn it, now I have ro read another Stephenson book.
I've used Mullvad for quite a long time now, and haven't had too much trouble, though as of late the performance the last year seems... lower than previous ones.

But honestly I think dragnet surveillance has won, so that's a moot point for usage (just my opinion).

I mainly use it to keep from doxing myself (OpenVPN + socks v5), because for some reason every website you go to now wants to know if you're interested in X at [Your location].

with a footer like `[IPv4] [IPv6] [lat, lon] [First Name, Last Name] [SSN#]` Serving you proudly since 2005!
Reddit blocks it. Very annoying.

Edit: when not logged in.
Yes, another thing you can do is use email subadressing for every account you create, ideally with a non-default separator (i.e., not "+").
I downvote comments that disregard the hn guidelines.

“Please don't comment about the voting on comments. It never does any good, and it makes boring reading.”
I was under the impression that Chinese food is all about pork. Something like that Modi's rant: https://m.facebook.com/reel/1021462526286349
I had one of the best resolution for this year, so far I exceeded it with a banger.

My resolution was to go into the year without having any expectation. It is one of the most counter intuitive thing, but yes. I achieved nothing this year. I went from (-) to (0).

Resetting life and thinking through it takes a lot of effort. I am continuing the same resolution with sub-goal of hitting 1 if possible.

Expectations and desires are the root of all evils in your life. Control them, and you control you.
The Fed has stated that one benefit of a small amount of inflation is that it provides employers with a mechanism to effectively revise wages downward without employees quitting (by denying them an annual raise), but yes - they have never stated that they are trying to inflate the debt away.
I am also waiting for someone to explain it coherently.

It essentially allows you to buy bitcoin at 3x the market price. (mstr market cap is about 3x the bitcoin it holds)

People seem to equate that as meaning that the future stock price will grow at a faster rate than the price of bitcoin, but that would require the premium to grow to an even larger factor than the current 3x. It also ignores the reality that a falling bitcoin price should completely wipe out the premium of stock price over net asset value (if we are to apply any common sense).

Of course I might be missing some great insight that makes it something other than a really stupid gamble.
I wish there was a Python project like this
Somewhere, I have an old stone hand axe. It's really well-made. Not sure where it's from, but I believe it came from a European Stone Age dig, about fifty years ago (probably stolen. People weren't so circumspect, in those days).
https://dafny.org/ also allows proof checking and allows do write real programs with it. It has a java like syntax and is also from MS I believe
The State of Julia for Scientific Machine Learning
I have zero outside context on that pr but judging it purely by the actual written text in the comments it seems the mdn maintainer was bring far more mature than the contributor who ended up quitting. They both mention a lot of background in the comments themselves; what information is missing which would make the contributor seem more sympathetic? As matters stand, this doesn’t appear as a loss for mdn.
Often if you're on a bad node that has been rate-limited, usually connecting to a different node in the region helps. However VPN blocking very often and more frequent especially this year, it seems like walls are going up everywhere.

Side note: one of Mullvad's Miami servers is blocked by HN, I have to switch nodes if I land on that one because "Sorry" message.
>I don't like apps secretly updating without my awareness

Any particular reason?