skysight-inc/HackerNews huggingface dataset:
If it was in a datacenter, maybe the ventilation was too hard...
Very interesting. This reminds me a ton of L4, with its message passing style. I'm curious if it was inspired by L4.

It's a great talk, and my only disappointment was that I was hoping to hear about what comes after. After watching the OS talk that Cantrill references [0], I really want to know the answer to "what does an OS that runs across a bunch of heterogeneous chips look like?" Having Hubris be just a single-node OS was a bit of a let down, so I will be staying tuned for the sequels.

[0] https://www.youtube.com/watch?v=36myc8wQhLo

EDIT: Went to go read the docs and: "The operating system that originally made this point was L4, and Hubris’s IPC mechanism is directly inspired by L4’s"
BF++: A Language For General-Purpose Program Synthesis
In simpler terms the two steps for this problem are:

1. There exists some number of horses where all horses are of the same color. This is obviously true when you have 1 horse.

2. The second step is that you have to prove that if you have some number of horses n, and they are all of the same color, then if you add another horse all the horses are of the same color.

He's saying there is some set of n+1 horses, n of which are of the same color. Then he makes the (false) claim that removing one horse at random leaves you with n horses, which therefore must all be of the same color. This is incorrect because the assumption is that there is a set of n horses, not "if you have n number of horses they are all the same color.

The base case of n=1 is just fine. It's adding a randomly colored horse to a set of horses that doesn't always result in an n+1 set of like-colored horses. He doesn't even explain the illogical step correctly, so the whole thing is a mess.
There’s decades of actual written legislation enacting discrimination against minorities of years in this country. Feel free to deny it but you’re a moron if you do. And I voted for Bush, dipshit. That used to be conservative although I guess now it’s fairy liberal since the right has gone insane.
Edit: You seem to have deleted the part I was responding to. Here's a new response:

> Nope, when you removed h1, and when you removed h2, by assumption you got two sets of uniform color, but you never proved they had the same uniform color as one another.

This part of the proof happens sneakily here:

>> But when we removed h_1, we got that all the remaining horses had the same color as h_2.

The sneaky part is 'all the remaining horses' which does allow you to prove they're all the same color if the number of "remaining horses" is > 0.

This is where the inductive step sneaks in the n>=2 assumption.

Original:

> The base case is the former but the inductive step appears to be assuming the latter

The inductive step doesn't make that assumption. What it does do is assume that n>=2. The step basically says: from a set s1 of n+1 horses, remove horse h1 (this assumes n>=0). This gives you a set s2 of n horses, and we already know that all sets of n horses have horses of one color. Now take the original set of n+1 horses and remove a different horse (h1<>h2 assumes n>=1), leaving a set s2 of n horses, which we again already know are all same color. Now assume that there is yet another horse h3 (h1<>h2<>h3 assumes n>=2) that is in the original set s1. Since h3 is in s2 with h1 and in s3 with h2, h3 is the same color as h1 and h2. Since h3 is any arbitrary member of s1 besides h1 and h2 we know that all members of s1 are the same color.

Thus the inductive rule is indeed valid for every n≥2. If you can ever prove that every pair from a horse population has the same color you have also shown that every size of sets of horses from that population will also all have the same color.
The awful state of US broadband. If you're not in the suburbs of a metropolitan area then broadband is (much more of) a crapshoot.
So... it started out with Hello world. Ok. That made me think of the Hilltop Singers and the amusements of things like "Sprit in the sky" becoming "whisky in the heavens" when translated to Spanish and back.

So... on a random "lets see what it does"...

I want to give the world a hug -- https://translate.yandex.com/?lang=en-emj&text=I%20want%20to...

to which it appears to redirect to https://translate.yandex.com/?lang=en-emj&text=I%20want%20to... for some reason... and I get it ending with a rhinoceros.

If you watch, you can see it briefly have a hug emoji... before replacing it with the rhinoceros.
Urea doesn't smell like anything much. Leave it long enough and it breaks down to make ammonia, which does.
Wait, what is wrong with a digital thermostat?
Yes, but at those wavelengths you can do substantial amounts of MU-MIMO/beamforming.
Wait Big Tech hired most of Washington political hacks as VPs & SVPs. Thats regulatory capture.[0]

