skysight-inc/HackerNews huggingface dataset:
I mean, I've got my feelings about formal methods, so the implications about people going to technical conferences to talk about Coq are spot on.

As a relatively unenlighted person on the topic of nasty slurs, I apprechiate the tipoff that using the name of a cultured milk drink sounds uncultured. Although, I tend to name things with overworked puns, so there's that.
It depends what you mean. Of course the mechanisms under their control are mostly about legal interpretation and Constitutionality. If you read a lot of Supreme Court opinions you'll see that the justices do care about outcomes to a large degree.
Commercial and Industrial applications are one of the reasons they're so difficult to get your hands on at the moment - https://www.raspberrypi.com/for-industry/
Ruby and Python aren't data oriented. Python specifically was designed and used as system scripting language and Ruby was designed as an improved Python. Python only came to be used for analytics (as well as web and app development) because people made libraries for it. It could have been another language. Nim and Crystal could be utilized to write the underlying libraries (being performant static languages) but it will be hard to serve as exploratory frontend like the previous due to lacking interactivity. In contrast Julia can fulfill both the role of the underlying and the frontend language.
> unless I guess you birthed all the drivers from the same DNA into a test tube and controlled every aspect of their training and development.

I'd watch that movie.
> Pretty much all governments (and all western governments especially) spend far more than they can bring in as revenue.

No, they tax the rich and corporations way too low. Back in the 70s/80s, in Germany almost every little village had enough tax base to fund the construction and operation of swimming halls, there were massive buildouts of all kinds of infrastructure from railways over highways to gigantic airports, everyone got decent streets, electricity, water, phone lines and other utilities. All funded with taxpayer money, as investors in infrastructure simply were not a thing, not even legal.

Then in the 90s, neo-liberal privatization vandals sold off everything to the highest bidder, and now the owner class keeps skimming off profits while socializing losses (e.g. by having the government pay for Kurzarbeit/paycheck protection programs) in crisis time.

Additionally, the CEO wage gap exploded - from 20:1/1965 and 58:1 in 1989 [1] to 670:1 last year [2], and on top of that comes crap such as share buybacks which only serve to benefit the elites.

[1] https://www.epi.org/publication/ceo-compensation-2018/

[2] https://www.theguardian.com/us-news/2022/jun/07/us-wage-gap-...
> Protester: "6 unelected officials can't decide what I can do!"

> Supreme Court: "That's literally what we just said!"

