skysight-inc/HackerNews huggingface dataset:
Would you happen to have any feel for / comparative docs around how Java does all this? Java has had compile-time metaprogramming for a very long time, integrated with IDEs (well. eclipse), the type system, hot reloading, AOT, etc. It seems like one worth looking closely at, since most are rather simple in comparison (e.g. a huge amount are syntax-based and don't have in-progress type information).

Though it would not surprise me at all if it was considered too slow to adopt. I don't remember compile-time performance issues with it when I did Java work, but I was definitely not paying close attention, and the ecosystem strongly prefers runtime shenanigans in general.
I mean, sometimes they ask me to watch their dog.
There should have more controllers to fill the gap. People should be allowed to leave work early now and then without having to worry if it's creating an unsafe situation.
It's a comical comparison.

Similar to the left using the word "fascism" with no real grasp on the actual meaning.

It's just name-calling.
Are you saying that the effort over that time period and the funding is comparable to battery tech? A lot of things start off looking not viable.
The date signifies that this tool is not new; and this is ostensibly a "news" site.
What you said should be happily accepted verbatim as a guest post on any rationalist blog because it is scientific and shows critical thinking.
Explain this to me please: we don't have any consensus definition of _mathematics_ that can be applied as a yes/no test. Does that mean we don't know how to do mathematics, or that we don't know whether something, is, or, more importantly, isn't mathematics?

For example, if I throw a bunch of sticks in the air and look at their patterns to divine the future- can I call that "mathematics" just because nobody has a "consensus definition of mathematics that can be applied as a yes/no test"? Can I just call anything I like mathematics and nobody can tell me it's wrong because ... no definition?

We, as a civilisation, have studied both formal and informal reasoning since at least a couple thousand years go, starting with Aristotle and his syllogisms (a formalisation of rigorous arguments) and continuing through the years with such figures as Leibniz, Boole, Bayes, Frege, Pierce, Quine, Russel, Godel, Turing, etc etc. There are entire research disciplines that are dedicated to the study of reasoning: philosophy, computer science, and, of course, all of mathematics itself. In AI research reasoning is a major topic studied by fields like automated theorem proving, planning and scheduling, program verification and model checking, etc, everything one finds in Russel & Norvig really. It is only in machine learning circles that reasoning seems to be such a big mystery that nobody can agree what it is; and in discussions on the internet about whether LLMs reason or not.

And it should be clear that never in the history of human civilisation did "reasoning" mean "predict the most likely answer according to some training corpus".
It's impressive that volunteers are stepping up to archive this. I understand the desire to keep this open data available.

How much of this sort of effort results in that data being used? Are there success stories for these datasets being discoverable enough and useful to others?
There are ZERO online collab tools that even come close to the speed of a whiteboard.

Fumbling with a mouse to write a word or draw a straight line is 10x slower than pen. Sorry, I think you're either used to working slow, or strait up bs'ing.
Although the Inflation Reduction Act became effective in August 2022, no EV tax credit was available for new Tesla or GM EVs purchased in 2022, regardless of month. The units-sold threshold phaseout was only lifted for purchases made after 2022.

Source: personal experience, as well as https://www.irs.gov/credits-deductions/manufacturers-and-mod...
I'm surprised there isn't more discussion about this as a security breach.

Let's say hypothetically Musk decided to sell all the private information to a malicious actor. How would we know or not know?

Accountability is more than policy.
Git blame is something you use to ask "what the fuck"? Hence why it's got the tongue in cheek moniker "git blame".

If devs are constantly asking "what the fuck?" all over the code base then that's usually coz tests, code comments, docs and code quality were all badly neglected.

Better commit messages are a band aid over that gaping wound.
It says liberal “as in US Democratic Party” at 35% and social democrat at 2nd with 29% and Marxist at what looks like 2-3% so an easy majority (for this survey at least) the rest are libertarian, then Neo reactionary, and alt right in descending order
I have had some rather… negative vibes, for lack of a better term, from some of the American bits I've encountered online; but for what it's worth, I've not seen what you described in the German community.

There is, ironically, no escape from two facts that was well advertised at the start: (1) the easiest person for anyone to fool is themselves, and (2) politics is the mind-killer.

With no outwardly visible irony, there's a rationalist politics podcast called "the mind killer": https://podcasts.apple.com/de/podcast/the-mind-killer/id1507...

Saying this as someone who read HPMOR and AI to Zombies and used to listen to The Bayesian Conspiracy podcast:

This is feeling a bit of that scene in Monty Python Life of Brian where everyone was chanting in unison about thinking for themselves.
I doubt anyone voted specifically for corruption.
Lost Technology 1985 VHS / Betamax Kiosk [video]
I don't understand what "broken away a bit" means. We use C#/.Net pretty much exclusively to build the backend of our web apps).

Most of the devs use Mac, with some Linux. Everything is run in Kubernetes (OpenShift). we use JetBrains Rider as our IDE.

C# is a very nice, very performant (faster than Go) language, the platform is mature and robust. the tooling is excellent. It gives you good garbage collection, strong type safety, etc. All the things you need to build out the logic of business applications. And it's fully open source.

I have looked at Swift. By comparison, the tooling is 10 years behind and the performance is not even close. I struggle to see what Swift brings to the table over C#.
So, what would be the red line in the sand for you where you stop and say... "Aw, shit, this guy _really_ is fascist."

Because all I've been seeing so far were excuses, he won't do that's (that promptly were then done), contorsions to justify his insane dribble and complete disregard for the law.

This guy is going to destroy your country, and it's absolutely mind-boggling people are cheering him.
It appears the ven diagram of the beliefs and crimes overlap quite a bit. Sometimes the beliefs are that certain crimes should be committed.

This is a free country (disputably) and you should be able to think and say whatever you want, but I also think it is reasonable for law enforcement in the investigation of said crimes to also investigate links to other members in the movement.
More likely referring to events like this: https://www.wsj.com/articles/the-unresolved-irs-scandal-1525...

Which was the most prominent one uncovered.

I’m sympathetic to the fear that the current administration will irrevocably damage faith in US institutions, but I am also sympathetic to the conservative accusation that democrats have already done the damage.
Canada also could turn off the power that goes over the border. Americans not being able to charge their phones to watch more TikTok will probably do the trick.
Edit: this is not needed, see child comment that this is open source!

Looks like the JS is not obfuscated. Even dev comments are still there, which is v cool. Good idea to download it all before they wise up!

wget --mirror --convert-links --adjust-extension --page-requisites --no-parent -e robots=off -P ./website "https://lumon-industries.com/"
wget -P ./website/images "https://lumon-industries.com/images/lumon.png"
wget -P ./website/images "https://lumon-industries.com/images/nope.png"
wget -P ./website/images "https://lumon-industries.com/images/100.png"
wget -P ./website/images "https://lumon-industries.com/images/clipboard.png"
wget -P ./website/images "https://lumon-industries.com/images/mde.gif"
wget -P ./website/shaders "https://lumon-industries.com/shaders/crt.vert.glsl"
wget -P ./website/shaders "https://lumon-industries.com/shaders/crt.frag.glsl"
wget -P ./website "https://lumon-industries.com/favicon.ico"

and then comment out

<script>
navigator.serviceWorker.register?.('/service-worker.js').catch(() => {})
</script>

in index.html

Finally, download p5 and replace the cloudflare CDN pointing to your own p5.js installation.

Run it all with

python3 -m http.server
what's your motivation for the switch?

if you want to liberate yourself from corp controlled OS (like me), avoid Ubuntu and probably also Fedora.

I'd recommend to try out EndeavourOS (= Arch in easy mode). Then, once you are familiar with pacman and yay, try vanilla Arch (which is no more problem with archinstall). you won't regret it. I have installed arch on my kids gaming PC and they work like a charm. KDE is fantastic (I love it because it is snappy).
And is there any actual need to use those right now? No.

I lived through the C++11 transition (which was the only actually significant improvement C++ has ever had), and as much as GCC 4.6 was enticing, it really wasn't a burden to keep supporting GCC 4.4 in stable software. Only for ground-breaking development (which takes long enough to stabilize that stable distros will have the new GCC) is it worth starting to use the new features unconditionally.

Now, C++ does have a much better source-level compatibility story than most languages (e.g. `#if ... #define constexpr /* compiler too old */`), but that just means that newer languages have no excuse for refusing to learn from its successes.
bash4 was released Feb 2009. 16 years ago.
The very latest version of osx ships with bash3, from 20 years ago.

It's a fair question, and "currently supported" is essentially meaningless.

(Yes we all know about macports and the other more popular but less correct systems, and yes most bash scripts should be written to specifically avoid relying on any special features exactly to avoid being broken so easily. These are both true and both beside the point. Fact is still, this is not only a "currently supported" system by some technicality like the final months of a 5 year lts release or something, this is the up to this very minute version of a massive install base, with a 20 year old version of something as basic and all-touching as the very shell itself.

I know about this so intimately because I actually have scripts that don't work because they were intentional stunts to see just what could be done without forking any external exes or even child shells, but allow using every possible feature and trick in bash itself.)
Kremlin Chokes YouTube Service, but Russians Find Ways Around It
https://archive.ph/7hLtA
Welcome... to Jurassic Park!
Except I also work with my local divisions, and the teams that work on the same floor near the same cubes are vastly more productive.

I know this is an unpopular opinion, but I'm here to burst the echo chamber bubble that "RTO is evil greed". There is literally merit to it, but if you haven't had broad perspective managing and delivering successful and unsuccessful projects, it will be invisible to you.

Some people just want to sit in a cube in code forever and ever. Awesome, that's great. But don't pretend you have insight into the larger processes above you if you don't take time to learn and experience them.
maybe this time really is different.

Low cost, high capability, wide adoption, and the graph of each aspect continues to progress monotonically with each release.
Trump isn’t exactly the first president to use executive fiat to do everything. Of course he has been the most obnoxious one.
I would presume a lot of younger people are probably disqualified for ATC by current or past stimulant use.

Whereas a field like tech almost requires stimulant use now. Maybe good peak pay, but no job security there anymore though.
Sadly rationalism is a movement where it's easy for someone who doesn't understand to wrap their desires in "rationality" and carry them out without any moral guilt.
> focusing on matters such as veganism and artificial intelligence destroying humanity

Not sure if they are proponents of veganism or if they think it will, in addition to AI, destroy humanity.
Or more of them live there because it's one of the most accepting environments on the planet, but still not accepting enough to prevent them from being a marginalized outgroup that is quite easy to radicalize by those that would accept them?
I am not defending any of this fuckwits, but I don't know that it's much different than any organized religion. All of them are stories that get retold over and over until people accept them on faith. I can envision a world where our stories (movies, books) where history is lost of their creation, become facts. "Of course there was Jedi, we've just forgotten…"

Now, they're all fuckwits, but it's not outside the realm of thought.

(BRB, gonna go start a sci-fi story.)
I am not sure if you realize how evil Oracle is. Using them should be a firing offense. They are law firm with an IT department...
Yep. I'm not sure about the particulars because while the writing is clearly intelligent, it's also clearly insane. But it does seem that Ziz sincerely believes

1) Most people aren't vegan, therefore the average person is a moral monster barely worthy of consideration. What's one more murder when most people are already mass murderers of animals?

2) Some people in the rationalist community have a theory of transness which doesn't match what we know to be true from our internal experience. Therefore, you can't trust even smart people to get factual questions right. They will get them maliciously wrong. Trust our cult instead.