[0] https://www.cnbc.com/2017/01/10/ubers-david-plouffe-to-join-...

[1]https://www.apple.com/leadership/lisa-jackson/
People are free to post opposing arguments wherever they want, including this thread. So far, they have come up with a few ad hominems, three invocations of “socialism” none of which come close to the concept, and complaints that their side isn’t being given a chance to respond.
The organization is only needed for the inevitable bloat you add later to justify the rewrite.

Its something like the sage uncovers the boiler, points at it and announces: Look! It is a beautiful marvel of technology! Why would you want to cover it up? Look! You might learn something!
Different story.
> who only need to have a suitable version of Python installed on their system.

And there's the problem
That’s not the issue at all, since the base case of n=1 is established trivially and so the quoted statement is merely the inductive hypothesis. But the inductive argument relies on n>2 to invoke transitivity on a non-empty intersection necessitating a separate justification for n=2.
Slightly a tangental, but you seem like a good person to ask and this seems like as good a place as any: Is the way Hubris handles failed tasks intentionally reminiscent of the way illumos Fault Management Architecture works, or is that a coincidence born of them solving the same task in a relatively obvious way?
The word isn’t toxic, the behaviour is toxic. It’s easy to say “let’s not fixate on identities” when your particular identity doesn’t lead to other people treating you worse.
Their inductive step is perfectly valid. However, requires a group of horses with one removed to still have a horse remaining. Using N=1 is an incorrect base case. Had they proved the N=2 base case, their entire argument would work.

Of course, you can’t prove the N=2 base case, so that’s why the argument uses the wrong base case.
Apple may be worse. They move documentation to the Documentation Archive and don't replace it. The Archive is a giant mass of "outdated", no longer updated documents, each assigned to 1 category. The Archive only has a title search now; full text search broke years ago.

All documentation on Help Books was archived, for instance. It's been 7 years since they've seen an update and they now contain inaccuracies – but there are no other official guides. Check out that UI: https://developer.apple.com/library/archive/documentation/Ca...

This is a technology that is still used. Nearly all of Apple's own apps have Help Books, including new ones like Shortcuts. Yet they have absolutely no official documentation on using that technology.
My point is the laws against public urination and defecation by humans are ridiculous given how many dogs are doing the same thing all over the place.
I blame the spec because if people commonly use what you designed the wrong way, you did not design it correctly.
Ask HN: What is the oldest Posix script that I can still run in a modern shell?
Is there an archive / "museum" of old shell scripts that can still be run in bash today? I noticed that the POSIX standard was started in 1988 (33 years ago), so I'd be interested to find some really old shell programs from 30+ years ago that I can run on my Mac.
It’s extremely implausible that Black kids would bully people just because they’re white in a school where they are the minority, in a state where they are 10% of the population.

Your language describing the Black students is racist and all I did was quote your own words. Opinions differ I suppose but it stands on its own. Again there is a long historical context for this that you are knowingly or unknowingly participating in. Your consciousness of that history doesn’t change the impact of the words you chose. And if you are ignorant of that history it makes you perspective even more suspect.

If the narrative is that white oppression makes Black children target white people, then that would be an argument that white supremacy, which does exist in the US, hurts white people as well (just as misogyny also hurts men).

But the bottom line is, you’re providing an anecdotal anonymous experience. To me it smells completely fabricated and that’s the persuasive worth that I apply to it.

For others, if it validates some victim mentality they have about how bad white men have it in America, their mileage may vary.
Looks interesting! Though I noticed the bit about the Konami code. The terminology is great, but alas it feels like I've run into as many i2c devices that break the i2c protocol as follow it. Ahem, I'd recommend avoiding Infineon I2C devices to keep your sanity. ;)