Bullshit. The court was perfectly happy telling millions of people they had no right to an abortion. They’re just a bunch of partisan hacks
Does this produce ozone?
Even when they had a filibuster-proof majority, they didn't have a majority that believed in abortion rights. Some of the democrats in obama's brief filibuster proof session were pro life. Even now, at least 1 democrat senator is pro life.
Perfect for this site then
So, to go even more nerdy on this idea, create a microphone array and steer the input precisely at your mouth. Bonus, you can program the FPGAs to do this yourself!
You're being straight up realist here.
According to their privacy policy (https://mycroft.ai/embed-privacy-policy/):

"*When you use our Services including the Mycroft Voice Assistant, your voice and audio commands are transmitted to our Servers for processing.*"

So it appears that STT is still cloud-based, which is a pity. That's the only thing keeping me from ordering one today.
This was only true from UE4 onwards. Unity started pressuring Epic when their latest product was UE3.
> As a gun owner, sure there is. If your gun shows up in a crime, you get indicted as well. That would put a big dent in people being willing to buy guns for others.

So again, as many others have said, if your gun is stolen then what? You’re implying that if your gun showed up at a crime scene you’ve done something wrong, which is clearly not true in many cases.

All this will do is decrease gun ownership due to liability.
Science is pretty well defined, just (some!) STEM students have issue following the line from epistemology to statistics.
I'm old enough to remember when I could grudgingly accept that there was some wisdom in decisions I disagreed with, even if perhaps not enough to sway me. But I could see something argued intelligently.

This is just nakedly partisan stuff going on. I think viewing it through that lens - "we're going to do what we want because it fits our politics" - makes the most sense.
Don't pick a country that's between the tropics of Capricorn or Cancer, or you'll just be escaping to a hellscape shortly anyway.
Yeah... It's pretty clear they looked at his tik tok and the racial comments are why he got fired...

https://twitter.com/DNetxy/status/1541568953805406209

Bought an NAAPC shirt so he could fit in with, "Those people" at his gym in the Bronx better.
You could. Maybe not slack but google doc you can. But it just feels not built for this purpose. Along with the extension I'm developing this would let you share with 1 click and get notified in realtime if you want etc. It's a more purpose built app I guess.
> The future I fear is one with a new anarcho-libertarian power structure that lacks transparency, accountability, and is the antithesis of democracy.

That's the money quote (around which most of the article revolves), and my response to it is simple:

I love watching privileged people squirm.

Anarchism (and more broadly libertarianism) is the realization of transparency, accountability, and democracy to their greatest extremes - even (hell, especially) when those extremes conflict with the capitalist status quo. The author, being "one of the top investors in Israel", has a vested interest in convincing the rest of us otherwise, such that we continue to buy into the legacy financial system that's actively failing (if not outright exploiting) people even in developed economies, let alone developing ones. He half-heartedly tries to address this in the postscript...

> I know crypto has been helpful for remittances, refugees, dissidents and even non-profits, but that has very little to do with the trillion-dollar crypto economy that has emerged.

...but he's flat wrong here, too. Cryptocurrency's usefulness for remittances, refugees, dissidents, and non-profits is exactly why that trillion dollar industry emerged in the first place, and the fact that it's leaving rich and powerful people like him shaking in their boots is the best advertising said industry could ever hope to get.
It is impossible to keep partisanship out of the court, so it is a lot like a second version of Congress.
Show HN: Math logic/reasoning self-education with embedded deductive tool
The https://prooftoys.org/ website presents logic and basic mathematics
of the real numbers. It includes a practical embedded deductive system
for learners whose background may be just ordinary high school mathematics.
The site includes:

1. An introduction to logic through pictures, basically interactive Venn
diagrams with explanation. This is a point of view on propositional calculus.

2. A brief presentation of the rules of the logic of "simple type theory" at a
raw beginner's level.

3. A number of completely rigorous simple proofs, some in pure logic,
and some about real numbers, starting from the classic "complete ordered
field" axioms that define the behavior of real numbers. The proofs are all
done by computer from the ground up using the logic and axioms
(with a handful of gaps). The proofs are all available for reading
online, down to any level of detail, interactively, and at the reader's discretion.

4. A web-based tool that lets you build and edit your own proofs.

I am seeking user input on the site, and will gladly answer all kinds of
questions as far as I am able.
Peak HN submission here. Fails to realize people are not like the author and have an issue with wearing a collar that applies not so subtle pressure on the throat to optimize for a problem that really isn't a problem that needs to be solved. Oh wait I'm also suscepti-
Just in case you're wondering whether Urbit is worth looking into, let me save you the trouble: no. Just, no. Urbit is a cult. All of its artifacts are deliberately obfuscated in order to instill a sense of community into those who climb the learning curve. It has no actual technical merit whatsoever.

Here is a clue:

> We’re running a cohort class of App School to teach you how to terraform Mars.

No, you are not going to terraform Mars by writing apps. No one is going to terraform Mars. Terraforming Mars is a pipe dream. We humans can't even get our act together enough to stop ourselves from de-terraforming earth. [UPDATE: turns out they are not actually talking about teraforming Mars. But the invention of a private language to identify the in-group is one the hallmarks of a cult.]

Sorry if this is rant-y but I've been watching Urbit since its inception and I am absolutely dismayed at how many otherwise smart people are wasting their time on it.
It might be obvious, but I feel like it's lost due to partisan motivated reasoning. eg. when your preferred party doesn't control the senate, then the filibusterer is an important part part of democracy that forces widespread consensus, but when your party does control the senate the filibusterer is a undemocratic tactic used by the minority to obstruct the majority.
How does the efficiency of ion-drive compared to electric motors?
We have a long way to go before we can reasonably be compared with Venezuela.
I really don't understand the decision. In my mental model the executive branch exists to implement the laws that Congress passes, Congress deliberately leaves leeway in laws to give the executive branch flexibility, this flexibility has been previously affirmed by the court decision Chevron v. NRDC.

This decision seems to give more power to Congress but on net I think it makes the laws Congress passes weaker because it strips away the effectiveness of the implementation.
> you don't think there's any science showing that these factors are relevant to physical and mental health?

I’d be curious to see it. Why those factors but not others? Why is spirituality segregated from cognitive or mental health, broadly? How are these terms experimentally defined?
Scan Viewer
I find Bitcoin fascinating and to be a really important technology development, but the culture that's evolved around it is a real turn off. I thought this was spot on:

"It’s clear that there’s an awful sickness pervading the Bitcoin space. Most Bitcoiners are normal, good people. For the vast majority of them, there’s no lifestyle associated with owning Bitcoin, as it should be. But there’s a subset of people — a small, flailing, shrinking group — who are mostly new to Bitcoin, made Bitcoin their entire personality, and became completely emotionally invested in it. They are spoonfed on a diet of the same half dozen thinkers, and suffer from an ideological monoculture. They cannot extricate themselves from their lifestyle/investment, and so when anyone in the tribe or adjacent says anything that remotely contradicts their established dogma"
Oh man, I was just coming here to say that.

I seem to remember first hearing about these "lifters" in highschool, so that would have been late 1990s. But that recollection is based solely on remembering the dumb friend I had who thought it would be a good idea to try to make one, not knowing anything about high voltage electricity.

Luckily, we were also too distracted by video games to go dumpster diving for a CRT or microwave transformer.
Late reply so you probably won't see this, but how so? They are extremely reliable, extremely common (parts availability top notch), ammo availability is second only to a 9mm pistol, it's extremely easy to shoot accurately, and the ergonomics are the best out there.

Obviously the ergonomics argument is a little subjective, but I've trained with several rifles, and everyone performed best with an AR platform. Instructors say this is very common.

That being said, this line of conversation reminds me of the 9mm / .40 / .45 debate. Maybe relevant in 1990, but gap between everything is so narrow now it's a historical argument.
This is definitely a question I get, both because people are worried I might go out of business (less of a concern now that my company is more well-known), and because they're worried I might get acquired (more of a concern as the company's profile is growing).

