skysight-inc/HackerNews huggingface dataset:
Not just because it was touching:

- because it was touching;

- and because we observe non-local information stored in braiding of the wave equation; even when we separate the constituent (quasi)particles.

The belief that you can reduce a system by decoupling a particle or system from outside influences is at odds with that second fact. We’re storing the hidden variables in those non-localities; when you measure a system where both particles are part of a non-local phenomenon, they’re coordinating through that non-locality.

What has literally no proposed mechanism is suggesting such non-local quasiparticles disappeared — by what specific mechanism did primordial anyons dissipate?
If you download the Red Hat developer edition and run a "yum update" once every couple of months, then you will get access.

The developer edition is now more inconvenient, as you have to reapply once a year.
> It wasn’t always difficult to migrate between computing platforms. During the heyday of the PC, jumping from a Dell or Compaq to a Macintosh, and vice versa, was relatively easy, because users had almost unrestricted access to their own files, most of which could be counted on to work across different brands.

> That portability largely ended in the mobile era. Apple, Google and a graveyard’s worth of other companies restricted access to internal software mechanisms, adopted more unique file types and “sandboxed” apps so each one had its own isolated data.

Call it a "computer in your pocket" and lock it down harder than Fort Knox so users become less computer literate over time. That's a big part of the smartphone revolution's legacy.
About the only "successful" privatisation in the UK was of telecoms.

