skysight-inc/HackerNews huggingface dataset:
Taking care of day-to-day meals for myself and family.
It breaks my routine of what I actually want to do throughout the day.
Takeout food is not a real alternative to home cooked meal.
It would at least specify that you are talking about one single person, and not more than one, so it is ALWAYS better to use he/she.
I invented two proofs for the Collatz Conjecture
Who can find the mistakes?
This is a massive difference from any other project like this with wide device support, assuming it works correctly:

> Bootloader relocking is restored and has been tested working on 23 devices and is available for 26 more. Verified boot is also restored on 36 of those devices and is enforcing once locked.

Edit: looks like almost all the devices with relocking support are Google / OnePlus / Fairphone, so it might not add anything in this regard to GrapheneOS. No workaround for the signing key issue, I guess.

They also seem to be doing some security hardening and blob removal, although I'm not sure how that would affect driver / device support.
True, trump at least says his catch phrase 'you're fired' to their face
What's your pace when walking? Do you walk fast like you're going to some place? Or do you walk slower than your default walking speed?
And Jun for June?
I got screwed in 2002 on EBay using paypal: product never shipped but they kept the money. My CC company refunded me, but paypal wouldn't let me use it again until I paid the $500 that the CC company reversed. A few years later PayPal offered amnesty and waived the $500, so I started using them again in 2006, still using them. Damn, that's almost 17 years.
Newton's Philosophy
More research and analysis is being done on this guy's tweets than was done by the investors before giving him billions of dollars.
Masses of people are, to all appearance anyway, incapable of understanding anything even as slightly nuanced as "vaccines are probably a worthwhile risk compared to COVID as we understand it today". It gets flattened to one of "vaccines are 100% safe, you must take them" or "vaccines are evil, you must not take them". I really hope that's only an appearance, that we can learn to do better, because otherwise civilization is walking dead.
My experience with MSTOICAL showed me that even C drifts over a decade or two. Reasonably standard code from 2002 required expert help in 2022 to get it to compile.

Unfortunately, this leads me to conclude that almost nothing is safe for the long term.
> Eh, there’s a difference between criticizing your boss publicly vs privately.

Well, judging from the recent stories about Twitter’s internal environment and the public examples of criticism at Twitter, privately in an organization with no viable upstream internal communication and a culture of fear and retaliation is both impossible and likely to get you fired (immediately or on a list of targets by management) without your message getting to the top, whereas publicly your message is at least more likely to get to the top before you get fired, plus you are likely to have job offers in the thread, so, its clearly the preferred strategy.
Sorry that I don't know about this case, please can you specify what do you mean exactly?
This idea is called "perennialism" and is one of the inspirations for German Idealism/New Age/hippies. It's also of course not true.
All the people buying up houses sight unseen without appraisal/assessment or due diligence was just an analogy for what was happening in the entire market during the near 0 interest rate frenzy of circa-2021. The fed created incalculable damage with their short sighted policy.
You remind me of that Black Mirror episode where they could mute & blur/obfuscate live people...
> I mean that was the cost of taking control of Twitter.

It wasn't. He structured the acquisition such that Twitter took on substantial new debt rather than providing the funds himself.

Was it a good move? Honestly I'm not savvy's enough about this kind of thing to say, but it definitely wasn't the only move.

