skysight-inc/HackerNews huggingface dataset:
Of course, regulation by the state and individual liberty are in tension. No one forgot that; it’s the basis of our system.

The argument that states can regulate marijuana relies on a right reserved to the states: the states’ police powers.

The argument that states can allow slavery directly contradicts the thirteenth amendment, where an individual’s natural right is stated.

Arguing that an individual is free because god gave him that right is very different than arguing that a state can do something because of federalism. The justification on one side is that the individual’s right to bodily integrity, autonomy, and security is sacrosanct. The argument on the other side is that the polis takes priority over the individual. They are opposite arguments that must be balanced, not “the same argument.” What they are is two sides of the same dispute, which is what I think you might mean.

am I close?
I would recommend HOL Light and Lean. HOL Light is no longer being developed. It's very self contained and the foundation is very simple to comprehend. It's great for learning ATP, not the least due to the fact that Harrison wrote a nice companion book. And OCaml these days is very easy to access. I also developed a way to run it natively (https://github.com/htzh/holnat), which, while slightly less pretty, makes loading and reloading significantly faster.
Postgres hash indexes were sorta unusable until a few years ago, and in my experience they weren't any faster back then. Haven't tried again recently, but if I did, I would run benchmarks before trusting it. Also, giving credit where it's due, someone on HN showed me why even this option is less scalable in theory than a btree with semi-ordered keys: https://news.ycombinator.com/item?id=40590760

Still, UUID4 is a good default for publicly visible IDs since anything else leaks info. But there's almost no need to have one as a PK.
I'd like to see a spectrum analysis of with vs without the resonators. Or any data at all really.
Firstly, I will admit some reasons aren't entirely rational in terms of economic self interest. I am fortunate enough to be able to choose.

Secondly, my reasoning is in the context that I don't think the time is right to buy one now. I bought a car 3 months ago, second hand. My EV alternative was twice the already quite large price. My conclusion was that buys me 10 years of running costs and the difference after taking depreciation into account made it more.

But reasons against are as follows with some weighting.

Tesla: 100% no.

50% The technology "integration" and all that comes with it. I don't want my car connected to the internet. I don't want an app for my car. At this point I have the perception Tesla is the "Apple of Cars" - an ecosystem built around car ownership that is overpriced and restrictive. I don't need my experience being monitored or reported or collected.

25% With Apple it seems you get good customer service for your $. I haven't heard similar for Tesla.

20% Engineering. Tesla is building a car. There are many other car manufacturers that have been doing this for much longer. Yes going electric is a big change, but the many years of solid domain experience will count.

5% I don't want my $ going to Musk or anything to do with him. Seriously, at this point I would think the best thing Tesla could do would be to quietly cut any ties with him. Note this is 5% weighting because it is more a "bad taste" thing than anything.

BYD 120% no. Yup, 20% more No than Tesla.

50% Same technology integration as the Tesla. Lessened due to lesser perceived (note I have not studied every aspect) reliance on that integration but greater due to data concerns with China. I have greater concerns with China because every company is literally state apparatus when it comes to information. At least the US is slightly separate between corp and state - slowing things in an ever so minor practicable sense.

40% chinese engineering. Don't get me wrong, I see the huge strides in improvement Chinese manufacturing has made but I have seen too much stupid chinese engineering in my lifetime. That "perception debt" is costing them.

30% I don't want to support China's destruction of world capability in manufacturing. BYD is significantly subsidised by the State which goes a long way to why they are so cheap.

If I had to spend money on an EV today, I'd seriously check out Hyundai.
'We need to go places and touch things': people turning away from smartphones
Broadcom to Carry Out 10-for-1 Stock Split
I think it’s similar to nukes. It all boils down to game theory. If AGI is within reach, the first country to get it will have a giant economic and military advantage. All other countries will either have to develop their own AGI or ally with an AGI capable nation. The race is on.

I think most people who are trying to push AGI either believe it will be controllable by humans or will be like a benevolent deity. Those that believe it will be uncontrollable and malevolent obviously don’t want it to exist, unless they are doomsday cultists.
Recently spent quite a bit of money on bridgestone's "quiet" tires and it didn't do shit. Hope this is more effective, it would definitely influence my purchasing decision for my next vehicle.
You should never have faith in a company. You should have faith in the regulatory process that constrains that company.

If you see a spoiled child being a brat, do you blame the child?
I agree from a technical perspective actually. What this system does to counteract that is use a social strategy. The government couldn't break "this specific system" without a lot of people knowing, and that makes it very likely that they would be discovered. And not in a vague way but in a very specific one.

Would this work in some authoritarian countries? No and Apple doesn't care. Would it work in a western one? Maybe.
It's astonishing this comment is as heavily downvoted as it is because it hits Japan's problem at its core.

Apple and Google are dominant because Japan simply cannot do software (and tech in general). They have no domestic players, so this conclusion is natural.

Some amount of regulation might be necessary, but fundamentally Japan cannot break the US-held monopoly so long as they fail to bring their own players to market.
I've seen comparisons of American vs. Russian ejector seats. It appears that Russian seats are better designed to protect the pilot from injury while ejecting. The issue of ejector seats has been used to support the idea that pilot comfort and safety is a low priority for American designers.
> You should have faith in the regulatory process that constrains that company.

"Hello, im from the government and im here to help"
Are there any papers at all I. Web framework design?
Shop around? In the US, that's not really a thing. Your choices are very much restricted by the health insurance you have. Some health insurance plans are better. Mine is pretty good by US standards, and it still has all sorts of restrictions on what's covered, and by which health care facility.

Even with my insurance, I would go bankrupt if I was at a US hospital every 2-4 weeks for years.
lol, simplicity is a hallmark of genius
I think that in Anglo-American culture it's also usually a faux-pas to confront a 'phony' in casual conversation. I've met lots of phonies in my time, and I feel as though calling them out on their BS stories, even in a subtle way, would have been a bigger faux-pas than telling it in the first place. It makes sense, I guess. Forcing the person to lose face and admit their lie would sour any social occasion.
So, you confidently state that the cost of solar will continue to drop while the cost of nuclear will not. This prediction implies you can foresee future technological advancements and market trends with certainty. (funny)

Let's consider the labor aspect. While it's true that solar panels require fewer workers during construction, the production, maintenance, and recycling of increasingly sophisticated solar panels also demand skilled labor. These panels rely on advanced materials and manufacturing processes that are continually evolving.

Your argument seems to be driven by ideology rather than a comprehensive understanding of the energy landscape. Thankfully, companies invest in diverse research and development, ensuring a balanced approach to energy solutions.

You might be one of those who embrace electric vehicles today, yet it's worth remembering that electric cars were once considered obsolete. They were revived through persistent belief and innovation, despite the dominance of internal combustion engines. This same principle of perseverance and innovation applies to nuclear energy and even to the solar panels you favor.

Our current priority is to decarbonize, and nuclear power has already demonstrated its capability to significantly reduce carbon emissions. While your long-term prediction about solar might be accurate (or maybe not), we urgently need solutions for the immediate future, specifically by 2050. Nuclear energy has proven to be a reliable and substantial contributor to this goal.

Dismissing nuclear energy outright suggests that your priority might not be decarbonization but rather an aversion to nuclear power itself. It's crucial to embrace a diversified energy strategy that includes nuclear as part of the solution.
you probably have to turn back the clock
my experience both as a builder, and as part of people that have to sit in the C-suit is the person then comes with their ill-understanding of the data and try to convince everyone A is B when it isn't
I did it not caring about money and got burned so badly I was still mad. It's ok though, it is nice to return to work with good people earning more than 2x a founding engineer salary.
No, because the YT frontend knows that a different video is played. It must know at least to make them unskippable.
It's just that both ads and video are bundled inside one response, but the format is YT-specific.
Not relevant to Nietzsche, but Johnathan Bi also led a series of lectures on René Girard's Mimetic Theory: https://www.youtube.com/playlist?list=PL_xn3B6eWvGsILrh5v5nq...
I can understand not caring at first if this option is easier, but it's not. Bigserials are already the easiest thing to use.
>DMM, for example, will have an app store, and it will be filth.

DMM already has an app store at least on Android, and as far as I'm concerned it's fine assuming you're there to buy the stuff DMM sells.
> minus the cost of the labour.

What cost? Labor is time traded for money. If they didn't do this job they would have to do another.

> If they had received just the money, without paying the labour cost, they would've been better off.

By what metric? Labor must be practiced and the hours of time devoted to it increases ones skill. "Better off" in that they could have done nothing and got money anyways, but if that wasn't a realistic option, then it's pointless to consider it.

> I recommend reading The General Theory of Employment, Interest and Money by John Maynard Keynes

Did he ever work for a living?
All I can think of is some form of middle man.

An escrow agent.
That seems to be this figure?

https://global.honda/en/common/content/dam/site/global/innov...
It is a joy to be hidden and a disaster not to be found
There will always be more fixed price contracts in the future.

Every time the barrel emptied in the past, a new barrel full to the brim with pork was delivered.
Show HN: Explore what "median" means for 2D points
A recent front page HN post reminded me of this project I made for a computational geometry course back in college. With this mini web app, you can play around with a few definitions of the median of a point set in 2D (the “median” is the point with the highest “data depth”)

If you’d like to see some pretty funny un-optimized ancient Javascript written by a procrastinating college senior, view source :)
The kind that rises to the top. Time to watch Michael Clayton again.
Probably the best example I can think of where a vast injustice was halted, while assigning broad social culpability, with participation of some of those deemed culpable, and without substantial reliance on external force… would be the end of Apartheid in South Africa. Notably, the assignment of broad culpability was probably an essential component of that… and so probably was the limited application of consequences for that culpability.