It's possible to use the latter concern in your favor — let people prepay for longer periods for guaranteed access, if they're they're worried about this. It's a good sign!
Hacker News is not a place for "reactions" - it's a place to have thoughtful discussions about interesting and weird things (and startups). Toplevel comment added negative value to Hacker News (as I now have to put up with it being the top comment thread in what was otherwise a mildly interesting comment section) and was an emotional knee-jerk reaction that broke this section of the guidelines:

> Be kind. Don't be snarky. Have curious conversation; don't cross-examine. Please don't fulminate. Please don't sneer, including at the rest of the community.

It would be nice if we could keep this kind of low-effort, Facebook-esque fluff out of Hacker News.
When people complain about unelected bureaucrats, what they actually mean is that they are unhappy that the executive is doing its job, while the legislature, which has the power to change the direction of the executive, is choosing not to change that direction.

Its some weird Schroedinger's legislature, where it is legally empowered to direct the executive, it chooses not to, and somehow, that choice is the executive's fault, and we need an activist judge to rescue us from it. Instead, of the normal process of 'if the legislature is unhappy with the direction of the executive, it could just issue a course-correction by passing a law'.

The republicans know they can't pass that law right now, so they are using the courts to avoid having to pass it. Then they'll seize control of the legislature in the midterms, and they won't need to pass it. The beauty of having a stacked court, is that you can sit around and do nothing, and not have to write any unpopular legislature, while you sit around and lay all the blame for any consequences of bad governance on appointed-for-life judges.
OK, maybe the Mona Lisa was not a good example. But if somehow Da Vinci had produced a billion copies of the Mona Lisa it would not be nearly as valuable! My other point in that paragraph was that if a country prints more units of currency the value goes down, so scarcity is important to value.
> We’re running a cohort class of App School to teach you how to terraform Mars