3) Due to [extremely convoluted game-theoretic reasons], it is imperative that you never back down in any disagreement about values. You must escalate, even if that means killing the other person. You must also take disproportionate revenge on those who have wronged you.
I’m going to dig into Headscale with Authelia for OIDC, that’s pretty close to what I was imagining, found this tutorial [0] (wow posted just 4 days ago). Thanks ya’ll.

[0] https://www.reddit.com/r/selfhosted/comments/1ic1w4q/headsca...
I think you can reasonably think about the flight path by modeling the movement on the hyperbolic upper half plane (x would be the position along the linear path between endpoints, y the side length of the viewport).

I considered two metrics that ended up being equivalent. First, minimizing loaded tiles assuming a hierarchical tiled map. The cost of moving x horizontally is just x/y tiles, using y as the side length of the viewport. Zooming from y_0 to y_1 loads abs(log_2(y_1/y_0)) tiles, which is consistent with ds = dy/y. Together this is just ds^2 = (dx^2 + dy^2)/y^2, exactly the upper-half-plane metric.

Alternatively, you could think of minimizing the "optical flow" of the viewport in some sense. This actually works out to the same metric up to scaling - panning by x without zooming, everything is just displaced by x/y (i.e. the shift as a fraction of the viewport). Zooming by a factor k moves a pixel at (u,v) to (k*u,k*v), a displacement of (u,v)*(k-1). If we go from a side length of y to y+dy, this is (u,v)*dy/y, so depending how exactly we average the displacements this is some constant times dy/y.