A substantial part of Twitter's net loss is because he chose to saddle it with new debt.
Common lisp doesn't require tail call elimination either, fwiw
Note the async stack traces have gotten better recently! They mostly report like other stack traces now. I actually forgot I was using async for a bit. Theres still some bugs I think.
I have $30 zenni glasses. I love them. I got some prescription sunglasses too. Best sunglasses I’ve ever owned. I was so mad when I lost them. Then I was like. Bitch, $30 and bought another pair. I’m all in for less than a hundred (glasses, sunglasses and replacement) and could not be happier. My sister needs bifocals and couldn’t afford them. She literally was just going without. I just had her send me her prescription and bought her a pair. You need glasses to see, to live. Making them retarded expensive is a crime. Offering them at an affordable price should be praised and supported.
I miss this book. Beautifully written esp. the chapter on recursion - it introduced many new types of recursion schemes than I was aware of at that time. The only book where I did almost all the exercises!
Yes, this textbook is a great introduction to point-set topology. I'm not very familiar with algebraic topology so I can't comment on anything regarding that. I did learn a fair bit of category theory that I didn't know prior, like a formal explanation of deriving the Yoneda Lemma (I read this book before I read CWM). I think it's definitely possible to learn category theory from this book, especially if you already have a strong intuition for Topology.
There's also a difference between criticizing your employees' work publicly vs privately. (And let's be honest - most likely the employee is 100% correct here, and he's lying about their performance as expressed by the codebase.)

Only one of them is wildly inappropriate.
There are two types of whales. Those who plow an objectively large but relatively (to them) small sum into the game are fine. Those who fell victim to psychological programming to feed every dollar in are not.
Stumbled across this a few days ago and its helped me understand what we might stand to see in the next few months/years
So the basement is conditioned or not? Either way, residential AC duct looks like this: https://duckduckgo.com/?t=ffsb&q=ac+duct+r8+&ia=web

This stuff is run through attics and the like all over the southern US where the attics are at ambient humidity levels, and I can't remember the last time I saw condensate forming on one that was properly sealed with mastic. In fact it would probably be a problem if it was because it would be dripping through the attics into the drywall ceilings. R8 doesn't sound like much, but its apparently enough to keep the outside of the duct from feeling cool at all.
Sorry, force of habit.
We don’t need decentralized write-only communication. People have memories and reputation have power, and technical solutions aren’t going to change that.

What the crypto folks need to do to gain trust is stop behaving as though a lack of decentralized write-only communication means they can say whatever they want and nobody will remember the times they were wildly wrong.
I feel this is a problem of misaligned incentives in legacy organizations. If you can accept some degree of spam without completely alienating your users, you get to inflate your usage metrics - crucial if your revenue model depends on showing higher growth/impressions.

I've always been surprised by the discrepancy between Google's AI research and the quality of Google's search results. Google search should be so much better given all the incredible AI work Google and other AI researchers have already done. But then I also realize that if Google were to somehow incorporate AI-powered search agents (say, something like Adept.ai), the current ad-driven revenue model would collapse.
I've always thought that it's a form of animal cruelty to have people stuck in offices forced to sit through all meetings etc. when many 1 on 1 or other small meetings for creative purposes could be conducted while out walking.
Wait what? Don't creditors get control of the company? Specially if the firm went down b/c of the actions of the current mgmt?
Never use a domain you use for a product website in your product. `boringproductcodename.com` would be always available despite PR dept shenanigans, product and/or company renamings, buyouts and whatever. Also would cost $15/y for at least a decade.
I wrote several scripts to rip all the docs, loom videos, slide decks and sheets linked from all of the docs.
DM me and I’m happy to share it.
Don't worry, Elon has assured us that this is merely the work of evil activists and has nothing to do with that whole verification fiasco.
People don't care about being scientifically honest. If we did, more people would be annoyed by internet atheists championing science above all else. Pushing science as the end all be all path to knowledge isn't the wholesome thing it seems. Some people take it too far and turn it into a cult
> He HAS to be doing it on purpose, no-one is this retarded, especially when he just paid 44 BILLION for it.

The idea that having lots of money on the line prevents bad decision making, when in fact it can just as easily be evidence of bad decision making, is silly.
That’s what people want though, a twitter replacement with all the filters and whatnot Musk is talking about dismantling.

And they show up on mastodon, because everyone is talking about it, and find it isn’t the safe space they carefully curated with their twitter blocklists and write a blogpost (because they can’t complain on twitter anymore) about how it’ll never work.

I don’t understand why these tech-savvy folks can’t give positive criticism to maybe fix the problem instead of “it’ll never work, can’t we just have our twitter back, pretty please?”
https://hachyderm.io/@justgord