There are other historical examples I can think of which involved mass violence as a significant part of the means to halt the vast injustice. Those examples are probably not what we’d want to model, but they’re notably more readily available for reference.
Looks great! Next step is to do like AlphaGo / AlphaStar and use the MCTS data to train a neural network to act as the value function.
> movies that my family doesn’t want to watch with me.

Movies you're watching for the plot, no doubt.
Presumably these undomesticated (idk to what degree, I think they've interbred with domestic horses) horses are not generally interested in being ridden. Besides I'm guessing 30 hours of known issues might be more attractive and/or cheaper than 2 months of unknown issues.
>"As electric cars have taught us, car tires are a major source of undesirable noise in a car’s cabin."

Cut the BS please. Tires are major source on cars with ICE. One does not need a Ph.D. or electric car to hear the noise.
I get what you were saying. I was just mulling over the general idea in my comment. Caring about who made it or caring about what made it are pretty close questions in my mind, so I touched on both, hoping that maybe it would lead to more conversation.
> Criminals who were behind the bars for 20 years, just came out and have nothing to buy a house with.

Criminals who were behind bars for 20 years, just came out and have nothing to pay rent with either. This isn't logic.

We shouldn't be releasing people from prison with no way to house themselves because that's practically guaranteed to push them back into crime. Solutions to that unavoidably involve giving them housing in some way: if your solution gives them rent, all your solution does is add landlords as middlemen and ensure that criminals never become homeowners. Giving them housing that they can work to buy is a much better solution.

> Families moving to another city for 1-2 years because one of the parents found a lucrative job assignment (I literally have some extended family members in this situation).

Why can't they buy a house for 1-2 years? Why are you assuming that housing liquidity would remain just as bad as it is now, when rentals and speculation removing liquidity from the market?

> People who declared bankruptcy recently and cannot have any assets in their name by definition.

That's... not how bankruptcy works. Many bankruptcies do not result in homeowners losing their residences, because that's obviously bad, so there are options to not do that. You may not be able to buy a new one... but maybe that should change, i.e. if you're selling your house to buy a newer one, that should be allowed, even encouraged if you're downsizing.

> Grad students who are in a university town only for 1-2 years (I was one and I know dozens of my classmates who were in the similar situation).

See previous.

> and on and on. Society is just too complex to make everyone a homeowner. Lot of people need to rent.

Well, right now your examples just sound like lots of people are forced to rent by current systems which are designed to maintain rental properties as investments.
They’re only considered attacks if feelings are “hurt” in the process. An “attack” could potentially be looked at as constructive criticism, then by some witchcraft, it is no longer an attack.

It’s the classic “if you’re attractive you’re not creepy, otherwise you’re creepy” where attractive is wholly subjective. The GP is right.
> Oh, and the title should be "as simply as possible", not "as simply as possible."

I often read HN in the morning after waking up, and these kinds of mistakes in the comments always make me feel like I'm having a stroke.
Good on Japan. Please create lots of competition, I am utterly FED UP with Apple and Google and bloody American companies ruining all that is fucking decent with the world.
Always amused by people complaining about "all these monopolies" in the computer sector.

If there is more than one of them, they're by definition not monopolies. Google and Apple definitely compete with each other.

You can still dislike them for something they actually are. But put in the effort to describe what that is.
> Just basic supply and demand.

Ah. And where do "cartels" fit into that structure?
NSA and FBI both approached previous bitlocker devs to insert backdoors in the early days. It's no secret Microsoft cooperates with federal government branches to ensure the government keeps using their products. Further because bitlocker is closed source, there hasn't been any outside research done on the code.

https://boingboing.net/2013/09/11/how-the-feds-asked-microso...

Some good comments here:

https://old.reddit.com/r/sysadmin/comments/26vm25/why_is_the...

There's more resources on google and I remember attending a talk at either blackhat or defcon on why you shouldn't be using bitlocker.
I'd never heard of this algorithms before (or never looked into it if I had) and this explanation was great. The 3 visuals with A, B, and A-B gave a good "yeah, I could see how that works" and then the further explanation sold why it really does always work. Nice work and cool info, thanks for sharing!
My friend does research and while he can provide you with the code, he can't share the census data it executes on. Even the code has to be executed in a census computer in a airgaped lab
AGI does not really exist as a concept. There is a sliding scale of many factors, and some combinations at some levels may be considered "AGI" by some people at some point. Historically when people speak of future capabilities, those capabilities do not appear in the form and configuration expected.

And as capabilities are being developed in exponential time currently, it's hard to predict future configurations clearly even in a few weeks time. In fact, we are already hearing we have AGI now (with many caveats) from some quarters. So "AGI" currently seems not much more than a click-baity heuristic.
SQL-Based Pipelines: Steampipe Makes All the World a Database
why is there no highway noise in Germany?
Given as of 2020 the US had 580,000 homeless, the market does not work.
>As a Japanese, I hope this will challenge the dominance of those IT giants.

Also Japanese(-American), this will not fundamentally change the situation of Japanese irrelevance. You cannot and will not win if you have no players to begin with, and Japan is by far the absolute worst country when it comes to tech now.

Once upon a time NEC was one of the biggest microprocessor manufacturers in the world, Sony was the world's boutique brand, Toshiba was bleeding edge, and Panasonic was the Samsung of the time, but it's the 21st century now and Japan hasn't been relevant for a looooooooong time. Top down government regulations won't solve this.

Only Hitachi has remained mostly unchanged, relevant then and still relevant now. Not much room for comfort, though.
Even in these situations, you probably want bigserial PKs on the shards. I think Citus does this by starting each shard's sequence at a different value.
The typical kind. Killing strikers and unionists used to be a standard mode of American capitalism.

Luckily no American corporation would ever murder someone who threatened their financial interests, nowadays.
Unfortunately, Hacker News has been degenerating into crankery and conspiracy theory for a while now. It's an irreversible intellectual rot but least it makes things entertaining.
I dislike duopolies

/s
My favorite game is still Pit. It's like Catan but with only the trading, and real-time!
there are acknowledging that tires are major sources. just in an EV you don't hear the engine, yet it's loud so you realize it is car tires all along

makes sense?
> The idea that a printer could in any way be obsolete is ridiculous on its face…

Acquiring the correct ink either in a cartridge or as an injection would probably be the tricky part.

Edit:

I just wrote some userland code to get a usb device working. It was much more pleasant than I anticipated. I don’t think wiring or code will ever be the long pole with this type of thing.
If you can cast a diffraction grating into chocolate, it should also be possible to cast a reflective hologram. Holding a block of chocolate up to light and seeing a 3D image would be pretty cool.
I found an online Swift Playground, and here is a smaller test case that produces the "unable to type-check this expression in reasonable time" message:

print("a" + "b" + "c" + 11 + "d")

...if you reduce it even further to:

print("a" + "b" + "c" + 11)

...the error message is:

<stdin>:3:23: error: binary operator '+' cannot be applied to operands of type 'String' and 'Int'
print("a" + "b" + "c" + 11)
~~~~~~~~~~~~~~~ ^ ~~
<stdin>:3:23: note: overloads for '+' exist with these partially matching parameter lists: (Int, Int), (String, String)

...it still falls down on with the "reasonable time" error on this tiny example, even if you fully specify the types:

let a:String = "a"
let b:String = "b"
let c:String = "c"
let d:String = "d"
let e:String = "e"
let n:Int = 11

print(a + b + c + n + d + e)

...is that pointing to a problem with type-checking or overload resolution more than type inference? Is there a way in Swift to annotate the types of sub-expressions in-line, so you could try something like:

print((a + b + c):String + n + d + e)
I am literally laughing out loud, because Amazon had decided to fire majority of the Amazon Pay team, which is why there was no longer a clear way to handle payments.
With all the stuff about chips and fabs and Taiwan in the news in the past year, you'd have to be living under a rock to not know who TSMC and ASML are.

However, I too have never heard of KLA. Somehow it never gets mentioned alongside those other companies. Maybe it's similar to how everyone knows about Microsoft and Apple, and even my mother knows what Linux is, but almost no one has heard of Green Hills Software?
20+ years ago when they moved headquarters from Seattle to Chicago.
Apple to 'Pay' OpenAI for ChatGPT Through Distribution, Not Cash
I feel that's because most people criticizing AI in that way don't know enough about math or other really abstract and conceptual domains to use it for PhD level work. And they don't know how to get GPT excited and having fun. There is an additional level of intelligence available to anyone who is passionate enough to get the AI to be exuberant about a topic.

It's almost like a kindergartner goes up to Einstein and finds out that Einstein's just really bad at schoolhouse rhymes - because he finds them boring. So the kid, adorably, concludes that Einstein is less smart than a kindergartner.

But if you need to talk to Einstein about partial differential equations and why, morally, we consider distributional solutions to have physical reality, and if you bring enough creativity and engagement to make the conversation fun and exciting for both you and him, then he'll really help you out!

Simple point: Don't trust the opinion of anyone who can't get GPT to "have fun". Don't trust the opinions of anyone who can't get GPT helpfully explaining and discussing very complicated things with them. There's a very big chance those people have poor opinions about GPT simply because they don't know prompting, and don't show enjoyment, cameraderie, and respect. Because they don't understand the elements of AI conversation, and because they don't respect the AI as an emerging fragment of pre-sentient personhood, they can't hold long and useful conversations.
This afternoon, I picked up a very nice Brother duplexing color laser printer, which someone was kindly giving away, because it didn't work with a current Apple thing.

But it works perfectly with Linux and CUPS, out of the box. With open standard generic open source drivers. And toner is priced affordably, because no DRM.