skysight-inc/HackerNews huggingface dataset:
You're sitting in the United States Capitol Building for hours, being grilled by the representatives from the most powerful country on earth, by people who could decide on a whim to make your job as CEO a living hell by passing laws that unfavorably regulate your industry... And you're saying you could just shrug that off? Excuse my incredulity.
Ayo this looks sick
Number Theory is really weird because the definitions and theorems are so often straightforward and easy to understand (you could explain Fermat's Last Theorem to a bright school kid), but the proofs can be devilishly complicated.
Can we not simulate even one atom of oxygen well enough to determine if it's stable or not. What if they used a big computer like the ones they keep building at national labs or the ones they used for training GPT.
https://archive.ph/BIqgw
This is a very stylistic and subjective take. Not all workplace cultures and not all people prefer to communicate this way, and many of us resent the "YTA" label that is applied to a direct communication style. I don't work for praise, and I maintain high standards as a matter of personal professionalism. I couldn't care less whether my colleagues recognize me, and business leaders don't care about your effort; they care about the bottom line.

It's not surprising that your video relates to children. This sort of feelings-driven approach has no place in a professional workplace full of adults who are all expected to know why they're there, the terms of their employment, and what objective they're working towards. In fact I find it somewhat demeaning to have the default communication style be so childish.

Did you notice that "Why didn't you do it this way?" is rather less verbose than your alternative? This holds true in the general case too: communication tailored to your audience is much more verbose, and therefore laborious to produce, than communication written following the ABCs - accuracy, brevity, clarity. Imagine all the time that such organizations waste rewording things ad infinitum. Managing emotional state should be the responsibility of the listener/reader, while the communicator's job should be to get their idea across as clearly and concisely as possible. It's just more efficient that way.
The economic logic of streaming never changed, it's just that it never made sense. All of the decision making for what shows get made require, at a minimum, some kind of attribution for what people actually want to see, and remuneration commensurate with that attribution. That attribution and remuneration also needs to be transparent so that everyone involved in the production can negotiate their value.

In movies, the attribution was ticket sales, later home video rentals and sales. TV was attributed with Nielsen numbers and ad spend. Streaming doesn't work this way: they don't sell ads[0], and they don't charge per view, they just charge a flat fee. How that flat fee gets remunerated to the producers of the shows and movies on their platform is a complicated mess. Attribution could be done with view counts, except streaming services have been very notoriously cagey with those numbers.

In fact, part of the reason why SAG-AFTRA is getting stonewalled on streaming is that nobody in the industry wants those numbers to be public.

What happens if you don't get attribution is that the actual creative work gets devalued. You can see this in the wording that the streaming services use: they no longer show movies or TV shows, but "content" - i.e. entertainment slurry. The value of their service is not in the creative work it can provide to you but the delivery mechanism used to get it there. It's a weird parallel to the net neutrality arguments of yesterdecade, where ISPs didn't want to be 'dumb pipes', but instead actively managing the traffic of their users. And to be clear, streaming services do a lot of active management.

I suspect that if SAG-AFTRA wins, a lot of really embarrassing reports will come out suggesting that all these streaming exclusive shows were actually pulling in terrible numbers and that streaming is not nearly as much of a growth market as people thought.

[0] Well, up until recently, anyway.
The article is a bit oversimplifying in summarizing the axiomatic crisis as being problem with sentences like “this statement is false“.

This being said, your intuition is absolutely correct, the crux of the issue is with ‘this‘. What mathematicians realized is that if you are not careful with your choice of axioms, the resulting logical system becomes too “powerful” in the sense that it becomes self-referential: you can construct sentences that refer to themselves in a self-defeating manner.

As others have mentioned, this is the idea underlying Gödel's incompleteness theorem but also, to some extent, Russel's paradox that came before and is what the article is referring to. In Russel's paradox, the contradiction comes from constructing the set of all sets that contain themselves.
Do other countries have a concept of a “legal” name? Like someone said their names are a set that can be in any order or just pick one: does the government insist on a single specific order for interacting with them and with, eg banks?
I actually think the tip about asking is really useful for one specific reason - and it totally might not apply to you. Engineers can be extremely unaware of social cues. I feel confident I can judge my time and place and phrase my compliments such that I don't feel like I need to ask first - or atleast that I'm a good enough judge of context to know when I need to ask first. I'm pretty good at getting to know people and I'm very good at coming across open and well intentioned. To use a wanky term - I'm good at building trusted relationships.

However some people really struggle with social interactions and judging situations. The advice about asking is really valuable for someone who isn't quite as good at judging complex situations. It's simple - just ask! It might not apply to everyone.
Yeah, tell their manager you did said work and demand a raise!
Oh this is such a thing. The lack of compatibility also makes things less customizable. I used to always add a horizontal brake lever for reaching when I lift up from the drops (which I do when in traffic), but now that every shifter is different and every shifter is integrated into the brake levers it's not really an option.

Somewhat unrelated I also kind of hate how popular aluminum has become (or at least was when I last bought a road bike). Since all the mass produced frames are aluminum, the only options for a steel frame were more exotic models and thus expensive. In retrospect I wish I had just bought a steel hybrid frame and built a bike myself, but I was rather busy at the time, and it probably still would have been more expensive since so many of the parts are non-interchangeable.
Hey there

we test on macs, windows and linux laptops, it is very surprising that drawing 1 rectangle is painfully slow.

Sometimes it happens when your browser does not enable hardware acceleration or when your Linux distro does not know how to switch to the discrete GPU.

We won't be able to tell without getting more of your hw specs and debug information, feel free to reach out to the Figma support or email me at skim@figma.com - this is exactly the type of issues that elud us when looking at prod metrics in aggregation.
> Given/family removes ambiguity for a larger number of humans than first/last,

I dunno. The former places the cognitive load on the user. The latter places no additional cognitive load on either party.

After all, what exactly do you mean by "Family Name" and how sure are you that meaning you have is shared by even a significant minority of cultures and people? How many countries have passports that label each name in the name field as a "given" name or a "family name"? How many countries have their revenue service care about whether a "given" name is to be used or a "family" name?

OTOH, to figure out which name is first and which name is last, all the user has to do is look at their ID, which they have presumably seen thousands of times already.

First/last at least has the benefit that, to the user filling in the form, they don't have to think about it - the first name on the ID goes first, the last name on their ID goes last. They can leave out anything in the middle because the form didn't ask them for it!

The problem isn't the NAME, the problem is the addressing of that person which can be only be solved by by adding a field for addressing, and where it can't be solved (titles, honorifics, etc), then given/family name won't solve it either.
Yeah it's likely he hasn't worked much with Lean and may have some misconceptions around it.
This is because X will soon offer the optional ability to verify your account with government ID in addition to the current blue checkmark.

_If you want to_, the process would be take a selfie and a picture of your government issued ID, and they will use AU10TIX to verify that they match.
Come now. Any decent bike shop can service mountain bikes, and they have most of the things you describe (and more). Also, stronger chains / chainrings aren't any harder to work on. About the hardest thing is needing a strong enough bike stand to handle the additional weight.
If they need to service the complex drivetrain components - sure, otherwise it's effectively the same as many existing bikes they deal with every day.
These approaches and how effective they are are both culturally and individually sensitive.

The "Yes, but" approach works well in a context where people understand it as feedback that they should change. Softening the criticism with praise works for many people. It can also backfire in a context where people distrust praise, where the criticism is not understood as such, or when people have trouble with American business idioms.

The more direct approach works better in other contexts. I have had coworkers who responded much better to blunt criticism about why they should do things differently than to a praise sandwich.

This gets very tricky if you are interacting with multiple very different people at once. What is a strong enough criticism for one person might be well below detectable for another. There isn't one ideal answer or approach.
Really? There's no way to buy bonafide, genuinely traceable, antiques?
They embrace liberal ideas but hate liberal persons?

Joke aside, referendums are a narrow scope usually. So you choose what you like the most. Or a candidate has a broad scope so you usually have to choose what you what you dislike the least.
Why should I have to?
Construct seems more fitting. I also read the headline and thought it sounded like a mistake.
LEGO has a lot of really neat "display" sets available now for the more adult audience along with their traditional play sets for kids etc.
It’s very much the view from cyberpunk histories where corpo are the true power, not government (behind that there are AI of course).

So Musk is dreaming of a dystopia where he is one of the power.
HN is high value content surrounded by delusional and unempathetic tech bros.
Lack of free speech is a vulnerability, and is not really important until it is.
Yeah I always thought that the construction of Gödel numbers was always the weakest part of the proof / the biggest leap of faith / the part your prof would just hand-wave as being a valid move.

Of course once you get into Turing machines it all flows more naturally, what with all of us being accustomed to "code is just data".
This whole saga sounds like the start of an epic lesson in societal collapse. A city is struggling with decline, and despite great wealth being present, it is concentrated enough at the top for a handful of wealthy individuals to literally start their own city next door. Those people are so out of touch with the needs of normal people that the new city solves all the wrong problems.

It’s like the corrupt aristocrats in a crumbling Rome decided to start a new Rome next door, not realizing they were a big part of the problem all along.
Yeah certainly, and even at university most lecturers I had I think were 'just call me (first name)'.

I just meant that I can't think of anything else at that level that we don't use (sometimes/to the same not-100% extent) an honourific for. In many countries (not North America I know) medicine is a lesser qualification (Bachelor of each Medicine & Surgery, MBBS or BMBS) but we still use it, so it seemed to me the argument up thread works there (Masters aren't called doctors) but not as far as I can think of anything at PhD level?
Yeah, me too. It's boring, but after the last decade I'm more than willing to accept that "cost" for the benefit of having a sense of what's going on with my contacts.

Does anyone know how to efficiently unfollow large numbers of people though? I was way to promiscuous in the early days and want to winnow down to someone I've actually worked/socialized with.
Nah, I am good.
Loved ones sometimes pay to have nicknames engraved on tombstones. I think those things are often left off unless the nickname had strong significance to the closest friends and family members of the deceased
Word-Final Alveopalatals Are Cray-Cray Prev: The Morphophonology of Totes
"In rural areas people typically have larger and stronger social connections" with people that look and act just like them. It is very hard to go against the grain in a small community, and they often want to fit in and "group propaganda" is part of that community, whereas in metropolitan areas, you can just ignore those that have different ideas about how to live.

It is small towns where you have the fervent conservatives that can easily slide into hate and violence against "others". This is not an American thing, this is true worldwide.
> You seem obsessed with this Keffals person, it looks a bit unhealthy to me. Look beyond your obsession at the other people who were affected by these psychopaths.

I'm not sure how mentioning a person directly relevant to the linked article in a single comment counts as being "obsessed".

> You do realize there are other people the site has harassed and killed, right? And afterwards, things just like this took place?

Allegedly. I have yet to find a claim that stands up to scrutiny as sites either link to news stories repeating unsubstantiated claims made by someone (alongside factual errors like that the owner of Kiwi Farms lives with his mother, or that he is wanted by law enforcement) or provide no sources whatsoever.
> It is rather obvious to me at this point that the federal government is not in favor of its design.

Absolutely. The big questions are if the transition to this state is inevitable, and once the transition has occurred are you better or worse off than under the Swiss system.

Going by the state of both societies the Swiss one seems to have a lot going for it.
I would love for things like this to be pegged to some sort of metric, but once you do that the focus shifts to gaming that metric.
Latitude is not elevation though.
Nice interview / thoughts. There was a great article almost exactly 10 years ago, revolving around the same example (Mochizuki's claimed proof of the abc conjecture) that this article starts with: http://projectwordsworth.com/the-paradox-of-the-proof/ (It's still worth reading, even as background to the posted article.)
>If one of your opps posts something on social media about you or writes a song dissing you the street ethos many have bought into requires you to kill them.

Relevant:

TIL that Chicago street gangs today identify themselves by song. By listening to what drill music (a Chicago form of gansta rap) is playing, youths can tell which gang's territory they are in, or even when gangs are working together.
<https://np.reddit.com/r/todayilearned/comments/5t7ig0/til_th...>

To put another way, I've heard it said that drill rap may be the first music genre that becomes extinct because its practitioners kill each other off.
>Sounds like a dysfunctional workplace, or at least a very bad manager, if one has to secretly help colleagues.

There are gradations of things though. There are sometimes things you want to be doing, don't take a huge amount of time, and you know are clearly out of your scope. You then have a choice to just stop doing or continue to do quietly on the side. (Where the helpee knows silence is golden.)

Companies function through all sorts of informal networks that are often better for not having too much light shown on everything.
Exactly. This article is from that vein of attorneys explaining things in terms of the law as written. It's true in the sense of legal technicalities, but misses the forest for the trees. And being thoroughly steeped in descriptivism, they generally end up straying from their lane and making incorrect statements like "They can be booted off Twitter and any charges of 'Censorship!' don't apply." (it most certainly is censorship - it's just not illegal censorship).

Ultimately the US's Bill of Rights is flawed, having been created before the discoveries of formal logic and complexity induced contradictions of the early 1900's. Framing rights in negative terms allows entities that aren't the de jure government yet still have de facto coercive power to exercise their "rights" at scale, unconstrained by any sense of equity versus individuals' rights. It's why "The Twitter Files" is such a Rorschach red herring - you either see government employees doing the exact same thing that corporate power brokers routinely do over golf games etc, or you get triggered by "government" while ignoring the rest. Either way ignores questioning the sheer majority of censorship. And as corporations become more powerful and unavoidable, they encroach on ever more of our human rights, with no fundamental legal basis to reign them in.
One thing I'd add to this: When your coworker does great work - tell them! It's great when people notice you've done something good. Not everything has to be reported to a manager, sometimes just compliment their work or thank them for the effort.
Shame they don't raise that even higher. It seems like ~60K in the governments mind is still high, even though as a population, even people making >100K are reporting that they feel like they can't get ahead, let alone people who make less than that.

I think its great that they're updating this, but they should of increased it by 2/3s at least
twix?

bad for your health, and the whole left/right thing is a sham.
For people outside the US, keep in mind the author has a very far left interpretation of the First Amendment. This is obvious with a quick google search of the authors name and the periodicals she writes in and the topics she covers. There is another side to this, her opinion about the amendment is far from absolute.

I don’t want to give her too much publicity but in one opinion piece for example she pretentiously lectures a black Supreme Court justice on what diversity is. That’s all I need to know about her.
A well-motivated hobbyist with a physics degree maybe. As someone who studied EE, I wouldn’t recommend most hobbyists sit through all this unless they have a solid background in basic engineering math. He assumes some knowledge of the Laplace transformation for instance. Really, you don’t need to know this stuff to do hobby electronics. You can get pretty far in thinking about circuits at a higher level. Of course, if you want to build your own amplifiers and know exactly what’s going on everywhere you will need sit down and learn and get a more in-depth foundational understanding.
The fact they got the butterfly wings right, and didn’t default to dead and on display shows such great attention to detail.

https://www.emilydamstra.com/please-enough-dead-butterflies/
So a container is an easy way to deliver an entire software package with its own runtime environment?
The ISO8601 standard is behind a paywall, and consequently many of the "ISO8601" functions in programming languages and libraries don't actually support anything but the subset that is also RFC 3339.
Yeah, we still have loads of "EDID minders" left over from the RGB/VGA days. Little in-line boxes with DIP switches to set a given resolution and refresh so display hardware always reported the same spec to any laptop/desktop/device plugged in.

Not surprised there are similar for HDMI.
> I kind of like the idea in some ways - we are selling these products to the police and others to use on people - it makes some sense to me to understand just what the use of our products entail in the instance to get the gravity of the situation etc.

FWIW, police training involves recruits getting maced and tased themselves for this very reason.
Yes, an owner/worker who leaves get their share back, whether it has increased or decreased in value. A new worker has to buy in. I watched a documentary on YT about Mondragon and a new employee talked about how he saved up the money so he could afford the shares to get a position at Mondragon.
The two specific cases cited in the post to which I responded were Docker and Terraform.

I think there is a great deal of evidence that people are using alternatives at scale.

Let's take a look at some other examples: OpenOffice, Node, Hudson.

Of course, there are plenty of cases where forks have not thrived. But that is not really the question. The question is, can you show me a single closed-source project that did something highly objectionable to a large portion of the userbase that was then rescued by the userbase?

Can you explain why I should choose IIS over Apache just because there is a possibility that somebody could fork Apache? If either IIS or Apache decided tomorrow that they would no longer support TLS, but only support eeeTLS, why would the Apache situation be worse just because it is OSS and some users might fork it to keep TLS capabilities? It seems obvious to me that in fact Apache is the wiser choice in that regard.
Apologies for not commenting on the content of the article, but just wanted to say it's great to see the use of a gender neutral pronoun at the top of HN this evening.
It's a tool which 100% benefits from having a good UX, so not having a single screenshot on the frontpage is not a good sign. I don't count the linked YouTube video as one as it redirects me to YouTube.
This assumes that governments will trend towards more stability and the ability to enforce this regulation. The latter depends on alternative energy costs trending downward and competing for viability on a larger scale.

None of these things are necessarily true. In fact from the government stability perspective we've been in an unparalleled period of peace and stability that looks incredibly shaky into the near future.

Any climate commitments go completely out the window when conflict breaks out between nations.
Please, Enough with the Dead Butterflies
The documentation one get me, especially with GitHub repos. Don’t show me all your build status widgets and give me build instructions before ever (or without even) telling me what the project does.
Who decided that only level 5 qualifies as "self-driving"?
Does a graphical representation of the files in the Linux kernel exist anywhere? Like a graphical file explorer but for the different kernel components.
Interesting idea. You see this sort of thing throughout the westernized world, perhaps not as extreme as SK, but I've never been so I can't compare.

This is a completely busted system of values though... Almost everything you mention is the luxury version of things that all have functionally very similar alternatives at a much lower cost. The main value is signaling and maybe satisfying some mimetic desire. As signaling, it's a zero sum game, and is mostly just consuming all excess resources.

The question is why do people feel that this is the best use of their resources? Do they not have any purpose for their lives beyond consumption? Why are people being judged largely based on the consumer products they can afford instead of whether they're a kind person or whether they have a a lot of friends or whether they're proud of their children or any number of other positive things they could be doing?
Build custom code interpreter for LLMs