or should that be @justgord@hachyderm.io in canonical format ?

I signed up today to see if M was usable [ it seems to be ] ..
listened to a stream with the oxide guys discussing Mastodon :

https://www.twitch.tv/videos/1652616971

https://hachyderm.io/@nova

https://hachyderm.io/@oxidecomputer
I like the "Twitter poisoning" theory; enough exposure to engagement-focused social media and you go crazy.
Signed up willingly? No. Paypal automatically created an account for me when someone "sent" money to my email address 23 fucking years ago.
Giant satellite outshines stars, sparking fresh concerns for astronomers
Fairphone only sells phones, and replacement parts, to European customers, right? or is it closer to everyone but US?
It's recently dawned on me that the best way to use HN is the search bar at the bottom of HN. HN is like The Matrix in Doctor Who, the collected wisdom of the ages.

There are many here who deliberately start over once they reach a certain karma, to prevent the corrupting influence of imaginary internet points. I'm starting to see the wisdom of that.
And yet, when you give away your keys you can loose it.

Look what happened with all those planes that were leased to Russia.
No-one else.

This guy is one of the greatest pieces of shit to ever walk the earth; just imagine the sheer panic of one user being unable to withdraw their funds in FTX, then multiply that by a thousand.
Calculator on the front page should say. It depends on the currency pair, but sending from the US is usually as fast as any other ACH transfer, between instant and overnight for me.
Must be a US problem. Where I'm from we still have 2G and no plans to turn it off, but we also don't have any plans to introduce 5G it seems (though tbh 5G isn't much of an improvement over 4G for most people's use cases).
it's animosity for destroying a viable and important company and not "jealousy"
Why would they send such an inexperienced reporter to interview someone like this who has manipulated even experienced people?
With their inflated fees and treasure trove of user horror stories, why does anyone even use Paypal? And if they are forced to, why have there been no alternatives?
Atomic Energy from Water – Plasmoid Protium Power
It would definitely be nice to have this generated from a deprecated like annotation!

The maven plug-in seems to use the recipes directly as dependencies: https://github.com/openrewrite/rewrite-maven-plugin

In our internal situation the parent Pom could already control this plug-in definition including versions of the recipes. At the very least the recipes could follow the same version as the artefact.

I thought I saw somewhere where the recipe was bundled with the artefact itself. That is very neat for simple usecase.