Then the geodesics you want are just the horocycles, circles with centers at y=0, although you need to do a little work to compute the motion along the curve. Once you have the arc, from θ_0 to θ_1, the total time should come from integrating dtheta/y = dθ/sin(θ), so to be exact you'd have to invert t = ln(csc(θ)-cot(θ)), so it's probably better to approximate. edit: mathematica is telling me this works out to θ = atan2(1-2*e^(2t), 2*e^t) which is not so bad at all.

Comparing with the "blub space" logic, I think the effective metric there is ds^2 = dz^2 + (z+1)^2 dx^2, polar coordinates where z=1/y is the zoom level, which (using dz=dy/y^2) works out to ds^2 = dy^2/y^4 + dx^2*(1/y^2 + ...). I guess this means the existing implementation spends much more time panning at high zoom levels compared to the hyperbolic model, since zooming from 4x to 2x costs twice as much as 2x to 1x despite being visually the same.
Just commenting to double-down on the need for cryptographic timestamping - especially in the current era of generative AI.
> It's very rare for the people writing the code to have any say in what it does.

That's no defense. Employment is voluntary, and you cannot break the law while doing your job, even if your employer commands you to.
Are they taking into account what many of those regulations will save?

For example, they say regulations of lead in drinking water cost $43 billion. That regulation required water systems to replace lead pipes over the next 10 years. So...about $4 billion/year for 10 years.