Why is the Urbit project completely unable to produce anything approachable, set any practical goals, or explain anything in terms of existing approaches?

It seems like an extreme level of hubris to think that Urbit is so far beyond the current level of technology that everything must be started from scratch. I've bounced off Urbit because of the tech and documentation a number of times now, and I would like to think I'm capable of understanding and appreciating the need for this sort of thing.
>>This is a massive blow to the US being able to reach emissions targets.

Whose targets though? 'Shouldn't we the people' have a say? i.e. shouldn't congress actually hold the hearings, digest the info and go on the record voting for or against important items?

We don't let the IRS set tax rates, we should not let unelected bureaucrats decide what the environmental goals are - elect people you think represent your priorities, have them go on the record supporting or opposing important decisions, and then pass a law the establishes frameworks to the agencies in charge under which they operate.
How do you write an entire opinion about delegation without mentioning Chevron? As the dissent points out, that delegation is inherently required to do the EPA's job and the court has previously accepted their technical and policy expertise in this area.
Blockchains are a public database of all transactions. Law enforcement don't even need a warrant to get access to literally everything that has ever happened. Why anyone would think that a system like that offers any actual privacy is beyond me.
> Why is your grief falling specifically on the Coinbase

There is simply no underlying value within any of these coins. Why would a sane person invest in them?

With regular stocks, you have at least some sort of insight on how an underlying is performing.
Please do not equate the parties. It is incredibly naïve to see two parties that aren't perfect and somehow wave your arms and say they are equivalently bad. They are clearly different both in terms of their policy objectives and their willingness to stay within the realm of truth and science.
No, we will not regulate gun ownership based off suicides. Suicidal people will do what they do regardless of if guns are legal. Do not remove rights of others because of an overwhelmingly small minority.

Fund mental health if you want to help the suicidal people.
Nothing is deprecated, they just recommend Swift and SwiftUI for new apps.
And while they could deprecate UIKit in ten years or more, C and C++ won't be deprecated any time soon, they just starting working on Swift and C++ bridge too.
But then it’s all very self-contradictory. How are people supposed to have faith in the court when it makes a decision, reaffirms it many times over nearly 50 years, then just changes its mind on a dime?

The judicial branch has a responsibility to itself for self-consistent reasoning, which it has completely abandoned this term.

The court is not supposed to change dramatically with every election, that’s what the legislative branch does. And yet, the court did.

It’s legal of course, the court can do what it wants. But it can (and has) lost approval and legitimacy, which at the end of the day were it’s most valuable currency.
Because they're uncomfortable and I don't want to wear a collar (or take one off and on repeatedly throughout the day)?
A number of people on both sides of the issue have noted that the country was on an arc toward more liberal abortion laws before Roe. When SCOTUS steps in and decides issues without a solid Constitutional basis it interferes with the consensus process of democracy and produces division. The same is likely true with the other privacy rulings.

Have some faith in people. Inventing rights and privileges autocratically is definitely problematic in a democracy. It's better to do the work of persuasion. We all have to live together. Note as well, the number of countries who have arrived at gay marriage through legislation rather than judicial fiat. It's a more respectful way to go.
A false flag from who?, No one involved in Ukraine has nukes but Russia.
Why is it baffling? GitHub and GitLab have embraced and extended git so much that it is no longer independently visible to most users.

