skysight-inc/HackerNews huggingface dataset:
I disagree with the editorialized abstract. State is not an illusion. There is a limit to what stateful LTI systems are capable of modeling. It is very interesting that they've been able to prove what that limit is in the context of computation.

From my reading, "non gated SSMs" are LTI systems. They're linear (the paper ignores the activation function) and the "does not depend on input" criteria is the controls way of saying "time invariant" (replace time with the domain of the input vector). It is not surprising that a system that cannot adapt to changing input conditions (by construction) is fundamentally limited to the problems it can model. This is why adaptive filters are studied - LTI systems are useful computationally, but limited because they cannot adapt. Relaxing the "TI" constraint greatly expands the domains of problems that can be solved.

When the feedback matrix is diagonal you have an FIR system. While "finite impulse response" has as specific mathematical definition, conceptually it means the state at time n depends solely on past inputs and states n - N where N is the size of the state vector. So of course, if the feedback matrix is diagonal, the system is limited in the kinds of stateful problems it can handle.

What this paper is missing is that connection to the limits of LTI and connection to TC0, which is very interesting indeed.

In other words, the state of the network is still infinitely long and definitely not an illusion. However if the problem requires the network to adapt to its input then a non-gated SSM is not going to be sufficient. That's an interesting research space.
Good point as akaik sales are tracked in dollar amount.

So, yes, telling metric is probably the number of visits.
Unity here not being the name of the game engine but rather the idea of including all the sources into one file.
Prosecutors have recommended only 4 years. I wonder if these prosecutors have ever recommended more than for years for something like possession or sale of cannabis.
Yeah on some cloud provider, the virtual networks can be all too confusing. But this story sounded like a home machine.
When space expands it produces gravity? Like a groaning ship ripped apart, something snaps, when nothing is produced and becomes a place, producing a small background ripple. Concentric from the big bang outwards, like growth rings, dragging apart lights and things.

Its not a valid concept, but its a new idea, something to test, anything is better, then collecting data and watching the model drift away every day like a ghost in the night.
You mean with the Graal JIT instead of C2? AFAIK Graals truffle (espresso) implementation of Java is still far behind HotSpot.
I think they just wanted the fan replaced....
Yeah the environmental movement from the 70s has evolved into something like a death cult in its modern equivalent. Technology can no longer save us, but is in and of itself the problem along with industrialized civilization. Doubly ironic given how that movement killed nuclear power, and if we had actually built as many reactors as Nixon wanted we would've actually accomplished some of these now-arguably unachievable goals on climate metrics.

I'm being a little glib in that comment, but the sentiment is I think true and I wish they'd be honest about it. If they stated plainly that "we think in order to achieve what we believe are the required reductions in xyz, we have to decrease the human population by X% so less is consumed" I would actually respect them more. Instead the de-growth mentality is rhetorized up to look nice, but again it's just window dressing.
Unfortunately, I don't get to decide whether or not to comply with GDPR.
The study suggests we may be alone in the Galaxy, not the Universe, however. Very different things.
So close to like Ghidra and Ida?
How about they remove ALL AI features, including Copilot? This is clearly illegal bundling that deserves swift anti-trust action. Microsoft is worse than ever, and far more bold with abuse of their market position than they ever were in the 90s.
It's about aligning text to fit a specific length using language models.
Nothing prevents other people from stapling identity verification on top of this.
human illustrator != machine owned by a Moloch powered mega tech corp
you're confused. zig had tagged unions since before 0.1.0.
Use TOTP (keyboard-interactive) and password away!
oooh, this is timely. I'm working on a blogging service where you can set ASCII art as its home page header at https://lmno.lol

I was delited to find a figlet js port at https://github.com/patorjk/figlet.js, which I use to generate default headers for new blogs. You can see it on my blog https://lmno.lol/alvaro or new ones like https://lmno.lol/ivyink and https://lmno.lol/stormsprite.

