skysight-inc/HackerNews huggingface dataset:
You'll enjoy the movie "The Imitation Game" - it's a well-made film about Alan Turing (of Turing-completeness fame) and his working group's cracking of Germany's Enigma encryption system.

FWIW, secondary to that: 100%, industry and NIST are actively voicing this, there's an interesting Google blog somewhere about work on it in Chrome (tl;dr: behind flags in chrome, but you can try it today. I think this is what I'm thinking of: https://blog.chromium.org/2023/08/protecting-chrome-traffic-...)
When Get-Out-the-Vote Efforts Look Like Phishing
Sorry I wasn't more clear! I'm referring to the Kolmogorov complexity of the network. The OP said:

> With enough computation, your neural net weights would converge to some very compressed latent representation of the source code of DOOM. Maybe smaller even than the source code itself? Someone in the field could probably correct me on that.

And they're not wrong! An ideally trained network could, in principle, learn the data-generating program, if that program is within its class of representable functions. I might have a NN that naively looks like it takes up GBs of space, but it might actually be parameterizing a much simpler function (hence our ability to prune/compress the weights without performance loss - most of the capacity wasn't being used for any interesting computation).

You're right that there's no guarantee that the model finds the most "dense" representation. The goal of regularization is to encourage that, though!

All over the place in ML there are bounds like:

test loss <= train loss + model complexity

Hence minimizing model complexity improves generalization performance. This is a kind of Occam's Razor: the simplest model generalizes best. So the OP is on the right track - we definitely want networks to learn the "underlying" process that explains the data, which in this case would be a latent representation of the source code (well, except that doesn't really make sense since you'd need the whole rest of the compute stack that code runs on - the neural net has no external resources/embodied complexity it calls, unlike the source code which gets to rely on drivers, hardware, operating systems, etc.)
If someone paid me $800k per year, I would be retired in three years. You’re right on the behavioral aspect, for sure.
Not to worry, AI solves this.
Yes, and I will fill in definitions of obscure functions. If its named well, ChatGPT often can figure out what its doing. (No idea how this works!) I'm sure there are more streamlined ways, but this works well enough for me.
The limit applies to children under 18.
The Military is actually the ~5th biggest contributor to the current national deficit, behind social security, interest on the debt, and various health programs.

The largest contributors to the debt over the last couple decades have been stimulus packages and tax cuts.
Haha, I'm a born engineer and am always redesigning things in my mind that I encounter.

Being able to influence the design and construction of my house was immensely satisfying. Both the architect and the GC thought I was nuts with a lot of the ideas, but since I wrote the checks I prevailed.

Another one was the counter tops were inches higher than normal. They're just easier to work on that way, and the bonus was they were too high for The Cat to jump on. I also hate kitchen islands, and so don't have one.

A big mistake I made was not making it wheelchair accessible. That would have cost nothing extra, but I know people who had to remodel their home or were forced to move because they got stuck in a wheelchair.
Is this like https://websim.ai/ but more explicit in terms of what it's doing and it's purpose? I have used websim.ai for fun and there are quite a few interesting websites there. But what they are doing is all disguised under their address bar.
Actually I remember a couple of cases where Telegram cooperated with US regulators:

- at Apple's demand Telegram made adult-themed groups unaccessible by default

- at Apple's or Google's demand Telegram removed an animated emoji of an exploding eggplant

Though those requests resemble censorship rather than preventing crime.
Or better use a P2P IM like Jami: https://jami.net
In case anyone wants to check out NTRU.

"NTRU encryption algorithm, is an NTRU lattice-based alternative to RSA and elliptic curve cryptography (ECC) and is based on the shortest vector problem in a lattice (which is not known to be breakable using quantum computers)."[0]