If you didn't already know git was independent of the SaaS products, you'd have no reason to suspect it was independent.
We managed for hundreds of years.
I agree that it’s not obvious that such a law would actually be unconstitutional. I just think this court has become an unapologetically partisan body.
The writing is a problem. It's a call to action, it's a history lesson, it's an opinion piece. And, it's a mess. This is not The New Yorker: I want to know the gist of what you have to say in the first paragraph, and I want intro and outro to be good summaries. Bonus points for a structure that let's me surveil the finer points easily.
Having empirically tested this, I can answer that yes, in my circumstances, hot water can freeze faster.

Some years ago, I kept chickens here in Michigan through the winter. I wanted to leave them with access to water while I was gone at work, but after filling the tank in the morning, I'd often come back to a block of ice and thirsty chickens in the evening. My experimental procedure was as follows: On a Saturday when I'd be home all day, I filled two identical 5 quart poultry waters to the same level, one with 115F hot tap water and one with normal 47F cold tap water. Both came from our well, from a sink with an aerator, and both passed through a softener. The hot water had been heated in a tank-style residential water heater, not over the stove. The troughs were left outside of the coop in a shed (several feet apart) to prevent unpredictable chicken activity from messing with the results. I put thermocouples in both troughs and checked in every half hour to take readings.

The hot water froze first by several hours!

The cold one reached 32F first, and after hitting 47F the rate of change of the one that had been hot was similar to the cold one (maybe slightly faster, but my measurements were too coarse to be confident of that), but both spent quite a bit of time at exactly 32F. The hot one just spent so much less time at 32F that the couple of hours to drop to 47F didn't matter. Both still had a considerable volume of liquid water in the bulk tank, the part exposed to air froze first, but that's still a failure because the chickens couldn't drink. I didn't have any equipment to measure dissolved gasses in the water, or measure convection or stacking in the tank, measure the rate of evaporative cooling, measure the rate of cold air being pulled over the surface by convection driven by the hot water temperature differential, or otherwise test any other factors that might be different from two apparently identical 32F tanks of water, all I knew is that the hot water froze faster.

The result of the experiment was just to put a small electric heating adapter under the base. After that it didn't matter. Another tragic example of pragmatism over curiosity...
> “ Throat mics are an improvement over a standalone wired microphone (if that’s what you are using), and have better background noise reduction”

Do they? The audio sample sounds a lot worse than the high quality standalone mics. Does he mean something else?
>Gold is like an old god: its faith has a lot of coinage. However, its rule is not necessarily omnipresent.

Very nice point, you're not wrong. That being said:

>we are in a post-nuclear apocalypse. I have a small trading post and a can of beans; you have a solid gold coin. Challenge: convince me why I should take the coin.

Because it has properties that qualify it as a method of exchange (portability, provable chemical composition [...]) -- the same reasons it worked the first time. Mr Bean-Haggler, what else do you suggest we use for exchange? Mud? :-)
Wow, these folks are the Uber of Crypto.
Monogame is missing a lot of features if you're wanting anything but the basics in 3D (it's still very good for 2D games). I tried hard to use it instead of Unity (for over a year), and only recently switched to Unity because I wanted to add VR support, and forgot just how much easier doing 3D in Unity is compared to Monogame.

Like I was fighting Monogame on model rendering, textures, shaders, cross-platform (never could get a high-res 3D working for the Mac version), anti-aliasing, etc. Everything 3D was being a pain in the ass to get working, and my progress was very slow.

After one day of porting my assets over to Unity, doing some tweaks in the editor, and importing a few assets from the Unity store, and my game already looked better than it ever looked in Monogame (still working on porting the rest of the game).

It should be said that I'm not an expert 3D developer, I'm much stronger in 2D, but have been trying to do more in 3D lately, and that may be part of why I struggled with Monogame in 3D. People who have no issues coding in OpenGL or DirectX directly probably won't have as many issues as I did.
"My opinion is perfectly rational, others' opinions are political."