skysight-inc/HackerNews huggingface dataset:
Perhaps more of wishful-thinking than prediction ...

Tooling that works top-down. Starting with UML and similar system of systems diagrams and requirements specs with semi-automated generation of working systems that can be fine-tuned as it runs.

We started down that path with Smalltalk, but as David Ungar remarked (from memory), "once you get past the system browser, it's like editing Pascal source code". The limiting factor was not the vision, but the meagre (compared to present day) hardware resources available for tooling. Some UML tooling has been written on Smalltalk systems, but Smalltalk run-times were never suitable for deployment of systems. And then Java happened.
Following up on swyx, the TTS is probably Google finally releasing Soundstorm from the basement.

https://google-research.github.io/seanet/soundstorm/examples...
> Encryption is done in four layers.

What?
Soundstorm is probably the TTS
https://google-research.github.io/seanet/soundstorm/examples...
This phenomenon is the bane of managers everywhere who are trying to introduce objective metrics to track performance and productivity, or to enforce a desired behavior.

Any system can be gamed.

Really, such systems work only when both the rule giver and the rule followers are on the same page, and will both work in good faith together to move the team forward.

I.e., perversely, they work only when they are not really needed. :-(
Can you describe in a little more detail what exactly client attestation is, and why you would need other devices to achieve it?
reads like it would be pronounced with an aspirated -s- not sh.
For more examples:

https://en.wikipedia.org/wiki/Heteronym_(linguistics)
Thank you for supporting my point.

the top 100 political articles from WaPo and the NYT from this year ...

are not "anti Republican", they are "anti MAGA", just as many non MAGA Republicans also are.
I don't necessarily know if it is diet America but a lot of the Australian holidays and celebrations do feel to me (as an Australian) as slightly odd. I suspect it is because Australia is a relatively young country so there isn't a long existing history of traditional celebrations so we have kind of appropriated existing traditions.

Christmas is best example I can think of there are decorations depicting things like Snowmen and Snowflakes etc. We sing songs about "dashing through the snow" all whilst it is oppressively hot outside, its hard not to notice a bit of dissonance.

ANZAC Day is really the only holiday celebration I can think of off the top of my head that has a uniquely Australian flavor, with things like marches, Two-Up etc.
That's funny. I thought of a different XKCD. Deadlifting for a brute force-attack. https://xkcd.com/37/
Right now the competition is Chrome adding features and everyone else taking them away.

Nobody else adds anything except privacy enhancements, so for a typical non privacy focused user the rest are either not that interesting or too small and niche to seem trustworthy.

I don't really want more browsers, what I'd really like to see is Chrome apps and extensions on Mobile, with more power.

With fine grained permissions of course, but still with enough permissions to change the UI, write sandboxed user visible files, and talk to other stuff on the LAN.
It's not a problem to be solved from McD corporate's perspective.
That is why I said that, as the comparison is pretty weak. The US' gun problem basically wouldn't be a topic of discussion if it was occurring at the rate mass stabbings do in the UK.
editor's notes:

Very, very obviously a Chopin Waltz. The chord choices, usage of triplets/mordants, and the suspended pedal tones is characteristic. It's a mix of [Prelude Op 28 no 11](https://www.youtube.com/watch?v=si5aT6FDPZ0)'s ephemeral brilliance and [Waltz Op 34 no. 2](https://www.youtube.com/watch?v=PGdpRmL2XUc)'s lilting, moody style.

My "edition" is definitely not an [urtext](https://en.wikipedia.org/wiki/Urtext_edition). I made minor simplifications to the descending line at measure 8, following Lang-Lang's performance (which I believe is the correct decision - the arpeggiated diminished chord F-D-B-G#-F-D sounds better without any gaps, compared to what's in the scan, B-F-B-G#-F-D.), and added some phrasing where I thought it was obvious and perhaps went missing over the ages from the raw scan. The ornamentation in measure 20 was probably modified by Lang-Lang, but I think it fits the piece better than a plain mordant, so I notated it as played.

If I were to judge based purely on the music - minus all of the contextual clues like paper, ink, backstory - the probability of it being fake is ~10%. I say this only because it is shockingly similar to 34-2 in harmonic and stylistic elements, which is exactly the kind of thing an AI trained on a not-big-enough dataset would do. While AI utterly fails at longer pieces, it could plausibly render a coherent 24-measure piece in the style of Chopin, and DeepMind could plausibly be working in stealth on a really good music-composition AI. But in the end, the piece is too tightly composed, and I trust NYT's decision to trust the historians who are familiar with evaluating such artifacts.
>I forgot the name and what the data was used to protect/derive: maybe some authentication scheme?

It's a variant of salted passwords, where the "salt" is a huge file that sits on a server somewhere. To validate any given password, it only requires accessing a few bytes that are deterministically but randomly determined. This isn't a problem when validating passwords, but if you're an attacker trying to exfiltrate the file (so you can run offline bruteforce attacks on it), the huge file becomes prohibitively expensive to exfiltrate.
Or, if you're like me, it can be the start of your back pain!
I took the TER from Strasbourg to Paris just weeks ago (just 2 3rds of the distance for me because I was not in Strasbourg). It travels well over 100 km/h all the time and it makes only a few stops. That is only half or even less of the TGVs' speed, but still faster than by car. Definitely not crawling.
What happens if no one takes the power (not one solar installation but lets assume lots of surplus power). Does it screw up the grid? Increase voltage/frequency?

Would this lead to grid needing to be shut down?
> then run it through ffmpeg to convert to mp3.

> Some people don't want [...] mp3
This is probably a decent estimate, but there's a couple of routes of attack it fails to account for.

First it uses the current average temperature of the universe. Lowering the temperature can be done by just waiting a while before turning the machine on. I assume that powering a sufficiently powerful fridge is not an option, given the origin of the theoretical limit, but I can't quite point out why it wouldn't work.

Secondly it assumes that an unsuccessful attempt must flip at least some bits in an semi-permanent manner. This is obviously true of all current computers, but doesn't have to be true for all possible apparatuses. A specialized hyper-efficient password cracking system should be expected to get below this limit. Will we ever build one? Who knows.

Arguably this latter 'loop-hole' is just pointing out that quantum computers or more efficient algorithms could do better, so maybe we should absorb it into the definition of 'brute-force'.
Not sure if this counts, but whenever I'm starting a new project or need to figure out something involved I always start by cleaning up the shop and all surfaces. I was wondering why I did that?
> For those who can’t read Chinese here, I’ll just note that this is basically the equivalent of forgetting how to spell certain words in English.

I can't read Chinese, but I think the article has a better analogy: "most people can easily recognise the musical symbol for treble clef (𝄞), but very few could draw it by memory."
It varies by time of year--but monthly in a given direction is probably a rough estimate. Go to Cunard. Mostly Queen Mary 2 although I think they have a new ship that does some transatlantic as well. For crossings, my understanding is their ships with stabilizers etc. are better able to handle the North Atlantic than the average cruise ship.

Dates lined up for me on a trip late last spring and I enjoyed it. Would consider doing again.
> The orthography may be inconsistently phonetic, as is the case with English spelling, or highly consistent, such as the Korean Hangul system. No writing system is perfectly phonetic. But phonetic systems enable the native speaker, with just a few dozen symbols, to reliably write whatever they can speak, and read out loud anything they can read.

I'm not sure if the author has studied Vietnamese. I'm a native Vietnamese, and I believe the language is perfectly phonetic.

If I hear a word, I can write it. If I see a word, I can pronounce it, regardless of whether I understand the meaning.

It's interesting that among the 4 countries (China/Japan/Korea/Vietnam), it's the only one that completely reinvented the language into Latin based. I think that refactor addressed the phonetic issue well enough. When I was there, there was also no TV program for "spelling bees" or something like that. Even a third grader could read/write almost any word (even when they don't understand the text yet)

Edit: adding to this original post to reply a common theme people brought up in multiple posts.

I think bringing up dialects and provincial accents is not convincing. There is one official way "gia đình" should be pronounced. It's taught in school, even in the South. Pronouncing it as "da đình" can still be understood, and it doesn't retract from the point that the language is phonetic.

In other words, assuming I know nothing about the meaning of the word, if I hear "da đình" I can correctly write down it as so. I wouldn't know that in Saigon that also means "gia đình". But I definitely can write it down exactly.

I don't think using provincial speaking accent is a good line of argument here. Otherwise, no language in the world can satisfy the phonetic requirements. Any group of people can have different accents, different tones, different sound length and pauses.
Thanks for the feedback.

The preceding paragraph had "and occasionally language features" so I thought it would be understood that I didn't mean it as an optimizer-specific thing, but on re-reading the post, I totally see how the other wording "The knobs to steer the optimizer are limited. Usually, these [...]" implies the wrong thing.

I've changed the wording to be clearer and put the D example into a different bucket.

> In some cases, languages have features which enforce performance-related properties at the semantic checking layer, hence, granting more control that integrates with semantic checks instead of relying on the optimizer:
>
> - D has first-class support for marking functions as “no GC”.
All the desktop apps he cited that are a threat to native are SPA’s so it doesn’t seem like he hates them everywhere.

I agree though it’s very odd that desktop web apps are serviceable, while they universally are horrible on mobile.
Just switching tabs will dramatically lower energy usage without using any scripts. I assume the YouTube video player may download and just drop the video information if not showing it, no need to render decrypt the video stream.
Ask HN: What are some creative or unique web page backgrounds you've seen?
The more I think about it, the more I like the idea of constantly changing our methods of assessment.

A 90 day target is questionable, but regularly changing the metrics are a good way to keep people from gaming them.
Discussion in 2023 (123 points, 169 comments) https://news.ycombinator.com/item?id=35617100
Well, duh. And it works, until it doesn't.
i am talking about a js library of generic functions that can be imported from wasm to make DOM access easier. handling of string arguments still needs to be solved (i am guessing the shared memory access is the right place for that) and the respective functions on the wasm side need to be implemented for each target language so that DOM access in the target language becomes natural and easy to use.
I think the details are actually important to the idea. Mainly this green brag doesn't seem to add up. The battery system is crucial.

While there's a bit about needing to replace it in 10-20 years coming out to a $83/month, this is essentially burying the $15,000 bill coming.

Also, unless their battery system is wildly over provisioned at the moment, you can't just add a bunch of new panels. Are they selling back to the grid? I don't think so, they mention grid independence wrt natural disaster. Do they have some sort of system to heat the water in the day only? Did they just take the name plate capacity of the system and multiply it by 40 years? who knows?

These "details" will make anyone buying into their big idea quite frustrated.

I also don't understand the part about chopping wood. Yes it's probably a idilic bit for the story, but that's almost one of the worst fuel sources. Dangerous, carcinogenic, and polluting.

edit: yes in the footnotes, burning wood. Getting rid of that would be the number one way to improve their impact on the earth and their community.
I've added a clarification in the post to make my position explicit:

> This is not to imply that we should get rid of SQL or get rid of query planning entirely. Rather, more explicit planning would be an additional tool in database user’s toolbelt.

I'm not sure if there was some specific part of the blog post that made you think I'm against automatic query planning altogether; if there was, please share that so that I can tweak the wording to remove that implication.
I'm back working on my lighting desk [0]. I stopped a couple of years ago because depression robbed me of all motivation, but now it goes and I've done a few gigs with it. Still lots of bug fixes to do then a backlog of new features, but I'm glad to be back on it

0: https://news.ycombinator.com/item?id=35737795
Is your partner not following the signs saying where to tap in?
I remember a teacher telling me to delete every occurrence of "I think," because it's redundant to tell people you think what you're writing.
Intrinsics have somewhat saner names in C#, and unify under the same types for both portable and platform-specific variants (Vector64/128/256/512<T>, numeric operators on them and methods on VectorXXX.* or Sse42/Avx/AdvSimd/etc.)
A thousand year old coin for $1000? That seems rather cheap.
So metal detection to search for historical artifacts is legal in UK, illegal in Ireland?
I'm guessing you've tried these flags mentioned in the blog post but haven't had luck with them?

> LLVM supports an interesting feature called Optimization Remarks – these remarks track whether an optimization was performed or missed. Clang support recording remarks using -fsave-optimization-record and Rustc supports -Zremark-dir=<blah>. There are also some tools (opt-viewer.py, optview2) to help view and understand the output.
Neither received much attention then, I think it warrants more interest.
Yes and no.

Often being trapped in indecision is a sign of fear and insecurity rather than calm consideration. But sometimes people go into things headstrong and lose because they didn't make any calculations beforehand. There's a balance, or maybe a dialectic, between thinking and non-thinking action.
Sounds very cool!
> if you are uncertain, don't express the idea

A better interpretation is to express the uncertainty at its core, and not wrapped into your subjectiveness.

For instance if you read it in a publication and kinda agree but don't fully trust it, instead of "I think X" you could go with "Publication Y exposes the possibility of X"

The real point of the advice is to get rid of fluff, not remove nuance or valuable information.
China should make another attempt at simplifying their written language. Yes it’s a monumental task, but Korea managed to mostly transition off of Chinese characters.
Since we're doing "XKCD's relevant to the intersection of deadlifting and cryptography" - https://xkcd.com/189/
I also thought this was an odd statement to see. Electric cars really haven't been around long enough to give that kind of respect to time. A few brands have but the newer models are totally different beasts.

Vs ice which easily last long, long past 200k. I'm at 240k right now and it still performs perfectly.

As a side note on the newer ice vehicles I don't see how those terrible tablets that control everything will last long enough for the other mechanical problems in the cars to show up.
1. By fixing ALSA or PulseAudio instead of writing pipewire

2. Because writing something new is easier than trying to understand something already written. Maintenance is not sexy. Writing new things is.
I'm sorry for misreading your comment about the term "tower". :-)

> do you object to using the word "tower" to talk about it

No, I don't really care about the terminology, except when it helps to communicate.

> do you object to the graph of number types described by that paragraph

I think the problem boils down to using a flawed analogy to arrive at a conclusion and then pretending the conclusion is sound and elegant. There are really two things going on:

First, we've got a tower, or tree, or DAG of "abstract" types. These are mathematical constructs or Platonic ideals. So you can build a tower that says "All Integers are Rationals" and "All Rationals are Reals". And it's supported by Set Theory! So you conclude that you can use an Integer anywhere that a Rational or Real is allowed. Then, knowing that we're going to apply this to a programming language, you add "All Floats are Reals". Fine, we've got abstract Floats, and it looks lovely.

Second we've got actual "concrete" data types. These are things like Float64, Int32, or BigInt. Importantly, you can't have an implementation of Real anything. In general, Real numbers can't be processed on a Turing machine. You can have a tagged union of Computable things, but that's not really the same as "Real" in bold quotes.

Ok, so the mistake comes when you try to combine those first and second sets of things. We say concrete BigInt is like the abstract Integers, and concrete Float64 is like the abstract Floats. So far so good. Then we look at the abstract tower, we decide that Integers and Floats need to become Real, so we say BigInt and Float64 need to use Reals to get a common type. But there is no common type. We said the concrete types are analogous to the abstract types and made an unsound conclusion.

Finally, we write the compiler, and reality hits us. So we go back to the standard and add some bits about "Some things really should be Exact. Conforming implementations should try to avoid Inexact when they can." It's not a separate tower - it's a bandaid for flawed logic.

Anyways, this is all a bit too philosophical. I'm not actually passionate about it, but our discussion kept going, and you kept asking, so I kept trying to explain. Most people like implicit conversions in their programming languages, and so you've got to make up some rules. I just don't like pretending the rules are not ad hoc, and it's nothing a smug lisp weenie should really be smug about.
// Starting with UML and similar system of systems diagrams //

Have you tried asking using LLM's to generate your UMl? :-) Or to explain what kind of system a UML diagram is modeling?

Depending upon how fast they move, in 10 or 15 years software development may be unrecognizable and radically different. We might not even need UML (if we ever did).
I think it’s a newer culture pushed by the media and universities to accept scientific claims without questioning them. They usually cite whatever they say without evidence. What a scientific consensus or even unnamed scientist say can be used to dismiss others’ points. It’s almost like they’re the clergy of today. Some are calling this “scientism.”

We need to go back to treating any claims with healthy skepticism, reviewing them, and phrasing things carefully to show the degree of certainty uncertainty involved. We need to protect the integrity of both science and scientific reporting. That’s better for us in the long-term.
That also assumes investment ownership is the appropriate approach to attribute emissions.
> Someone who's literate in Chinese would only be able to infer the meaning of an unfamiliar character if they already knew all of the surrounding characters.

In what I wrote, I was assuming there would be no unfamiliar characters, but there would be one or more unfamiliar words composed of two or more characters.

I was trying to put forward the best argument I could think of for retaining the characters, but like you, have decided it isn't worth the additional effort of learning thousands of characters up front to become literate when you can use a phonetic script and look up any unfamiliar words in a dictionary instead.
Great to see this: Fellow tech-geeks, ignore the NotebookLM thing at your peril.

NotebookLM, far and away, has been the "AI Killer App" for the VAST MAJORITY of bright-but-not-particularly-techy people I know. My 70ish parents and my 8 year old kid are both just blown away by this thing and can't stop playing with it.

Edit: As someone pointed out below, I absolutely mean just the "podcast" thing.
There was immense pressure on Embraer by the US government not to build one. A stupid shortsighted decision by the US.
PerfIO – Fast and convenient I/O for the JVM
Jesus's message of humility was clear. The rest is your speculation, 2000 years later, about what worked.
> And if someone builds a pure tower that goes int32, double, complex, quaternion, do you think that's inherently self-defeating because it can't live up to the promises of a tower?

Assuming the obvious implementation of complex and quaternion built on two or four doubles, it's fine. Each type represents a set that is a proper subset of the next type in the list.

Annoyingly, it'll all go to crap if you have int64 though.
That was exactly what I was expecting, but the article was pretty good nonetheless
> language acquisition or just memorizing characters

What is the difference, in the case of Chinese?
Kind of a self-fulfilling prophecy on his part, isn't it? $6B wouldn't solve world hunger, but it'd put a dent in it, and the size of that dent probably scales with how well the money is managed.
Not everyone agrees supermarkets should charge for groceries.
I've always wanted to just write the execution plan directly and bypass the planner for a few hot queries.
>1059 points by lainon on March 6, 2017, 154 comments

I wonder what was so special about this particular instance, other than it being the only Monday on the list.
Fair point, although to me the "audio overviews" are a minor feature of the product.
> Yes, Apple has been blind to the actual humans using their products for some time now.

This is a ridiculous take. There is literally no evidence of this. There are over 2 BILLION iOS devices in the wild and I doubt it's because "Apple has been blind to actual humans using their products for some time now".

The purest test of whether you understand people's needs is if people buy your products with their hard earned cash. And then they do it again and again and again over a long period of time.
>We have forgotten how unrelentingly dark the pre-industrial world was.

It’s amusing how often these sorts of exposés start off with this “the transformation that the world forgot” meme. There are enough writers out there who are making ends meet writing boring articles for publications like BT instead that, in all honesty, not enough time passes from one article to another on the same subject that gives enough time to forget. We constantly have to be reminded of some absolutely astonishing fact. Perpetually. I suppose this defines the 24-hour news cycle as applied to the internet.

The actual article itself is empty on juicy content and shills a book instead. Skip. Maybe the author forgot what good article writing is like, but that fact certainly won’t be lost on civilization as a whole.