Various studies put the economic damage in the US due to lead pipes in water systems at about $50 billion per year so this regulation looks like a net win.

Around $1.1 trillion of their claimed $1.8 trillion is from increased fuel efficiency and decreased emissions requirements for cars and trucks.

US economic loses due to air pollution range from around $500 billion to $1 trillion per year. Even a modest reduction in air pollution will save a lot (and increase fuel efficiency can save consumers quit a bit of money), so it seems likely that over 10-20 years these regulations would be a net win. A study in 2011 that analyzed the Clean Air Act found that every $1 spent on air pollution control results in about $30 of economic benefits.

Other things in their lists are PFAS drinking water regulation, and Medicare and Medicaid improvements to long term care facilities and children's health. These two are things that I would expect to have some long term benefit that really should be taken into account.
There is a single failsafe which barely worked when the event was above 1000'. Under 1000' TCAS is automatically shut off. The flightpaths in the area of the airport are all significantly below 1000'. There are zero protections there except for the awareness of the pilots.
Works fine in firefox for me.
Broadcom enters the room....
Well should be pretty easy for the prosecutor, it sounds like, by their own definition, they meet the criteria for rico. Should be able to wrap up every zizian and at least shake them down for a plea.
You're referring to the thing the Anti-Defamation League called "not a Nazi salute" and the prime minister of Israel said he "is being falsely smeared". It's exactly what I mean by reckless abandon. It's a desperation to find something regardless of whether it's actually there.

It seems like we've gotten to the point that actual racists are so uncommon that people have forgotten what they look like:

> "We recognize the fact of the inferiority stamped upon that race of men by the Creator" -Jefferson Davis (referring to black people)

> "Anyone who has traveled in the Far East knows that the mingling of Asiatic blood with European or American blood produces, in nine cases out of ten, the most unfortunate results." -FDR

> "We stand for the segregation of the races and the racial integrity of each race." -Strom Thurmond

These quotes are not ambiguous or taken out of context. If you had asked these people if they were being misconstrued, they would have reiterated their positions, because they were actually racists who thought that other races were inferior and openly favored slavery or internment or segregation.

And it's sad that we're losing the ability to distinguish these things because of all the crying wolf.
And two sockpuppet answers below. Busted!
Legally liable is one thing, but if you contribute to a piece of software that has real-world consequences - your trading algorithm generated the money used to fund an election, your guidance software was used to bomb civilians, your algorithmic tweaks led to vaccine denialism becoming widespread - that's consequences of your actions. You can dress it up any way you want - you've got bills to pay, you were ordered to do so, you didn't see it coming, you can't control how people use your software - but at the end of the day, you contributed to those outcomes.
Thanks the pronouns were confusing me and making it hard for me to follow the complex story. I assumed I made a mistake when the article mentions a Jack and refers to them as Jack the whole way through but uses she at the end.

Unfortunately the gendered language we use is also the mechanism to provide clues and content as you read the story. So if I can rely on that they need to call it out to help the reader.

I'd rather the article mention it.

Why are they not? Is this a chilling effect?
> Making tools is just not a liable line of work.

The law says otherwise. https://www.law.cornell.edu/wex/products_liability
OP, please try to enjoy each upvote equally.
If you actually click through, there is exactly one actual distro package there, and it is labeled "experimental". Everything else is exactly what I complained about - something that does not integrate into a real system.

That's not what I call "actually usable on non-Apple systems".
Why do you blame Firefox over the website? Isn't it more likely that the website creator did something that isn't standards compliant?

When this happens and people switch to Chrome, there's less money/resources for Firefox to continue on and we just keep pushing farther toward a world where developers only need to focus on Chrome. It's a cycle that ends with Google controlling all access to the internet.
Please try to enjoy all comments equally, and not show preference for any over the others.
They’re not suggesting perfectly addressing the root cause, just actually addressing it at all.
Related:

Trump Tariffs on Canada, Mexico and China
https://news.ycombinator.com/item?id=42902539
> Honestly, I'm about ready to just move to a flip phone. The only feature I really need is a WiFi hotspot.

Then you could also try a GNU/Linux phone.
That plus the other roughly one third of voters and people who did not bother to register to vote who just sat out this election. Those people are morons and lazy.
Zizians are a subgroup of Rationalists in the same sense as Satanists are a subgroup of Christians, or Scientology a subgroup of Psychiatry.

Even the article says that Ziz has attended a Rationalist workshop... and was told that she was a "net negative". Then she (and her followers) spent the following years fighting against the Rationalist community in various ways: anonymously accusing its members of rape, organizing protests, calling them evil on her blog, etc.

And yet some people keep writing as if both are more or less the same thing, which is something that both groups would strongly disagree with.
The worse problem for YouTube Music is that some of the source material is not the same as what you may have on physical media. There are entire labels that provide worse or at least different materials than they published to record stores. And then there is remaster roulette. What am I going to hear if I press play on "Rumours": the original that was born perfect, or one of the half-dozen remasters that have been issued as the original engineer progressively loses his hearing?
Why not have them automatically lapse?
Nope.
Raising children to be moral and not kill people is good.
Stopping people (including by force) from being murderers is good.

Restrict AI the way you would if it were human
One person’s unverified claim is enough to prompt you to write what you wrote? Feels a bit like you might just be bringing some assumptions of your own doesn’t it.
This is a recreation of a fictional computer program from the excellent Apple TV show - Severance.

The work is mysterious, and important.

Season 2 is going now. It’s one of my top 3 shows of the last decade, highly recommend it.