Reading the code, is it correct to say the ISR will timeout if the device doesn't respond? It's nice the driver returns the state of the bus locking in the error `Err(drv_i2c_api::ResponseCode::BusLocked);`. Makes me curious how you're doing that. I need to find timeout watch the video.
In case it wasn’t clear, the GP’s comment was sarcasm, considering the messy combinations that make it sound anything except universal.
This explain why sometimes people don't like like to offer their knowledge. He will let all people in his region starve, then he got phone call abuse him at 3 a.m. finally, he will be fired because he is useless.
Used to be good - https://www.wired.com/1996/12/ffglass/

Now it's woke SJW trying to peacock.
Came here to make the same joke. Sure it isn't an insightful comment worthy of great praise. But consider my hat tipped to you.

3.5mb down is faster than my mother used to get from her farm north-west of Kempsey NSW. Though to be fair to Telstra she lived about 30km from the nearest town not 2m like the length of wet string.
That, like everything else in the space, breaks at the point where anything of non-virtual value needs to be returned to the buyers/investors/etc. That just happens to be impossible unless you allow for trusted people observing and certifying a part of reality. So they basically came up with a set of “crypto assets” to trade using the “crypto currencies”. Of course those are more or less the same concepts with different labels. Still, it feels so much more real to buy a virtual something with your virtual money than just exchanging it for other virtual money.
I haven't watched The Chosen, but given how people are describing it here, I'm going to strongly recommend Dorothy Sayers' serialized radio play "The Man Born To Be King."

Most adaptations of the Gospels make Judas an evil caricature of a human being. Sayers' Judas strikes disturbingly close to home, leaving one with the thought "There but for the grace of God go I."

Every one of the characters in her adaptation feels plausible and real. Whatever you think about the Gospels' historicity, I think it would be hard to read these plays and not understand why so many people try to follow Jesus, even today.

https://www.amazon.com/Man-Born-Be-King/dp/0898703077
MPC with K-lite can play anything and has done it before VLC, calling it unique for that reason alone is a stretch.
We are still getting science data from both Voyagers. So somebody somewhere has code to decode the bits.
Developer finds what he thinks is a cool problem, builds something, then asks potential users whether they care, only to find that no one is willing to pay for said something.