The main infrastructure company that operates country wide (OpenReach) are heavily regulated by how much they can charge for last mile termination. So that means there's a floor to how cheap services can be, but gives wiggle room for charging more in return for better customer service (e.g. Zen, AAISP). I pay £53 a month, with no yearly price increases, for 900/100 FTTP - which is still pretty pricey compared to other places in Europe, but from what I've seen of the likes of Comcast in the US, is pretty decent. No data caps either.
This actually makes their strategy make more sense. They kept claiming they'd need to leave the EU (which they would not have done), but it appears that the audience was the Commission rather than the regulators.
It was many years ago but when I was at Google I started a new project in my 20% time and then took it all the way to production, it's still there and handles millions of requests per second because it's integrated into many of their biggest products (it wasn't a standalone thing). Yes, I had to write design docs, do PRDs, do privacy reviews, get launch approvals and many other things. Sometimes I had to integrate the project with other people's codebases myself. But, so what? These things had a purpose. The design doc for this project was dozens of pages printed out, it was my pride and joy.

I recall reading at the time comments on HN saying things like, 20% projects don't really exist, or that it's impossible to launch things at Google because of all the approvals you need. And then I went back to launching a 20% project into production.

If you do really care about making a project fly then filling out forms, getting people on board and getting approvals won't stop you.
Honestly, this is a brilliant move. Fork RHEL and pay to keep the open source community around it alive (Rocky, Alma). It's like EEE in reverse.

Between this and Rancher (which is gaining a lot of popularity within the enterprise), SUSE is really stepping it up.
Meanwhile I have a 12 years old desktop PC still going strong. The mobile OS world looks pretty sad in comparison.
STILL.
Can Firefox not be protected with standard error handling procedures and abstraction to not crash a page or the whole browser when a plugin goes wrong?

Chrome has plugins and it rarely crashes with the plugins I typically use. Originally, I had to switch from Firefox because of unstable plugins (although I have come back on mobile, because at least they gave plugins).

How is Chrome able to encapsulate, but Firefox isn't? And why shouldn't that be blamed on the browser itself? Maybe I am confusing "extensions" and "plugins". If so, how are they different?
Fucking finally! This isn't a "win for Facebook and Google", this is a win for every single small European business which can finally use industry standard services again without worrying about being fined.
I do need to reboot my mac a few times a week when it fights with my monitor and decides everything should be 500 x 500 pixels till I reboot. Sucks.
It's the fundamental difference between declarative and imperative programming.

Loops conflate two different questions: "what do you want?" and "how do you want it done?" If I write (Haskell):

map (+1) list_of_numbers

I have expressed only that I want one added to every number in a list. Whereas if I write (C):

for (size_t i = 0; i < sizeof(array_of_numbers); i++) array_of_numbers[i]++;

I have expressed both that I want one added to every number in the array and I have also described exactly how to do it, including the order I want it done in.

So what's the big deal? On the one hand, the imperative approach gives me more control. On the other hand, I may not want that control! Perhaps I don't care what order the numbers are incremented in, I just want it done, and the extra details in the for loop are just "line noise" which gets in the way of being able to quickly read the code and understand what it does.

There are other factors, of course. One advantage to the functional approach is that the library author who supplies map (since it's not built-in to the language) is free to change the details under the covers. Perhaps they find a clever way to parallelize the implementation, then all of my code which uses map gets a free speed-up! Now, there may be other reasons why this won't work in practice (to do with legacy code, of course) but the principle is sound!
I find concat pipelines to become unwieldy very quickly. I’ll generally turn to an imperative loop when my output doesn’t fit neatly into an FP paradigm, or requires a ridiculous amount of translations to accomplish. At the end of the day, I still want to write performant code.
> But if you're a human being - this seems like a whole lot of hassle to... protect against evildoers breaking into your hotel room and replacing your CPU?

Secure Boot - if done right - also prevents malware that gains root access by whatever mechanism of privilege escalation from persisting within the kernel address space.

Another, more ethically questionable requirement is RF laws. Basically some jurisdictions require as part of certification criteria that a transmission-capable device be protected against someone overriding legal limitations for frequency bands or transmission strengths. There's no way out for device manufacturers other than a complete chain of trust including a trusted way to provide a location (to prevent the user from setting a location with higher transmission limits).
The point is LLMs are built with Transformer architecture. They're all transformers, attention is an integral part of building worthwhile, contextual answers.
https://archive.is/2HKzl
Exactly. I think the word "science" changed its meaning a lot these years.

For some reason people tend to consider a field that is more "formal" (like pure math, some CS concepts like lambda calculus) more science, even though historically formal systems came very late, and practically very few systems can be described that way.

I really wonder whether people who regurgitate "machine learning isn't science" think theory of evolution is science or not.
Did it seem like that team was aware of Conway's Law and was actively considering it in their architectural/system design decisions?
I don't think OP is saying screen size isn't important. It is (as I type this from the rightmost of 3 24" 4K monitors...).

They're saying that what they can't do on a 14" they also can't do on a 16". Those two inches don't help.
Drywall is paintable. It’s repairable. It’s durable and can take a real beating. You can put new holes in it and close them back up almost like they were never there. It’s seamless. It lasts many decades. And it’s $0.40 a square foot.

What plastic can beat that?
Little strategic value? The largest country in Europe (besides Russia) that stopped supposedly the second best army in the world? Russia taking over Ukraine will have pretty grim strategic implication for the US. Russia had come back from worse? If you want Germany under Russian control in 30 years stopping giving Ukraine better weapons is the way to go.
If children were in charge, they'd make everything taste like chicken nuggets. Kind of like the Matrix.
From what I've seen big enterprises have thousands of RHEL or SLES licenses and the whole thing is managed by one guy who can hardly migrate from RHEL 7 to RHEL 8 because of the huge backlog of work he has.

For the average enterprise switching from SLES to SUSE RHEL means that update will happen in 5-7 years
For a loop to do something useful it has to have side-effects[1], and side-effects are what functional programmers want to avoid

[1] At the very least, on variables outside of itself
Well in 1929-1930
The stock market crashed and regulating others in a market became needed. Now it’s who can regulate the market best in their interests, like cooperations dominate with bailouts and subsidies. You’re picking a fight with a small actor while OpenAI is spending millions doing the same, fighting for regulating to keep their status quo
> Basically everybody, by an absolutely overwhelming margin, feels that the risks of mass surveillance (including from the government) outweigh the benefits, with a similarly overwhelming majority also concerned about how the data is being [mis]used.

And this has always been true. People blame the victims of surveillance for not being concerned enough to stop the perpetrators, who somehow come off as innocent by comparison; i.e. if you let them get away with it, of course they'll do it - who wouldn't! You might as well say it of a murder victim (if you empathize with murderers like coders empathize with tech giants.) As Stallman says, you're compelled to sign away your rights, because they'll make you do it to send your kids to school, to have a phone, to pay your taxes, to go to court, to interview for a job, to pay your rent, etc. For the average person this entails signing dozens of EULAs with dozens of different companies.

We can pretend that we're living in a democracy, but if the current actual material reality of citizenship necessarily requires signing all of your rights away (most often your right to privacy, your right to trial, or your right to speak), you know where you're living. You don't need to be a techie to know what that is; everybody knows what that is.
> I've worked in both the public and the private sector and can definitely understand the argument. In my government job it was way easier to slack off and no-one really cared about the results. There was no actual pressure from above to hit targets. You had your budget and it didn't really matter what you produced. Not hitting deadlines was no big deal.

Cuz that never happens in the private sector, lol. Guess where I'm at now...

There was a week while consulting pre-COVID I tried to see how many hours of Skyrim I could play on Switch, both in the office and remotely. I got to about 11.
> we just have to check that once we have consumed the end-of-image marker all of the input has been consumed. In our proxy we use an in-memory buffer as input, so we can check that there are no bytes left in the buffer:

> As the format is so regular, it’s easy to write a separate parser that just reads the prelude, loops through the chunks until we see IEND, and then checks if we have any bytes left. We can perform this check after decoding the image with lodepng, as this allows us to skip validating the checksums as lodepng has already checked them for us
Loops have an implicit ordering, and thus are inherently non parallelizable at face value. map can enable easy parallelization, wether with SIMD or threads or GPU warps or Spark nodes. It's just a construct that specifies less about execution, and thus leaves more room for the compiler/runtime.

This construct is natural with functional programming's abstraction: the function. You encapsulate basic behavior in functions, and then shape the data flow with map(fn)/reduce()/flatmap(). If you really need an index, you can still have them with number ranges, zipWithIndex, etc. If you do use them, you are explicitly reintroducing ordering into your program and lose the parallelism.

This is just a finer level of detail wrt accidental vs essential complexity. IMHO it is always better to specify less about your program, and stick to what you must encode and only that.
The issue with Alice's Adventures is separate from copyright. Many (most) people have never read Lewis Carroll; being in the public domain doesn't change that, and there is no giant profit in publishing books in the public domain, so they aren't going to get a big promotional budget.
there are thousands of examples of this outside of Japan, there are small chateaux whose stock will never even see a market because it is promised to friends, family, a circle of trade customers, and some insiders, the venn diagram of which is probably not far off a wonky circle.
You easily see it's (1+10)*10/2, so you'll get to 55 way faster this way. Way more natural.
https://archive.is/QmqZq
TigerBeetle is more domain-specific, i.e. focused on financial transactions and high-performance, high-availability. There are just two entity types in the database: accounts and transfers between accounts. More details here https://docs.tigerbeetle.com/design/data-modeling if you're interested!
I agree that far too many people call themselves software engineers when they really aren't.

But I just mean to say that software engineering itself is definitely still a real thing and there are many people out there that can and should call themselves software engineers.
20 years from now would be accurate too. The future is not evenly distributed and the past isn't even past.
Beating the Fastest Lexer Generator in Rust
Oh man, I used the Unihertz Jelly 2 w/ a 3in screen for a few years in college. Was awesome to combat my smartphone addiction.
There are many reasons. Here's one.

FP is built on theory. The language constructs follow the theory. Part of the theory is algebraic data types which allow for structural recursion. Fancy words that basically come to mean the structure of the code that manipulates data follows the structure of the data it manipulates.

Take a loop typical loop

var someResult = 0;
for(i = 0; i < whatever; i++) { someResult := updateResult(i, someResult); }

This uses the natural numbers (integers 0, 1, 2, ...) [Some people define the naturals to start at 1. This isn't important.]

The natural numbers are an algebraic data type and therefore allows for structural recursion. For the natural numbers the structure is, a natural number N is either:

* 0; or

* 1 + M, where M is a natural number

So you write out your structural recursion skeleton

def loop(n) =
n match {
case 0 =>
case n => loop(n - 1)
}

This exactly follows the structure of the data, including the recursion.

Then you fill in the missing pieces

def loop(n) =
n match {
case 0 => 0
case n => updateResult(n, loop(n - 1))
}

Job done. The theory guides us to the solution. No loop needed.

A lot more here: https://www.creativescala.org/creative-scala/recursion/

The main other reason is equational reasoning aka reasoning using substitution. Described here: https://www.creativescala.org/creative-scala/substitution/
I've actually been looking for a good self hosted solution for pictures, that allows me to automatically upload pictures from my phones (I use both ios and android). I've been using nextcloud photos but honestly the experience of the photos app for nextcloud has always been bad for me.

I've been looking at immich and photoprism; how do the two compare, what are the advantages of immich over photoprism, and vice versa?
What does that mean in practice?

Does that mean if someone gets injured and they try to file a lawsuit, the clerk laughs in their face, and tells them to go away, before the defendant incurs any costs at all?

Does it mean that the judge dismisses the case after only five figures of initial legal costs by defendant?

Does it mean probably a settlement? (And maybe the settlement is smaller because the victim did sign something?)

Does the victim signing something hardly matter, because they can show some other legal principle was in play (e.g., something involving negligence or recklessness, or some other law violated)?

Does insurance cover it, and if so, what happens to rates or the policy continuing to exist?

Etc.
You heard the man, let's shit where we please.

I nominate his doorstep, since who is he to tell us where to poop?
I've a simpler system to use encrypted network for local/private use.

- Setup Tailscale on the server and personal device

- Deploy apps (self hosted tools that I use) on the wireguard interface created by Tailscale

- Deploy caddy as a reverse proxy for all these tools and use `.internal` domain

- Use Adguard's DNS rewrites feature to answer custom DNS response for specified `.internal` domains. The A record contains the IP assigned by Tailscale (wg0 interface) for that device.

The Caddyfile is as simple as:

http://miniflux.karan.internal {
reverse_proxy 127.0.0.1:3000
}

Using this setup, as soon as I connect to Tailscale, I can access `miniflux.karan.internal` on a secure encrypted network without worrying about configuring HTTPS for local domains or renewing SSL certs.
redhat-release is a symlink to /etc/centos-release:

$ cat /etc/redhat-release
CentOS Linux release 7.5.1804 (Core)
Just as stateful language can perform tail call optimization, so can functional languages.
They are both ridiculous propositions. There cannot be any meaningful competition where 99% of the involved activity is effectively fixed (water pipes and plants, rail tracks, rolling stock, even the ticketing system now). It's all an ideological play supported by big money.
Just an example: The EU wanted to have a domestic cloud, which would solve the privacy issues with US companies processing EU data.
Then there was the decision which companies should get contracts to build the infrastructure. And obviously they chose Microsoft, among others. If an US company is involved, the data is again subject to unreasonable laws like US cloud act.
First sentence has the link:

https://www-files.anthropic.com/production/images/Model-Card...
It could possibly be achieved here if our prices weren't so arcane and difficult to understand. There's tickets you can't get from the machines etc. There was a photo yesterday of a queue of 10 odd people waiting next to 4 idle ticket machines. It's solvable but nobody seems interested in actually doing it, presumably because it costs money to fix. International Airlines I assume gained some competitive edge by that move, there is no competition in a lot of our privatized industries so no real incentive to do anything but the bare minimum.
I agree with the conclusions of the article, but I'd add that people see search and chatGPT differently because search ultimately drives traffic to their own site - it's almost like a kind of advertising, while LLMs learn from their content and don't give anything back. They arguably could remove human traffic from your site if people don't need to go there to get the information.

I see what LLMs are doing as completely legit, it's not copying, it's more like getting a small nudge towards learning something when they scrape your site, but it's not analogous to search.
I hate printers, especially HP, Epson and Canon, smashing them gives me great joy and relief.

These mongrel devices cause me untold problems, waste my money, never print when I'm in a hurry, have nobbled ink cartridges that go belly-up with lots of remaining ink, have no manual override when printing stops for no apparent reason, or the slightest problem stops the print spooler, etc. etc. — ad nauseam!

My way of dealing with these evil-intented contraptions is to chuck them out of a second-story window so they land on concrete. That softens them up for further bashing with a sledgehammer or axe.

I always feel wonderful afterwards.

What we need is a printer-smashing Olympics to find and finely hone the best methods! It would have different classes and categories—for example, 'Smash with forklifts', 'Destroy with .50 Browning Machine Gun', 'Drop from helicopter', and so on.

Of course, there should be a special HP category aimed at finding the fastest and most inventive method of removing these evil devices from the planet.

Crowd-sourcing would provide the prize money and the winners and best entries would have a special YouTube channel or TV series. Printer companies should be shamed out of existence and shareholders and investors in these companies should be publicly exposed and made a mockery of—like we once did when we chucked society's most egregious offenders in the stocks.

Eventually, with enough effort we could bring these bastard printer companies to heel.
Because most devs hate writing and maintaining documentation. Simple as that.
This is insanely cool!
It's very confusing that y'all are calling this a "game". There's nothing to play, it's just a simulation to watch.
That's where the fun times come from.
Spirograph Inventor Denys Fisher (1977) [video]
It does a great job analysing documents. Easier to use than expected. I uploaded a legal PDF and it explained it in simple English.
I can already locate my stolen device through find my.

If anything I want Apple to be even harder on this so that no used component could be put anywhere else and work. Ideally I would be able to remote detonate the battery to deter thieves, but there are sadly legal issues around this.

But if somebody were to steal my laptop I would have to buy a new one, which would cause more waste. The best thing to do therefore is to ensure that nobody steals laptops.
My understanding is that pre-Clovis evidence really starts mounting in the early 90's, and by 2000 or so, there's not really any Clovis-First proponents among the archaeologists doing the work, although other people do take longer to get the message.
And also any apps that make API calls over HTTPS, regardless of webview, right? I believe they cannot use HTTP, only HTTPS. However, I'm unsure whether they can disable certificate verification. Presumably not, for the same reason...
Doesn't it go into dividends for the owners?
> Can Firefox not be protected with standard error handling procedures

Unfortunately, the way these third party injected DLL's work, they have full access to all memory within the firefox process. When they go wrong, they can corrupt or change anything, so it is pretty hard to protect against them.

> Chrome has plugins and it rarely crashes with the plugins I typically use.

Chrome doesn't allow 3rd party DLL's either. Chrome plugins run inside the javascript VM.

They made the change 5+ years ago, and it really helped stopping crashes.
The National Science Foundation is the architect behind the whole STEM Pipeline. It’s one in the same