Looking forward to playing with silhouettify and other suggestions in comments.
No and yes.

GME was overpriced for a bit, but I think that was just a natural consequence of the shorts getting too greedy and putting themselves into an untenable position.

Basically, the shorts told the market "please take all my money away" and the market said "okay, no problem".
Don't know how it is for Chinese projects, but in the west you should not compare actual cost of A with projected cost of B, because with such projects we repeatedly see that the actual cost can be a multiple of the projected costs, especially for nuclear power.

For Chinese projects we can assume that the price tag also doesn't match the actual costs (similar to French nuclear projects) due to heavy government subsidies.
Off topic, but how stable is Zig's syntax these days?
Title is pretty misleading without "Photos Purport To Show Damage" when the article is debunking old or mislabeled photos (one was identified as a Russian refit and another was a videogame?)
I'm with you -- I avoid Google products for the reasons you listed and am staunchly anti-surveillance capitalism. I just meant to say that even for a person with my very plugged-in perspective on these topics, Google's violations of my privacy still don't feel quite as invasive as Recall feels, even if on paper it's just as egregious and dangerous.
It was the best of times. However not at a FAANG but a smaller shop with roughly 100 engineers.
I don't understand, the USA and EU are adding solar and wind very fast. Financially, it is a no-brainer and getting added in record numbers.

What else do you want?

Sure there are issues over regulations and power lines approval, but those are hopefully going to get solved surely.
Your claim was some mishmash of "only kids do it" and "no one does it in the real world" and "only trolls do it"

So I'm not sure what you think you're correcting here.
For example, I asked it for a database schema given some parameters. What it gave me wasn't quite what I wanted, but seeing it written out helped me realize some flaws in the original design I had in mind. It wasn't that what it gave me was better. The act of evaluating its suggestions helped me clarify my own ideas.

It's sort of like Cunningham's Law with a party of one. Giving me the wrong answer helps me clarify what the correct answer should look like.

Or, perhaps a better way to put it:

It's easier to criticize than to create. It gives me something to criticize and tinker with. Doing so helps me hone in on the solution I want. (Provided its suggestion was at least in the right universe, of course.)
An earnest question: can you elaborate on what Zig got wrong in that respect?
It gives me anxiety just looking at this. Add this to the list of things I don't want to work on.
This article is focused just on western views on cats. Particularly British views.

Views of cats throughout history and in other parts of the world aren’t covered in this article. No mention of how changing British views of the cat may or may not have had influence on the culture of British colonies either.

I did find the article interesting though.
From the lack of security we could assume Nadella himself created Recall over the weekend with the help of Copilot.
I agree. Below is the direct link in case one of the moderators see this and want to update.

https://github.com/ziglang/zig/blob/4236b85c722b36cb31595634...
Harms you physically, sure. But a night out socializing and making memories with friends, the psychological benefits can last a long time, which often positively influences the physical.
> In this talk—and with this talk—I presented BoVeX, a new computer typesetting system that finally solves the AI alignment problem. It follows the tradition of Knuth's TeX, but with modern amenities such as requiring 128 gigabytes of RAM.
What, you aren’t allowed to own kitchen knives? Or Google search somehow doesn’t return the chemical processes to make Sarin? Come on now.
Clever cogs The potential impacts of intelligent machines on human life
Eh, it's not just home/small office. Their proliant servers took a pretty big nosedive around Gen 9 or so.

I'm sure they still have some nice specialized industrial equipment, but their general purpose computers, even on the high end, just aren't what they used to be
let me nuance that a bit. 99% of our workload is write heavy and is still on S3. We run monitoring checks that snap a screenshot and record a video. We write that to S3. Most folks will never view any of that as most checks pass and these artefacts only become interesting when things fail.

