skysight-inc/HackerNews huggingface dataset:
> It's funny how most people just assume engineers aren't checking the output of Copilot's suggestions.

I didn't say that.

I'm assuming the engineer is checking Copilot's output, but that they will sometimes fail to catch bugs in Copilot's suggested code.

> Reading code for correctness takes only a moment, you either know how to verify its correctness or you don't; writing the code yourself doesn't change that.

I don't buy this framing. I think it's entirely possible for a programmer to miss an error when reviewing code, that they would not have made if writing the code themselves.

I've encountered this many times when copying+pasting+updating my own code to use in a slightly different context. It's easy to miss small mistakes, like failing to find+replace a variable name, despite that I wouldn't have made that mistake if writing the code afresh.

> Furthermore, code which is meant to be depended upon should come with tests, and if those tests pass with bad code, the tests are wrong.

Test suites should improve code-quality regardless of your policy on use of AI tools. Using AI tools may still degrade code-quality.
A fairly accessible intro (needs Linear Algebra) is Lind's book, An Introduction to Symbolic Dynamics and Coding. For dynamics on graphs, you may begin with any book on Spectral Graph Theory.

A crucial theorem in symbolic dynamics is that entropy alone classifies Bernoulli systems (https://en.wikipedia.org/wiki/Bernoulli_scheme) up to isomorphism: if two Bernoulli systems have different entropies, they are structurally distinct. Starting from this fact, there are many problems trying to classify and distinguish symbolic systems based on computable invariants like entropy.

Perhaps the most famous problem associated to symbolic dynamics is the x2 x3 conjecture. It says that the only probability distribution on [0,1) with 0 identified to 1 (i.e. the flat circle) that is invariant under both multiplication by 2 mod 1 and multiplication by 3 mod 1 is the uniform distribution. This was formulated by H. Furstenberg after he proved an analogous topological statement.
> boring, repetitive, a few similar looks, cheap. Just like Chinese plastic goods.

And yet cheap Chinese plastic goods are literally a hundred-billion dollar industry.
The people downvoting have never read the Isaacson book obviously.
In new york that's below McDonald's fry cook employee pay.

Also maang total compensation for Sr engineer roles is about 400k+
How do generics change this? Can a type bound on a generic work like a static interface implementation specification, and recover the cost of wrapping the struct?
"""Don’t panic – you still have a higher chance of giving birth to quadruplets, getting killed in a shark attack, or getting struck by lightning than dying in a plane accident.

But, you may be experiencing slight aerophobia amid this news cycle: a door blowing off a plane mid-flight; a cockpit window cracking; a wheel flying off during takeoff; an engine somehow ingesting bubble wrap and catching fire in midair; a plane skidding off the runway into the grass; the list goes on."""
It can no longer play custom radio URLs, which was the only thing I used it for
:(
It is not preparing to visit the ISS.

It is preparing for its first actual flight, since so far the closest it’s gotten to an actual flight is being dropped from a helicopter from about 3700 meters. It crash-landed when one of its landing wheels failed to deploy correctly.

I love the idea of private aerospace, but we need to be realistic about the complexity and difficulty of trans-atmospheric / gravitationally dominated ballistic flight as an endeavour.

This spacecraft may very well become a safe, economical option for short haul cargo and crew missions to and from earth to orbit… but let’s not breathlessly declare that it’s preparing to visit the ISS when we haven’t even burned any of them up yet testing the reentry capability of this adorable cessna-sized space minivan.

It’s not a good look for companies in the aerospace segment to wildly overstate their operational capabilities, and if that’s what is needed to attract investment, maybe we should figure out a better way.
Fixing the iterative damping interpolation in video games
I don't know. Scientific knowledge is expensive to rediscover. It requires a lot of false starts and often involves a great deal of luck/randomness. Historically, periods of flourishing are often associated with the rediscovery or importing of large collections of wisdom. For example revivals of ancient works or the introduction of works from afar due to newly developed trade routes. If ideas were easy to rediscover, we shouldn't expect those events to have much impact.

There is certainly a cost of storing data, and cost should enter the equation. But we're losing a lot of data for reasons other than cost and we don't have a reasonable way of assigning a value to the lost data.
New Gato GraphQL YouTube Channel
On that same vein, shoutout to Epub Press[0]: a browser extension/web service that packs selected open tabs into a neat conformant .epub file.

0: https://epub.press
Everything being computerized is a major peace time concern too.

Ideally systems should not be as centralized as they are now and have offline fallbacks.

I believe there is a great deal of over automization too.

You can notice how war mongerers have turned to "cyber threats" to instigate on unfalsifiable information.

I feel it might be better to pull the plug on the whole internet if that actually is such a concern.
Updates on Boeing 737-9 MAX Aircraft
"""The Federal Aviation Administration (FAA)’s six-week audit of Boeing and Spirit AeroSystems, prompted by the January 5 incident involving a new, Boeing 737-9 MAX aircraft, found multiple instances where the companies allegedly failed to comply with manufacturing quality control requirements.

The FAA identified non-compliance issues in Boeing’s manufacturing process control, parts handling and storage, and product control. The FAA is providing these details to the public as an update to the agency’s ongoing investigation.

The audit is one of the immediate oversight actions the FAA took after a left mid-cabin door plug blew out of Alaska Airlines Flight 1282 on January 5 while in flight. At a meeting at FAA Headquarters in Washington, DC, last week, Administrator Mike Whitaker informed Boeing’s CEO and other senior leaders that the company must address the audit’s findings as part of its comprehensive corrective action plan to fix systemic quality-control issues. The plan must also address the findings from the expert review panel report that examined Boeing’s safety culture. The FAA has given Boeing 90 days to outline its action plan."""
> How can enthropy be morally correct or incorrect?

You said the disappearance of content was a feature, not a bug. If it is a feature it was designed. I understood your comment as implying that somebody created this feature.

You now speak about entropy, which one? Boltzmann's or Shanon? This doesn't have to do anything with bit rot or the like. When you write a book, you cannot unwrite it. Is a fait accompli. But if I create a website and I load a bunch of content and after few years I don't pay domain, server space, etc. it will be deleted; at that point a webcrawler may have had copied all the info, or not, we do not know, or somebody may have thought it was worth it and saved a link to it. At a fundamental level, who decides what stays and what is deleted, who owns it if the webcrawler stored it without your permission? These are all moral questions, not technical ones...
What an absolute legend of a man
“Automation has always helped people write code, I mean, this is nothing new at all [..] I see that as tools that can help us be beer better at what we do.” — Linus Torvalds’ on LLM code generation/review (https://m.youtube.com/watch?v=VHHT6W-N0ak).

NetBSD still has an edge with its memory hardening, NPF, kernel-level blacklist, and “legacy support”. But I fear that this out-of-touch policy might eventually tip it into irrelevance.
If it works for them why not, and compared to rcs it's really not too bad ;)

In some aspects the old centralized versioning systems are superior to distributed systems like git (for starters, they give you a single linear history with incremental revision numbers).
AES Algorithm in Java
In Praise of Pastiche
a backup just in case

https://nlp.seas.harvard.edu/annotated-transformer/

https://scottaaronson.blog/?p=762

https://karpathy.github.io/2015/05/21/rnn-effectiveness/

https://colah.github.io/posts/2015-08-Understanding-LSTMs/

https://arxiv.org/pdf/1409.2329.pdf

https://www.cs.toronto.edu/~hinton/absps/colt93.pdf

https://arxiv.org/pdf/1506.03134.pdf

https://proceedings.neurips.cc/paper_files/paper/2012/file/c...

https://arxiv.org/pdf/1511.06391.pdf

https://arxiv.org/pdf/1811.06965.pdf

https://arxiv.org/pdf/1512.03385.pdf

https://arxiv.org/pdf/1511.07122.pdf

https://arxiv.org/pdf/1704.01212.pdf

https://arxiv.org/pdf/1706.03762.pdf

https://arxiv.org/pdf/1409.0473.pdf

https://arxiv.org/pdf/1603.05027.pdf

https://arxiv.org/pdf/1706.01427.pdf

https://arxiv.org/pdf/1611.02731.pdf

https://arxiv.org/pdf/1806.01822.pdf

https://arxiv.org/pdf/1405.6903.pdf

https://arxiv.org/pdf/1410.5401.pdf

https://arxiv.org/pdf/1512.02595.pdf

https://arxiv.org/pdf/2001.08361.pdf

https://arxiv.org/pdf/math/0406077.pdf

https://www.vetta.org/documents/Machine_Super_Intelligence.p...

https://www.lirmm.fr/~ashen/kolmbook-eng-scan.pdf

https://cs231n.github.io/
Okay, but if you’ve become very familiar with a particular code base, the later produce code that’s an exact match for a significant piece of code to the first code base, that would be copyright infringement.

There’s a reason companies will use clean-room strategies to avoid poisoning a code base.

So, I’d be okay with a compromise wherein the makers of Chat GPT aren’t liable for copyright for the act of training the model, but are liable for copyright for statements produced by the model. So, when the AI spits out exact copies of copyrighted works in response to a prompt, then copyright has been violated and the AI creator should be liable.
Ja mich würde die Methodik da auch interessieren... I don't speak dutch but whenever I read it I understand a surprising amount. So I don't think there really are twice as many words as in German...
I asked because I don't get those same suggestions, so it's likely YouTube knows you're interested.

The suggestions I see are generally things I'm interested in.
> giving us literally billions of years of current-day whole-earth power from known uranium resources (including seawater and erosion)

It's not like it was a one-time chance that we missed, and we'll never get back. The technology still exists, it is even in production. Russia has 2 reactors running as of now, BN-600 and BN-800. The first has been running for more than 4 decades, the other for 8 years. A BN-1200 design has been recently approved for construction, and Russia plans to make many of them.

In the US, there's the Terrapower company that has started the approval process with the Nuclear Regulatory Commission for its sodium-cooled reactor, Natrium [2]. These things take years, but my guess is that in the worst case scenario, they'll still be able to build a reactor by 2040.

[1] https://world-nuclear-news.org/Articles/BN-1200-plans-for-Be...

[2] https://www.terrapower.com/terrapower-submits-cpa-nrc/
Wouldn't charging in four seconds require a lot of electronics and a very large number of very small cells, but be simple apart from that?

(Conceptually simple, not inexpensive.)
> The recipient certainly doesn't own it and can't really use it as he sees fit in many (if not most) cases.

Other than scenarios such as "sendmail will not perform well if you really need a k/v store", what exactly do you mean?
blush :-)
No, I don’t understand why you brought it up.

It was Google trying to shove through something they’d invented, using their market power as leverage. You don’t make good standards like that.

It was also not at all about standardising HTML email—it didn’t improve anything in that way, except insofar as the AMP part being chosen implies that the client has decent HTML support. AMP for Email is purely about dynamic content in emails.

And the very way that each provider that supports AMP for Email has required whitelisting of each sender shows there’s something extremely rotten about the entire thing.
More like ppl on this site know and respect Jobs for his talent as a revolutionary product manager-style CEO that brought us IPhone and subsequent mobile Era of computing.
I prefer Lean to Haskell (never said Lean is a better language) for fairly shallow reasons really:

- I like Lean's inductive type system much better that Haskell's,

- I prefer eager evaluation by default,

- I like the syntax better,

- I like dependent types; they are dangerous, but it is great to have the option.

I suspect some people may also prefer Lean's macro system to Haskell's, but I haven't worked much with either, so I don't know about that.
I don't think the analogy is that AI is just copy/pasting code, but rather that getting an AI to generate code for you and directly using the output is like copy/pasting code.
> If you make it your full time job for a year or so

Sounds like a good MSc program
But he wasn't blowing the whistle on those.

He says, both in court and elsewhere, that his concern was that higher ups were undertaking investigations of soldiers he felt did nothing wrong, for PR reasons, and he believed that was illegal.
Neither of those statements negate the key point of the article.

I've noticed that both Sam Altman personally, and official statements from OpenAI sound like they've been written by Aes Sedai: Not a single untrue word while simultaneously thoroughly deceptive.[1]

Let's try translating some statements, as if we were listening to an evil person that can only make true statements:

"We have never canceled any current or former employee’s vested equity" => "But we can and will if we want to. We just haven't yet."

"...if people do not sign a release or nondisparagement agreement when they exit." => "But we're making everyone sign the agreement."

[1] I've wondered if they use a not-for-public-use version of GPT for this purpose. You know, a model that's not quite as aligned as the chat bots, with more "flexible" morals.
What were the vulnerabilities in your 1600 lines imgur alternative?
Most of the time you have to add a keyword as to what it is related. We cannot expect everything to have unique names, unless we are perfectly fine with random pronounceable strings as names.
Falling in Love with a Fly: Craig Foster Considers the Uncharismatic
> Here, you're kicking the problem further down the road, though, to another known attack vector: Directory Harvest Attack[1].

Dictionary and brute force attacks don't work against cryptographic ids, so I don't see how this is relevant.

> What would one bad email to an email guid do?

I assume you mean, what would happen if you received a spam message and had to revoke a guid? First, revocation means the guid is no longer valid and to any incoming message, so it acts as if the guid simply doesn't exist.

Second, the idea here is that every entity gets their own guid designating you, so the same guid is not known by more than one entity. This is the purpose of the handshake protocol during introductions. If A and B know each other, B and C know each other, and A and C want an introduction, B triggers the introduction protocol which mints new guids for both A and C that are then exchanged with each other. This can happen transparently without the user seeing what's going on under the hood. Revocation is just a mark as spam button, and introduction is triggered by CC'ing more than one person in your address book (introduction is the trickiest part).

So if A gets a spam message from C, you just revoke the guid sent to C and you're done, any message from C now acts as if A's address no longer exists. This doesn't affect any connections to anyone else.

If B's guid for A is compromised in some way, you can trigger the introduction protocol again to mint a new guid after the compromise is resolved, then revoke the old one.

There is simply no way for spam to gain a real foothold here: they can't guess ids, and if they somehow obtain someone's address book, those addresses are valid only for one or two messages at best, before it gets revoked. The revocation and introduction protocols can happen using the existing protocols in a few different ways, like by exchanging some message types that are not seen by the user. There are definitely some details still to work out but I don't see any real roadblocks.

The only real "problem" is that now all email addresses are effectively private, eg. no globally addressable emails, which is not great for business purposes like info@mycompany.com. You could of course keep running the old email system for this.
Technically, while WASM promises you put data in and get data out, you can still have memory corruption (as it has a flat memory), so I could make a (for example) gif with some color palette, then later overflow and rewrite the palette.

Not fatal, but perhaps annoying.
Holy shit folks, use a bit of your innate agency, and let others do likewise. Yes, Google, sorry, "Alphabet", is a dirt shitty company that engages in all kinds of ugly corporate and legal practices, but no, the YT algorithm isn't destroying democracy or ruining human thinking. The vast majority of us are cognitive beings with the ability to choose what kind of content we consume, or not. In most cases, people who watch a whole pile of garbage on YT are people who would find some other source of it anyhow and always would have throughout history. Those who can separate wheat from chaff will do so regardless of what the algorithm pushes at them. In fact, they'll generally find their own algo-generated suggestions to be in line with the higher quality they steadily pursue. And quite frankly, there is a great deal of excellent content on YouTube to be found. Let's not throw the baby out with the bathwater.

Many of the comments here exaggerating the evil of the algo and claiming that it ruins people's minds unless they're "shown better" reek of elitism and an implicit desire to control other's belief/feedback choices for their own good. Aside from this being a morally weak viewpoint, it's also bullshit in a practical sense. The majority of such people with an intellectual superiority complex are little better at avoiding intellectual bias than the average person, they just sometimes learn to disguise it with more sophisticated looking justifications.
Current generation of AI code generators are loaded with ethics and copyright problems. Plus, there's the issue of "copying something without understanding" angle.

The most advanced tools were template based generators and real-time static checkers plus language servers. AI makes things way more complicated than it is.

It's not only bleed of GPL into MIT. It's also bleeding of source-available licensed corpus to AI models. These things leak their training data like crazy. Ask the right question and get functions from training sets verbatim.

When everything is combined, this is a huge problem. It's not that these problems are individually OK. They're huge already. The resulting problem is a sum of huge problems.
I live on 350 Euros a month; my rent is 180 Euros. I literally cannot find 3 bucks to be part of a community. I am not a parasite.
Reportedly, Carmack did it an a week by locking himself in an hotel room
No, privacy is not a crime... But money laundering is.
Making one AP look like thousands is trivial.
One of the reasons why Bookmarks are useless. Most of them are dead, and those that are not can not easily be searched within Google.

The web we have today is just worst than pre-Google dominant era.
Very curious to see what other astronomers think about this in the comments. My gut feeling is there are almost certainly natural explanations for these. Just seems unlikely we would only be starting to see these now, even with the greater resolution of telescopes & increase in compute to crunch through the data.

If there were 7 of these ripe for the plucking that were actual Dyson spheres, each one would be the single greatest discovery in all of humanity. Just seems a little too easy.
If you advertise through Facebook you get a lot of fraudulent traffic. So I don’t see how they fight spam.
“[I]nduces cellular senescence”, to those not steeped in the hip lingo, means “makes cells older”.
How would it be different than a key fingerprint in practice? You don't have to check the fingerprint initially (TOFU).
Are "The three last wishes of Alexander the Great" true?
"""He called his generals and said, “I will depart from this world soon, I have three wishes, please carry them out without fail.”With tears flowing down their cheeks, the generals agreed to abide by their king’s last wishes.

“My first desire is that”, said Alexander, “My physicians alone must carry my coffin.” so people realize that best doctors on this earth can not save them from death.

After a pause, he continued, “Secondly, I desire that when my coffin is being carried to the grave, the path leading to the graveyard be strewn with gold, silver and precious stones which I have collected in my treasury”. with this Let people realize that it is a sheer waste of time to chase wealth and greed of power

The king felt exhausted after saying this. He took a minute’s rest and continued. “My third and last wish is that both my hands be kept dangling out of my coffin”.so I wish people to know that I came empty-handed into this world and empty-handed I go out of this world”.

O king, we assure you that all your wishes will be fulfilled."""
According to Duden.de Germans have a passive vocabulary of ca. 50,000 words.

https://www.duden.de/sprachwissen/sprachratgeber/Zum-Umfang-...

Didn't find a source for dutch people.
Jobs was a bully through and through.
No, in fact I'm praising Musk for his project management abilities and his ability to take risks.

>"nu uh, it was in scifi first?" Wow.

https://en.wikipedia.org/wiki/McDonnell_Douglas_DC-X

>NASA had taken on the project grudgingly after having been "shamed" by its very public success under the direction of the SDIO.[citation needed] Its continued success was cause for considerable political in-fighting within NASA due to it competing with their "home grown" Lockheed Martin X-33/VentureStar project. Pete Conrad priced a new DC-X at $50 million, cheap by NASA standards, but NASA decided not to rebuild the craft in light of budget constraints

"Quotation is a serviceable substitute for wit." - Oscar Wilde
I think they are just outsourced
I hope they didn’t tell the aliens about that.
https://twitter.com/MiSvTh/status/1785767966815985893
I have no inside info on this, but I doubt this is what is happening. They could just say no and not sign a new contract.

I assume this was something agreed to before they started working.
What ever happened to Modula-2?
"write code" isn't a uniform task.

Sometimes writing code involves having built a good mental model of the domain problem & parts of the codebase.

Sometimes writing code involves fairly straightforward manipulation of tools you might not be so familiar with.

For some tasks, (e.g. "take the sample code from this blog post / answer, adjust it to use the variables available in this context"), I'd expect an LLM to save time over not.
On Breeze Airways you can always fly a modern A220 or a E2-Jet. That airline or another one will become “Southwest but with 2020-era planes” and will eventually trash the cost structure of Southwest if not Jetblue.
I'm actually a DE but with this market it's difficult to transfer to anything else. I'll probably just switch jobs frequently and keep the freshness, grit for 10 years and get the hell of the indistry.
Noto sans is pretty good in this regard.