However, it suffers from the same flaw as the native-image configuration for GraalVM in artifacts. Sometimes the configuration/recipe needs to change. Eg because of new insights or because it is incompatible with new versions of GraalVM/open rewrite. So I suppose having an extra version dimension Could solve this. Then one can always depend on the latest version of the recipe for that artifact.
Cool story I heard about Be once: the engineers could override their managers and had final say.
I need an edorsment on arXiv to post it there in the math section... Can anyone help me? Here is my arXiv endorsment code: 9C8E9J
This makes me think he's going to get away with it.
Agree 10,000%, Musk was loved and adored by the tech crowd, he even did a spot on the left leaning Big Bang Theory (a show I really enjoyed though I'm conservative in nature).
Not to even mention all of their investors (including teacher's pension funds for example) who have already marked their investment to 0.
> He has also found other ways to occupy his time in recent days, playing the video game Storybook Brawl, though less than he usually does, he said.

FTX owns Storybook Brawl. So: SBF managed to plant an ad in an NYT story supposedly covering his massive fraud. I’m impressed. This is next level.

https://www.coindesk.com/business/2022/03/22/ftx-us-acquires...
Oddly, I know a few EVE Online corporations used it.
> It's already too late. It should have been fixed before Twitter nose-dived.

There's nothing existential wrong with Twitter. Elon Musk generates drama which the media plays up for clicks. It's an open question how many of the people creating Mastodon accounts because a reporter mentioned it are going to be actively using them in six months. And if it continues to be the same kind of garbage fire subject to the whims of oligarchs as the networks people are fleeing, that's not likely to be many. Fixing this kind of problem is how you get people to stay.

> Coming up with a replacement at this point isn't going to work: the Mastodon name is already out there, and this is the time when an alternative has to be ready and usable: it's first-mover advantage.

Twitter has first-mover advantage. Mastodon is still a tiny thing.

> So why hasn't this been done yet? We've had decades.

DKIM and SPF were done. They're widely supported and work as designed.

> Incumbents don't want to fix it.

This is an obstacle, not a death ray. Find a way to exert pressure on the incumbents to fix the problem. Isn't this supposed to be the benefits of centralization I keep hearing about? There are only a couple of parties you have to convince in practice to get something changed?

> Mastodon is likely in the same place now. Something better doesn't exist yet, and doesn't have any name recognition.

There will be a fresh omnishambles causing people to seek alternatives a year from now after you've implemented a proper protocol for people to switch to. Do it now so you're ready for then.

> Mastodon itself can't be fixed because the designers like it how it is: if they wanted a better design, they would have designed it that way from the outset.

That doesn't follow. People frequently make mistakes and regret them later.

> So if Mastodon catches on, we're stuck with it as-is.

So don't use it until they fix it. It's not like Twitter was actually incinerated. What good is switching to a known-broken technology? Wait for the one that works, and in the meantime build it.
I dont know if it's true in this case. But I've worked at many places where things have gone wrong and nobody says anything about it. So it's nice to see things shaken up a bit.
If you look at their examples, it's really more of a trolling classifier.
https://archive.ph/zaphi

I can't imagine what it's like being in the public eye constantly and having millions of followers to attend to, but I'm sure I wouldn't like it. I know it would change me in ways that are unpredictable.
You're definitely not too late.
> Yes, this is the idea... you didn't want a kid, a mistake happened, you need a way out too.

That’s my point - you can spend your life cursing your fate OR control your actions before it happens

Don’t leave it up to your partner, to the state laws, or chance

Should be taught in schools honestly - guys are in control of the sperm, no one forces them

Women only get pregnant when the guy finishes inside - 5 seconds of pleasure, not worth the 18+ years
> He created a new holding company (X Holdings) for this acquisition that will also be a parent company to Tesla and Space X

AFAICT, it was very nebulous at the time that it ever would be a common holding company for those (and Musk’s other companies), and very good reasons were cited for being skeptical that that would be workable. And, to my knowledge, none of the other companies has been put under X Holdings.
Oops! That page can’t be found.
I remember trying out BeOS on my PC in the late 90's. I was astonished that it supported my ASUS V3000 AGP video card out of the box. Windows NT couldn't do that; you had to install drivers. Everything worked just right with BeOS. Even its web browser (Netwatch?) was on par with Internet Explorer of the era. I was very impressed to say the least.
Apple pledges $450M toward satellite infrastructure for Emergency SOS service
Hy has syntax primarily based on Clojure, but with big changes to get it closer to Python semantics. It bears little resemblance to CL for a reason.
My use case for paypal is that I don't have nor want a credit card, and places online accept it.
> central planning has never made this kind of thing better.

If the Chinese central planner Xi had decided against a zero-covid policy in China, this thing would have been far better.
Magic beans gained market cap and valuation.
Oh wow, it has all the sound effects of the original!
Lately I've been walking 20 km per day (~12.5 mi). Takes at least 3.5 hours. I try not to listen to any audio -- I just let my mind wander.

To step it up a notch, I put on a weighted backpack (i.e. ruck). I'm typically carrying 30 lbs, sometimes 50. This raises the heart rate and roughly doubles the caloric burn. Low injury risk, too. Michael Easter's book "Comfort Crisis" has a nice chapter on rucking.

I just wish it was easier to contact nature on my walks. I live in a big urban centre, so it's not always easy. But at least urban centers can facilitate social walking -- I've found some fantastic Meetup groups where I can partake in social hikes.

Can't say enough good things about walking/hiking/rucking. It's foundational to the human experience. Get outside, everyone :)
Correct, exchanges won't be saved by government.
A lot of useful (hard to find, expensive?) tools in a great little package. More details here: [https://www.hfsignals.com/index.php/antuino/]

>Antuino is an accurate instrument that can be used in the field to measure SWR, field strength, modulation, etc. In the lab, it can be used to sweep filters, measure gain, distortion, frequency response, etc. It works upto 150 Mhz.
I should have been clearer, it’s more for debugging - so I need to read the content of the code rather than actually opening it. Eg if there’s an app configured for it then scanning with the built in camera just opens that app and never displays the content.

I’m on iOS, tried a few but they all wanted a subscription and were a terrible experience without it. So I wrote simplescan.vercel.app / https://github.com/mcintyre94/simplescan which does the job for me! Though Apple have broken using the camera when you save it to your Home Screen and open it as an app which is annoying.
I worked on Haiku this summer as part of Google summer of code, and it just made me wish their attitude towards user experience was more prevalent in mainstream OSs.

It's little things like errors automatically prompting you to open a graphical debugger or processes being grouped by application. There's sensible UX that doesn't expect me to be a wizard to understand what's going on or how to dig deeper.

Obviously it has rough edges (as, well, honestly all operating systems do), but the things that do work work really well.
What a strange sentence.

What does your construction industry do if not "construct" those things? Have they devolved to just being lego builders that glue together the work of others?
> The user has to physically confirm a transfer on the hardware wallet

And once the user has confirmed the transfer, the software could send the coins to a different address, right?
There’s also a lot of resistance to digitalization- for example I work with some government organizations (both federal and state) and they’d often require me to send some documents printed out and signed in the post. There is absolutely no reason why in the 21st century you shouldn’t be able to accept email documents digitally signed instead.
I think that's what they used to say when the United States was founded.
Is this some kind of joke? Companies crave users whether active or not. They spend a lot of money trying to acquire new users, in fact one of their subsidiary sends me emails offering $10 to come back. In that environment how is PayPal charging an inactivity fee? Just boggles my mind. Even more so because it costs them nothing.
Why don't you want a credit card? They offer a lot of consumer protection and a lot of rewards, and if you use them responsibly, there's zero downside.
I'd be interested to see a cost breakdown. I found the scooters useful at $5-$10 a ride, which certainly covers the cost of a scooter, electricity, and a guy to drive around in a van.

My first guess would be that theft and vandalism made the system fail, at least in major American cities.
Of course she’s receiving generous offers from the ‘hurr durr Elon bad’ crowd. The career limitation is that most people just aren’t in that crowd. That doesn’t necessarily mean they’re licking Elons boots, it could also mean they don’t care at all or that they are somewhere in the middle.

I’m not in a hiring position but if I were I’d avoid her because I don’t want to import drama into my environment.
> He has also found other ways to occupy his time in recent days, playing the video game Storybook Brawl, though less than he usually does, he said. “It helps me unwind a bit,” he said. “It clears my mind.”

I'm glad he found a way to unwind after committing fraud and gambling away billions of dollars from innocent people. This guy is out of his mind. Why is he not in jail yet?
Compared to what?

Paying 10% more for a product in perpetuity costs a lot more than a 12 to 24 month period where prices double. And for non-essential goods, the option is for some customers to simple delay purchase.

And you’re forgetting it works in both directions. Consumers may see temporary high prices but they often see temporary low prices during supply chain recovery.

And again, how do you accurately predict the future? Demand can double pretty quickly. Having 10% slack (and the cost of it) would have dampened higher prices somewhat, but now you’re paying higher prices all the time and slightly less high prices when things go sideways. Doesn’t seem like a good deal at all.

I’d much prefer the free market approach where there are multiple actors each making different bets on future demand than some overarching rule about how future demand should be planned for (thats how we get famines).

The producers who bet on increased demand (or shrinking supply from competitors) get handsomely rewarded for the bet.