[0]: https://en.wikipedia.org/wiki/NTRUEncrypt
There are many factors here. Two of the most obvious things that I can think of are: almost all Asian kids from the '80s, '90s, and 2000s grew up watching or reading Journey to the West (see how people react to Celestial Symphony OST), the movie was shown on TV every summer. And it's being marketed as China's first AAA title. These things get a lot of people interested.
This game also has been notable for observing how power is shifting from traditional media companies like IGN to individual streamers. For those who haven’t been following closely, IGN has accused the game developer for being sexist (based on some poorly translated social media posts) and gave it a low score before properly playing/testing it. The kneejerk reaction from the fed up gamers propelled the game to greater heights. Things have been brewing between big media and streamers for a while and this is probably the wake up call for the big media if it’s not already too late.
Earlier discussion: https://news.ycombinator.com/item?id=41378806
Not really. More command-line admin programs and traditional shells like yori or bash would have been fine. Good enough for every other Network OS to date. Netware had great TUIs.

NT also had OS/2 and Posix subsystems ((checks calendar)) about thirty years ago, now that I think of it.
OMG boxxy
I'm an outsider who only knows Guido van Rossum by way of interviews his writing.

Assuming your quote is what the original text said (I don't disbelieve you-- but nobody can see it to confirm) why would this have violated community standards? Is there some rule about not mentioning "un-persons" or something?

It's very confusing.

Edit: Answering my own question. There appears to be a kerfuffle afoot. Apparently the Steering Council has suspended a core developer for 3 months[0] but isn't naming the suspended developer or citing specific reasons why (per [1] and sparking a call for a vote of no confidence in the council which did not succeed).

Apparently even mentioning the suspended person (without naming them) is enough for even Guido van Rossum to be censored. Wow.

Edit 2: The suspended developer is Tim Peters[3].

Edit 3: Altered paragraph "Edit:" from "...or the reason why[1] (" to "...or citing specific reasons why (per [1]".

Edit 4: Added "which did not succeed" after "...vote of no confidence in the council".

[0] https://discuss.python.org/t/three-month-suspension-for-a-co...

[1] https://discuss.python.org/t/calling-for-a-vote-of-no-confid...

[3] https://chrismcdonough.substack.com/p/the-shameful-defenestr...
Then the can just use Gnome ...
Imagine having a book that was written centuries ago that's considered one of the four pillars of great Chinese novel classics.

Have that book be arguably the most popular of the four. (Debatable with 3 Kingdoms)

The story is told to children since they're young.

During a time where the story was adapted into plenty of derivatives like Dragon Ball, one TV show stood out. Every single Chinese, and Southeast Asian kid has watched it growing up. It was THE weekend TV to wait for. The theme songs are extremely catchy. The TV show is put on reruns every once in a while. Entire nations have watched it.

Then China, who arguably never had a AAA game title this widely marketed before, writes a sequel loosely based on the original novel and lined the game full of homages and music remixes from the TV show.

Western audiences can review however they want, any person who can hear this song in their head "dun dun dudun dun dun dududuuuun pewpewpew pewpewpew" is going to love it even if it's only mildly playable, let alone being actually fun to play.

And have you seen the animations?

If power rangers were a centuries old story, with statues, temples and mythos around them, and it's the first ever AAA game from the US to be published. The moment you hear "Go Go Power Rangers" you're buying the game.
If you don't use 2FA then the government can simply intercept SMS code for any phone number. Russian government did it against opposition activists, and it prompted Telegram to add a password as second factor. So any service which allows login or restoring access using SMS (incluging Gmail in default configuration) is vulnerable to such kind of attacks. It seems that people in the West are unaware of this type of attack.
The question is always who enforces the law and if and how they choose to enforce it.
>that's going to be good enough

It's like many tools we use: sure, doing it the old-fashioned way will work well enough if you do it properly, but the new tool makes it easier and more foolproof (and maybe faster), in exchange for higher cost. This doesn't make the new tool bad.
They limit the number of hours children can play video games, and this restriction is mandated to be built into the software itself by the developers/publishers.
Where do we draw the line between AI learning from codebases to offer code solutions, and humans learning from codebases to offer code solutions?
Article title: Should we consider Ranked Choice voting for SC elections?
The free will argument has always been junk though because it's based on a bait-and-switch: "quantum mechanics is random, and therefore the future is not predictable with certainty" gets turned around into "so I have free independent will".

You should be able to see the problem: random events are not free will, they're random. The only thing it concludes is that some part of your perceived decision making is no longer predictable - it doesn't mean "you" are in charge of it somehow.
Smugly insinuating that you’re right without providing any sort of reasoning does not make you look as cool and smart as you think it does.
From a pure sharpness perspective, you can't actually get any sharper, but it turns out there are many other physical properties (toughness, ease of sterilization, repeatability of manufactured tolerances at-scale, etc.) of a practical cutting edge where steel overwhelmingly beats amorphous ceramics.

FWIW, many surgical operations done today that require a very high-precision cut use numerically controlled lasers. Unfortunately, lasers will never work for certain procedures where cauterization would hamper healing or tissue reintegration.
Computer Scientists Discover Vulnerabilities in Radius
Flesh?
So given that this is an attenuated live virus vaccine, and the way that one gets covid and other viruses is often through the nose/mucous membranes in the nose, what would be the fear above and beyond getting a virus?

I'm not advocating for not testing it obviously, I just don't quite see why we should have an especially high vigilance in this case.
I've always described it as people who valued stability over anything else - not just in the sense of "would not get a job elsewhere", but also "values knowing they're not going to get fired in the next decade no matter what", whether that's because they're there for the benefits or the retirement plan or w/e.
I agree. But didn't he give up the Benevolent Dictator for Life
moniker? Sounds like a King Lear situation...

Since now we will divest us both of moderation authority,
Interest of ban-hammering, cares of tweets,--
Which of you shall we say doth love us most?
That we our highest privilege in the comments forum may extend
Where nature doth with merit challenge. Tim,
Our eldest-born, speak first.
WM-Live is built-off of the Debian/Bookworm 12.1 ISO.

Reminds me of the Open BSD team's incremental modification of proprietary ATT code.

Will dd 0.96 onto an optical drive soon.
Monkey Magic computer game, I am very happy with this.
There are glass fractured blades that form the same edges and diamond scalpels too, all of them show brittleness issues to lateral moves especially. The physics of steel cutting edges get very complicated in general as can be shown by an example of how human hair can damage steel here: https://www.reddit.com/r/EngineeringPorn/s/6xHn8TQEtK

I tend to geek out over the topic of cutting as it’s endlessly complex from biological matter all the way to cnc.
Do you also demand discounts for having a store loyalty card (which necessitates higher prices for everyone else)?
I have been using this for a while to reduce the size of boxcars[0]. While the web UI is awesome, I recommend the TUI mode instead (gsa --tui <binary>), as I find it much easier to use and understand.

0. https://code.rocket9labs.com/tslocum/boxcars
Two of my washer leaks were spraying out sideways. First the hose had split. I switched to braided stainless lines, and then the brass valve on the wall split.

Besides, who needs the dang noise it makes. Banish it to the basement.
These are not "Python community guidelines". These are the guidelines of a tyrannical clique who have grabbed power and control the access to the infrastructure.

They abuse their power by banning any opposition and then using said infrastructure to libel and defame their opponents.

Google already fired one or two of them. I do not know what is required to restore the health of Python.
One annoying thing I ran into a year or two ago is when Everything.exe is running, discord thinks it's the steam game called Everything. I had to rename the search Everything.exe to a different name to get around this.

Admittedly it's not voidtools fault, rather discords.
Has anyone tried to Valgrind the rust runtime?
Wouldn't a hosted database really only "make sense" if you don't want sharding? It's a lot easier to shard at the front end before it makes it to any business logic than to do that and also shard the database. It's when you don't want to deal with database sharding at all that you'd want all application instances to hit the same hosted database.
Okay, there might be antitrust issues to possibly consider. For one company pushing/selling/trasferring it’s customers to another company, I think in the US it mostly depends on whether the result could be some kind of monopoly, so an important question might be whether the number of Dorico users and Finale users combined dominate the market for score-writing software, and how big that market is. https://www.justice.gov/atr/antitrust-laws-and-you

As @Earw0rm mentioned, this isn’t a “resale” in the sense that that word is defined in the law. Buying Dorico at a discount is not a “resale” of Finale, regardless of the agreement; they’re different products sold by different companies. There is also no evidence, no reason to believe that Finale had any say in the sale price of Dorico. But, yes, the companies did agree to nudge customers from Finale towards Dorico.

The nudge is not mandatory, and the transition is opt-in and not automatic, so customers have the choice, and that lessens the probability that this crosses any laws. Dorico seems to have healthy competition from Sibelius, MuseScore and others, and the market has been called “saturated”, so no clear indication the result would be a monopoly. We also don’t know if Finale solicited agreements from other competitors who declined to participate, and if so that also reduces the possibility of this appearing shady in any way.

This kind of thing happens all the time when products and companies merge or die. It’s legal and acceptable for small companies to merge, and becomes illegal when merger gives the target company too much power, where ‘too much’ is determined by the court. In this case, since these are relatively niche (small) products, and it’s not a corporate merger but simply a targeted advertising & discount sale to a captive audience, and since the result probably isn’t a monopoly for Steinberg, it’s unlikely that any court would care about this agreement. Small companies are allowed to make agreements and do all kinds of things that large companies might get in trouble for.
Not sure if it counts as part of the Chinese media canon, but if it has references to Japan's adaption, Monkey Magic, https://en.wikipedia.org/wiki/Monkey_(TV_series) they'l catch a few Gen-X anglos with those touchstones too.
> reverted humans back onto the treadmill they knew from the earlier human culture, the best way the found to keep humans balanced: merrily running after the next carrot.

Our "rat race" turns out to be a very stable equilibrium ...
"the law" is always subject to interpretation in a given context. The entire concept of case law is that "the law" has been interpreted in a certain way in a similar context before.
Tell that to all the closed AI companies with stronger legal protections for chatbot output than for human input
You can get a box fan from the thrift store for $10. They help a lot indeed!
This is such an absurd canard I can't believe anyone falls for it. One is a product and the other is a human being.
There are specialized container OS hosts or ansible type updaters for wrangling traditional servers.
How does it work in practice?

In other words the Swift app will keep developing, requiring constant Android app generation via transpilation.

Does it keep track of generated and manually edited parts or will that step on each other?
The paper directly references PRQL and Kusto. The main goal here is to take lessons learned from earlier efforts and try and find a syntax that works inside and alongside the existing SQL grammar, rather than as a wholly separate language.
As someone who uses Kotlin for work and Python for side projects (and loved Python years ago in college), Python's list comprehension feature is one of the things I hate the most about the language now.

As a simple example using only two collection functions I find it much easier to read

val hundredOrLessEvenSeconds = (1..1000)
.toList()
.filter { it <= 100 }
.filter { it % 2 == 0 }
.map { it.seconds }

than

hundred_or_less_even_seconds = [timedelta(seconds=it) for it in range(1, 1001) if it <= 100 and it % 2 == 0]

But there are tons of helper functions in the collections library to express that in a variety of different ways. But not in a gross code golf way, with clearly named functions

Theres just so much built in
https://kotlinlang.org/docs/collections-overview.html

Having lambdas built into the language from the start leads to a ton of expressibility I miss when using python
This is also mentioned in the article yes
Sqlite isn't something that works for only apple or google. Point is it's sufficient for them, simple, and more than sufficient for you. He's explaining to you that this is something that has already happened as you're unaware.
“Annual income twenty pounds, annual expenditure nineteen nineteen and six, result happiness.
Annual income twenty pounds, annual expenditure twenty pounds ought and six, result misery”

― Charles Dickens, David Copperfield

https://www.goodreads.com/quotes/90487-annual-income-twenty-...
This seems to be a repeating theme lately. NixOS went through something incredibly similar lately.
Quantum Hyperion
NIST's first PQC standard, CRYSTALS-Kyber, is also a lattice-based system (with a more complex structure and based on LWE rather than the NTRU SVP. There are now solid implementations of it all over the place, so it's much easier to check out.
gag me with a spoon
This is addressed in the paper -- it's nice to have something deployable in existing SQL languages, and it also doesn't rule out using PRQL
Is there any internal inertia for such changes to SQL server?
Or maybe the ability to properly give attribution to your source and not just pretend you made it up or hallucinate a fake one?
I wouldn't look too much into it. It's fiction. They went for a story that works. They probably chose the premise of the virtual world first. And it worked, it's a really iconic classic. I don't know how many times I've watched it.

The sequels not as much though.

However I find the conclusion and alternative solution from the article quite good.
Wonder if the moderators heard about the Streisand Effect. It’s a good time to learn about it.

> I don’t know much about voting systems, but I know someone who does. Unfortunately he’s currently banned. Maybe we can wait until his 3-month ban expires and ask him for advice?

So he was banned for asking about someone who knows about voting. Transitive meta banning? I guess anyone asking about Guido’s post will also get banned.
This blog post is like 5-7 years late. For me, the term "modern" when used by software developers means "avoid". It is useful for filtering out garbage.
I think this is terrible mostly because it is inequitable.

In Japan, it is customary for elementary school children, all of them, to be doing the food distribution and cleaning. (who is doing what rotates.)

https://youtu.be/fze5s1SlqB8?si=lr9eskf1ty9vqE7k&t=123
No trouble at all here (German) - it's simply pronounced as if it was a German word.
Wait people took IGN seriously? They've been tabloid grade trash for at least 15 years.
The next thing I would like is to define a function / macro that has a bunch of |> terms.

I pointed out that you can do this with shell:

Pipelines Support Vectorized, Point-Free, and Imperative Style https://www.oilshell.org/blog/2017/01/15.html

e.g.

hist() {
sort | uniq -c | sort -n -r
}

$ { echo a; echo bb; echo a; } | hist
1 bb
2 a

$ foo | hist
...

Something like that should be possible in SQL!
anyone that matters already has drawn that line

this is just a powerless underclass realizing that their complete and lifelong segregation from our legal mechanisms is now biting them in the butt
Where do we draw the line between a computer converting a png to a jpg, resulting in the image looking different, and an artist making a fair-use protected transformative derivative piece of art inspired by it?

The line we draw is "did a human creatively and intentionally produce the output" or "did a computer".

It doesn't matter that we've built a compression algorithm no one actually understands (which is what LLMs effectively are, a lossy compression algorithm, compressing their input into a model), the bar for copyrightable creativity was, and still is, human creativity. Which, by definition, a computer does not have, unless a human infuses it into the computer specifically (by for example using the computer to produce a specific copyrighted work).
SpaceX has seen a couple boosters destroyed in a landing failure. Did the FAA ground them after those failed landing attempts? Genuinely asking because I don’t remember if they did or not.
We had these in our high school computer classes my junior or senior year and we joked about doing it (learned from either Compute! or Byte magazine or some bbs thing) and our teacher also knew about it and immediately sternly warned us not to do it. Computers were so expensive and difficult to access at that time (depending upon your age/income/location) one would have to be pretty irresponsible to do it. For reference one of my classmate's father worked at IBM and they had a rare IBM PC at home with a diskette drive, and our only other computer usage reference was the mini computers we got access to at our community college that via something like a VT(some number) with green or orange text terminals for DEC and access to some other mainframe that printed out reams of paper when we played Zork on it.
Piramidal's Foundation Model for Brain Waves Can Supercharge EEGs
I've read a lot of code in my lifetime, and learned from it. Do you think I give attribution whenever I write a line?
It reminds me of mathematical induction, where the k=n and k=n+1 cases are compared. The emphasis is on the +1, the next case to be proved.

It looks like this page in the SQLite docs has had the "n+1" terminology for as long as it's been on the internet archive (2016): https://web.archive.org/web/20161112021608/https://www.sqlit...