Enter a new product feature we launched (Visual Regression Testing) which requires us to fetch an image from storage on every "run" we do. These could be every 10sec. This is where R2 shines. No egress cost for us. It's been rock solid and saved us about 60x compared to AWS. Still, we run most of our infra on AWS.
Quite right. This mistake also seems to occur when comparing California and Texas. Texas has a ton of renewable sources, but its extremely energy intensive economy consumes disproportionately more. So it seems to make more sense to normalize by load than by person.
Exists at least one example (to be exact there are few, but this one is overwhelming when looking carefully), which could be explained by topological defect - in 2023 made photo of two galaxies, which looking exactly same, but mirrored with invisible mirror.

Sure, this could be just coincidence of very similar galaxies, need more observations.
The purpose of an interview is to find the best person to do the job, so that should be the criterium if we judge something as "cheating", not just tool use as such. Say you have a junior developer, fresh out of school, who's only just studied all the theory and done all LeetCode out there. They're going to do better on the traditional interview than a senior developer, whose more recent experience is more practical. But the senior developer is more qualified to do the job. Is it really cheating for the senior developer to use an AI tool to assist with the theory? Or is it merely levelling the playing field and making interviews fairer?
Evaluation of LLMs and LLM Systems [video]
What's wrong with OpenAI APIs and always-on devices?
"Being racist" doesn't mean committing hate crimes.