That's Quibi's story too.
I will almost always support and cheer for a crowdfunded success and this is no different. Congrats and kudos to everyone working on this project.
Even calculating BB(30) exhaustively would require more energy than we have in the observable universe. The fact that functions like BB() have actual, finite values, but that they're unknowable both due to our physical and logical limitations, is humbling in an ineffable way.
Don't go for GPON, if you have a chance.
Direct cabinet-to-apartment single-mode fiber (can be a pair that gets BiDi optics if one of the fibers fails, though only worth it if correlated failures aren't the bulk of issues) is future-proof.
Also GPON tends to not get anywhere near the awesome pings 1G-LR and 10G-LR provide in sub-lightpseed regional situations.
I have a lot of smart home gear but almost no automations for this reason. I’ve never had an automation that got it right enough to keep using.

Pretty much what remains are basic things like a text message if we left the garage door open overnight or our garden is thirsty for too long.
History of Standard Model
Darn, not the Chaim Potok novel.
> He's saying there is some set of n+1 horses, n of which are of the same color.

> This is incorrect because the assumption is that there is a set of n horses, not "if you have n number of horses they are all the same color.

You have this exactly backwards. The assumption you say is not being made is exactly the one that is being made (and is a step that occurs similarly in every inductive proof.)
My eyes glazed over looking through your comment. I think you and the author of the article are in agreement as far as this part of the article is concerned: “What we want is to look at a port and cable and know what they do. That shouldn’t be so hard, but it apparently is.”
Algebra of the Standard Model
Is it hard to ask NASA people how to decode these bits?
All white people in America have an unfair advantage. That’s what white privilege is. If you actually care about this, research Peggy McIntosh and the concept of the invisible knapsack. Two very simple examples:

1. In the majority of industries in the US, a white person can rise to the upper echelons of that industry without meaningfully interacting with majority groups that don’t look like them.

2. White names have a better response rate with equivalent resumes than ethnic names.

There are dozens if not hundreds more tangible advantages that being white has. Does this mean that it’s not hard to be poor and white? No. But no matter what your class is in the US, it is advantageous to be white if you want to move up.
Having added a timeline (point 1), I’ll agree - dog breeding today appears to me, a non-expert, barbaric.

So, two people on the internet have agreed! Let’s put aside jewelry and luxury and have a virtual toast:

To your health, my cyber-interlocutor!
Lie Groups YouTube Videos
Is there a magazine sub that’s worth getting in the tech space?
Tried it, didn't work.

Arch:

$ exodus /usr/bin/git > ./foo

Ubuntu:

$ ./foo
Installing executable bundle in "${HOME}/.exodus"...
Successfully installed, be sure to add ${HOME}/.exodus/bin to your $PATH.
$ ~/.exodus/bin/git --version
fatal: cannot handle x as a builtin
#1 Site for climate and climate tech careers
Climate Jobs List allows you to find career opportunities in ClimateTech companies.
They'd probably laugh at the absurdity of the question and say "for as long as it needs to be"
YT's recommendation algorithm is shit and you have zero control over it, even if you wipe your usage history and try to actively manipulate it.
Time to ditch index funds and go crypto this year
>I can start virtually any program in a shell if I want to, VLC included. And I can't imagine what you mean by "with no man files" since mpv has a superb manpage.

Can I open help from the program's GUI? Is it done on purpose to make it hard to learn from the application, and if not, what practical use is it?

>Extremely limited. As far as I've been able to tell it doesn't allow you to run arbitrary commands or observe arbitrary properties, making it barely more capable than an old IR remote control.

>I've controlled ncurses interfaces before using Tcl/Expect. It's a world of hurt. Besides, I thought you hated terminal emulators (frankly, I do...)

What problems does that have? What arbitrary commands do you have? I have a BT keyboard I can use too, so I don't even use app remote control, just saying that you can if you wanted to. Maybe I don't appreciate it because I don't know about how to use it properly, what does it do that VLC can't?

I don't hate CLI, I hate having a GUI that is more complex than a GUI for playing videos. I can map CLI controls to a GUI on my phone, I don't like how MPV is like a a CLI because it has poor accessibility as a feature, is there a practical reason to not have F1 invoke the shortcuts or it can't display them without an external application?
I have come across a number of those terms in the past few days, so I must be on the right track!
I read the blog post once and concluded this poor chap was confusing type 1 and type 2 diabetes - because really the first paragraph is silly - that testimonial is classic for type 2 diabetes.

I’m still a bit skeptical this dude actually has true type 1 diabetes, when it fits more likely that it is LADA, latent autoimmune diabetes of adulthood - maybe look it up.

But in any event, everything I could find is that this guy is still using insulin. So that doesn’t really change anything - he’s still insulin dependent - and he “hopes” that it can be reversed. But why? Not based on anything logical I can see. He reduced his insulin requirements - by reducing his dietary carbohydrate intake - well duh that is a mainstay of diabetes management for years - you don’t have to go full blown keto to realize decreasing insulin requirements with lower dietary carbs.

So your example doesn’t even demonstrate your point. And even if it did, your fundamental line of reasoning is flawed - you keep bringing up examples - these people might as well be medical outliers - this has no generalizability and you don’t have any justification to even suspect that their diet had any effect on their health outcomes.

Edit: also please read the comments carefully on “vlads” post - lol he’s been diagnosed type 1 at age 40 - more likely it’s lada. And he’s only been diagnosed 2 months - yeah maybe he still has some functioning islet cells left - look where he is in 2 to 3 years. I appreciate the commenters that basically call him out on his bullshit.
Climate Jobs List - #1 Site for climate and climate tech careers

Climate Jobs List helps ClimateTech companies attract the best mission-driven talent on their quest to tackle the urgent climate and global emissions challenge.

Discover over 1,000+ open roles in Climate and ClimateTech on the #1 site and the web's biggest list of Climate and ClimateTech Careers.

You can find us at: https://www.climatejobslist.com
They are running around regulations and it seems like an actual selling point. For example, read this article from the list: https://blog.aragon.org/what-is-a-dao/.

Looks like venture capital is betting that the governments (or just the US government) will stop regulating and/or enforcing anything. That's a non-zero probability unfortunately, at least in short/medium term.
1959 Santa Susana meltdown still hurts San Fernando Valley community
Hello acatton, Thanks, I’m very happy that you found MiroTalk an interesting project!
You are making up statistics. The fact is that the only thing that protects the body _is_ the immune systems.

Vaccines do _not_ work on their own. They work _with_ the immune system.

Therefore, if the immune system is compromised (for _any_ reason) vaccines are worthless.
Google Pixel mail-in repairs have allegedly twice resulted in leaked pics
The inductive step introduces a premise that “requires a group of horses with one removed to still have a horse remaining.” It is not valid to introduce this premise. The inductive step is not valid.
For the algorithm to work in many dimensions (XML tags), I feel like it must be a simple algorithm.

Rule 110 is known to be Turing-complete. https://en.wikipedia.org/wiki/Rule_110

I have a feeling that Rule 90 is the most efficient algorithm: the Sierpiński Triangle, self-sacrifice, infinite recursion to a perfect pattern. I'm not mathematically talented enough to prove that though.

https://mathworld.wolfram.com/Rule90.html

Please come to chat about A New Kind of Science on Facebook! A couple of weeks ago I noticed that the page didn't exist, so created it. Hopefully Wolfram doesn't mind. We stand on the shoulders of giants.

https://www.facebook.com/A-New-Kind-of-Science-1004052657757...
WD-40’s longer name is “water displacement 40”:

https://en.wikipedia.org/wiki/WD-40
And that makes you naive. Did you ever consider that their interests and the interests of their users are not aligned?
That's funny. I have seen no less than 2 other youtubers be described as the bob ross of programming in the past few days... and they were all creating procedural worlds!

Came across Lague but have not checked him out yet. I will now, thanks!
Not everything is a backdoor, but Windows absolutely is and that's part of why people dislike Windows and voluntarily use the older versions. MacOS, and some cell phone OS's, at least let the user choose if/when to update in which case they're not backdoors.
Yeah, I'm actually glad it only has one word per day.
It’s not clear at all if your not a Christian familiar with these superstitions. You expect to see a list of content that is available and instead you are using some weird Jesus birthday countdown tool which isn’t great for conveying information.
We're somewhat conditioned that facebook and other "free" things are an exchange for selling our privacy.

But why do IoT devices, which we pay for, then STILL sell our privacy/freedom?

If IoT is the internet 3.0, then things aren't going to be good. Ipv6 and nigh infinite addressability is just going to be nigh infinite granular surveillance.

Honestly, the lack of interop and standards barriers is a good thing at this point.

And I didn't even talk about the hackability/vulnerability issues.
This is neat, and immediately made me think of the annotations that show up when you hit the play button on https://lowerquality.com/gentle/ , but it turns out those are made with absolutely-positioned divs and a lot of offline-precalculated px math.
Is that caused by survivor bias?
Nixon!
> Netflix and Youtube aren't moving their hosting to the blockchain.

I see people claim, basically constantly, that the blockchain will be the source of all such content in the future and that this will free people from youtube's tyranny or whatever.
They could mail a qr code would would connect address to voters. That's how many voters get a voting card/ballot now. They could issue a qr code for identity for a driver lic or passport. Using those two keys you could allow a person to vote.

In no way does it make sense to involve a blockchain.

It rarely makes sense to use a blockchain with trusted or known entities.
“If you ever try to relocate a binary that doesn't work with the default configuration, the --detect option is a good first thing to try.”

From the README file…
I used to think like that too. See you in 20 years or so, if the "union" lasts that long.
Wonder if it's related to this...

"Data from another platform, Coinglass, showed that nearly $1 billion worth of cryptocurrencies had been liquidated over the past 24 hours, with the bulk being on digital exchange Bitfinex."

[1] https://www.cnn.com/2021/12/04/business/bitcoin-plunges-over...