You're allowed to be racist if you want and you're allowed to pretend you're a racist if you want. The goatfucker law still applies.
It's more secure because it's resistant to MITM attacks or a compromised host. Because the password is sent, the private key isn't.
I'm not talking about what's happening now (even though there's plenty of criticism to be said about the programs that we run). I'm talking about a new wave of politicians that's coming up in both regions, and they want this to stop.
I think if I chatted with my database it'd have nothing nice to say. It'd just bitch about the deadlocks, keyspace starvation, that other one it has to share everything with and all those people asking stupid questions.
Technically, only 1 male is needed
Some would argue that in an organization where you'd consider SSH certificates, it's best to use Kerberos and have general SSO. (Some of the GSSAPI functionality is patched in by most distributions, and isn't in vanilla OpenSSH.)
Knowing how to trend the patient's health is probably more useful than relying on all the alarms. People hardly deteriorate from one second to the next if you know what to expect from their baseline. At least that's what I did when working as a nurse. However, I never worked in some place like the ICU, so the approach might be different in that case.
I absolutely hate the poor design of medical equipment found in hospitals. The worst thing by far is the constant beeping and noises in the room, which totally disrupts rest and hurts recovery. It is SO obvious that this hurts patients (and visitors), that I cannot believe the entire medical industry (nurses, doctors, hospital administrators, equipment makers, insurance companies) have failed to do anything about it. It also makes it hard to know if some sound is expected or if it is a signal that something is wrong. In addition to this, I’ve seen nurses make mistakes several times because the equipment is too confusing. Once, I had to page the nurse myself because the IV they thought they set up was not functioning and I was able to discern that from the screen on the IV machine (which said one particular drug was not active) but they had not noticed, essentially administering an imbalanced cocktail of drugs for a period of time.

My take - the medical industry has too many barriers to competition, and it is too difficult for people who work with these things to do anything about it as well. It’s unclear who the buyers are at a hospital or how a startup could reach them. It’s also unclear what sort of interoperability (for example with Epic for charting) is needed. Regulations also make it difficult to get devices approved and investors are less likely to support a startup in this space.
Funny thing I tried this with Copilot, but somehow did not click autocomplete, so ended up entering "Who won 2020 US pre", and it did reply to the question. But when I retried with the full prompt, it refused.
Flagged, per observations confirming other comments noting old, unclear link, people noting they're not sure if they're on-topic, and multiple people downvoted below 0 when they use the link as a source for their comment.

Even with charity and steel-manning, this is a one-off, broad, short, personal todo list from 9 years ago.

That leads me to believe it is unclear what the topic is, and it is clear it is a minefield if you comments.
Walter Russel's periodic table, is very intriguing.

Observing the fact that many elements decay to other elements, with time being the only variable changing, is a very strong indication that the classic periodic table might not show the whole picture.

I don't know in particular if matter is frozen light, but i think that matter has some properties we overlook.
Yes, well, some. To gain certification, often something customers require, medical devices must comply with standards such as ISO60601 (hardware) ISO62304 (software) and ISO13485 (process, quality management).

The alarm waveforms described are within the scope of the hardware standard guidelines, sufficiently common that application notes such as this exist.
https://www.ti.com/lit/pdf/slaaec3 [ti.com]
A new way of designing auxetic materials
I guess I calibrated your understanding of formal logic to the wrong place. Let me try again.

PA is a set of axioms satisfied by the natural numbers. As Gödel showed, all of first order logic can be encoded into the natural numbers. And questions like, "This is a proof of X" can be viewed as arithmetic statements. (We can actually go further, and encode all of computation into the natural numbers, and reason about computation using nothing more than PA.)

Gödel famously went further. Suppose that X is an axiom system. Then Gödel's famous incompleteness theorem says:

((X => PA) + (X => Con(X))) => not Con(X)

Let's take that apart. By (X => PA) I mean that from X we can find the existence of something that satisfies the Peano axioms. By (X => Con(X)) I mean that there is a proof from X that X is consistent. And from those facts, Gödel can construct a proof from X that X is not consistent.

It is very important here to note. If we actually have a proof from X of Con(X), then Gödel actually gives us a proof from X of not Con(X).

But, thanks to the Gödel numbering, (X => Con(X)) can also be interpreted as a statement about the natural numbers. As such, (X => Con(X)) is a potential axiom in first order logic. Of course all proofs that "really are proofs" correspond to actual finite numbers. So if there "isn't really" a proof of Con(X) from X, then any model of X + (X => Con(X)) will have the Gödel number of that proof not be a finite number. But that's OK because first order logic can't rule out nonstandard models. And nonstandard models of PA include infinite integers. So any model of X + (X => Con(X)) will have a "proof" of X + (X => Con(X)). We can decode as much of that "proof" as we like. But we can't decode the whole thing, and it "isn't really" a proof after all.

Of course if we have that then Gödel's construction gives us a Gödel number for the proof of not Con(X).

This is an absolutely general line of reasoning. Take any consistent set of first order axioms X which imply PA. If it is consistent, we don't create a contradiction by adding the axiom that there exists a Gödel number representing (X => Con(X)). Because this new set of axioms is consistent, there must exist (for some definition of existence) a model for it. That model for it will include a model of PA. That model of PA will include a Gödel number for a proof that isn't really a proof, meaning that it can't really a be finite integer. Therefore it must be an infinite integer. And therefore the set of first order axioms X cannot distinguish between what we want finite to mean, and something that is clearly not finite.

Second order logic gets around this problem. But it does so by accepting that things can be true without there being any proof that it is true. This is one of the potential sticking points for someone with Constructivist tendencies.
Once upon a time, in a life far far before now, I installed fancy cutting edge voip phones in every office of a computer science dept of a university, including the office of the dean. The dean turned to me and asked if I could setup the phone in such a way that he could connect it through his laptop. “Sure” I say and enabled internet connection sharing on his Ethernet adapter. It worked great in a demo in his office on Friday. However on Monday he stormed into my office, threw the phone on my desk and said this didn’t work at home. I looked puzzled, “but it worked on Friday”. I set it up again and it worked and returned the setup to him. The next day he says it just doesn’t work, so I ask for specific details. He said, “when I close my laptop lid the phone just disconnects”. I swear I looked at him like he had 10 heads. This is the dean of the comp sci department and he doesn’t understand that packet switching cannot occur if the device is off. And not for nothing, but I explained the setup to him.

today one of my pet peeves are people who cannot report issues. And I still experience this today while working with other distinguished engineers. I recently spent 2 months trying to figure out how to update running binaries in windows as part of an automatic update mechanism based on a request from an engineer. I spent the first week clearly delineating the problem with flowcharts demos etc. It wasn’t until I had almost completed the massive undertaking (windows blocks binaries from updating itself due to the way golang defers locking) when the engineer suddenly changed his request to only updating the dependent binaries and not the program itself. I had to rage quit that meeting because it reminded me of learning sendmail milters. Extremely steep technical curve that is obsoleted in a matter of months
> causing very large iptables leading high memory use

> I know the usual advice then is to reduce ban time and just not have permabanning, but that seems to kind of defeat the purpose.

The purpose is to make random password attempts even more impractical. With even fairly lax fail2ban rules, it'll take multiple lifetimes to find a password made up of just two common use english words.

However, that's not really their goal. I think that these SSH probes are mostly intended to find systems that have been compromised and have common backdoor passwords, though. ...and they use networks of zombie machines to do it.

That's where stuff like Crowdsec and IP ban lists come in, with the side benefit of your IP addresses becoming less 'visible'
Benchmarking the Energy Costs of Large Language Model Inference (2023)
Is it something that can replace fail2ban or sshguard?
They are good games and I want to play them, but I agree it does not work in Linux, and more generally, it simply does not work at all. Play any game with kernel level anti-cheat and you will find lobby after lobby full of cheaters.
It just sounds like a conspiracy theory. The right has tons of theories about "elites" using secret hand signals and gestures meaning all kinds of satanic things.

Both are conspiracy theories for the same reasons.
Alcohol not required.
From previous conversations, very stable. There shouldn't be any changes going into v1.0
https://archive.ph/2024.05.25-133045/https://thespectator.co...
https://github.com/xo/usql has a similar feel to it, with a variety of backends.
You can’t fix some mental models. You can only try to succeed despite them. It’s unfortunate for sure.
> Either they decide to intentionally enable it or not. There are no accidents , when stuff like this needs to go through a committee of people for approval before it makes it into production.

Absolutely. And all of them decided to screw largely defenseless non-technical consumer to make short-term profits. That's not a fantasy, that's our reality.
So, like a crude fail2ban service?
Thank god. I've been selling front door locks that don't actually work, and I'm glad that when people are robbed, it will be the criminal's fault, not mine. Instead of me selling locks that work, what needs to be done first is that all potential criminals should be made not to be criminals.
Yes. See the related work section in the paper: there is a long history of models, recently like MAE and MaskGit, which predict pixels in basically arbitrary orders, and that is useful because it lets you train on subsets of each image, upscale/infill during generation, and so on. (If you know what MAE is, that might be the fastest way to summarize OP: "it's a GPT trained like a MAE".)
Maybe with your friends…
One department in my cops y does this - you authenticate once with your standard company wide oidc integration (which has instant JML), and you get a key for 20 hours (enough for even the longest shift but not enough that you don’t need to reauth the next day).
I am an sw engineer and I dread having to use gimp. the main thing gimp designers dont understand is that when I am doing 'something' I dont wanna have to come out of that context and enter another context of 'how does this f*king s/w works' and remember that for another occasional thing i'll do a month down the road. Adobe could not have paid money and made gimp worse that it is right now UX wise.
Time to get new friends.
Wow, I did not know this despite using it for a long time. It perfectly makes sense though. Thanks for letting us know :)
I am curious about your Ubuntu setup. Any particular technical reason? Any especially thorny bits? Do you see improved performance or fewer background processes? I am well past the point of enduring this kind of OS pain, and will use the path well trodden by others.

I have always assumed that distros layer on so many extensions, customizations, etc that Gnome or KDE would be alien if naively installed.
The refresh rate of these displays is 0.03 fps.
> SSH Certificates are vastly different then the certificates you are referencing.

And the SSH maintainers will refuse offers of X.509 support, with a justification.