skysight-inc/HackerNews huggingface dataset:
Technically, code that contains UB is just UB, and unsound code is code that allows you to trigger UB using safe code only.

For example, this is UB:

unsafe { std::hint::unreachable_unchecked() };

And this is an unsound code, that may not contain any UB if I call `unsound()` with `false`:

fn unsound(trigger: bool) {
if trigger { unsafe { std::hint::unreachable_unchecked() }; }
}
I greatly enjoy the in-depth articles surrounding Linux ecosystem from LWN.net
Tangential to your point:

SEC regulation, not FTC.
Gmail algorithm doesn't depend entirely on those factors you mention, it's a message per message basis, the problem is that people are marking you as spam.
You have to check your emails and detect what's triggering the spam filter inside the content, give it some time to send the next one, and clean your list urgently, even confirming your users if they want to be in your list.
Definitely tunnelling through rock is a more straightforward proposition. Bertha famously hit an allegedly uncharted steel pipe part way through and had to have extensive repairs.

Clearly tunneling under a city is a very different proposition from tunneling under a mountain range. And I'm willing to bet that a significant part of the cost is not per km, nonetheless it's just another example of the crazy cost of civil engineering in the US
Elon Musk Reverses Decision to Join Twitter’s Board, CEO Says
The intersection of arch users and users willing to use snap is nonexistent
Sandstorm was a beautiful idea. I hope it’s time will come.
My bet is on the plan to purchase more of Twitter until it is all his. Honestly, he's probably a better suitor or steward for Twitter than any of the other dreck they've run out there since 2014.
Pumping gas? Have some meaningless commercials blaring at you. Wait at the doctors? Have some hospital commercials blaring at you. A/C systems are often brutally loud.
(a) He can quit the board anytime. “Potential“ is not inherently a conflict of interest.

(b) A social network full of only Elon Musk fans (maybe call it Government-Subsidized Emerald Mine) would be a pretty thin slice of humanity.
You can also compare & hash it. I once used it, to store visited objects in a hashset without the borrow checker making me sad.
Or, a person could be old and broke, and regret all the money he blew on toys when he was younger instead of saving it for a more comfortable old age. No easy answers, because nobody knows how long he will live.
yes, that's right. i run OpenBSD on an ODROID-H2 which has rge(4) nics, and connect eeros directly to it and via a QNAP QSW-1105-5T switch. (disclaimer: i work at eero)
The main reason for me is identity. Imagine that when you first got an internet connection, it didn't come with an @comcast.net or @att.com email address, but rather as part of the setup of your internet connection, let you register your own domain.

The mx records could point to this homeserver box and you would fetch your messages from there. It would be the norm that your graph, photos, whatever would be stored there and you would have to allow access to share them out with others. That would have lead to a very different internet than today.

But the main thing I'm thinking of is having a physical, secure enclave protected, device that allows all internet users to u2f to their ISP in order to have the option for an "ip permitted from" protocol for registration on websites. Something that can ensure that when grandmas pc gets hacked, it's not used to create 100 Twitter accounts to pump some crypto scam.

Today even if we could get ISPs to setup such a system, people wouldn't use such a system as they are already use to easy sign ups, and companies love their growth metrics
I’m not especially intimate with American bureaucracy. Does filing under the wrong schedule really prevent him from joining the board? Can’t he just file a correction?
> My guess - he'd be in a conflicted position if he ever wanted to start / do his own social network.

That would likely take his time away from other things he cares more about, such as Tesla and SpaceX. Whereas buying up Twitter stock – even buying 100% and taking it over completely – doesn't take up much of his time at all. Even a board seat would have only been a modest time commitment, far less than starting a new social media company from scratch would be.

> And these changes are WAY outside of the comfort zone of FTC etc.

Why would those changes be outside the FTC's "comfort zone"?

FTC's chief concerns are (1) consumer protection, (2) antitrust/competition. I don't see how the changes you mention would impact either.
Everything you said is true but there is an alternative perspective: Elon founded two of the most successful companies in existence. Both companies heavily innovated on hard technological problems in order to achieve commercial success. Hence, he's an operator with experience solving difficult challenges, making him qualified for the board seat.
> The part I don't get: why is Elon still tweeting ideas for improving Twitter and shaking things up?

He's still the largest shareholder and he has a lot of soft power to sway opinions in the public sphere.
Hmm, seems like it’s maybe not in type inference per se. It seems more like the compiler actually believes that red (used as a function pointer) is not async! So it has the wrong type in @TypeOf and it also coerces itself with no warning to that wrong type. Ouch.
> Changing zoning is pretty short sited if you have the goal of having an area that people love to love in.

NIMBYism.

Name calling as an argument technique.

You can design beautiful neighbourhoods that are much much denser than they are now.

In theory. Sometimes it actually happens in reality, too.

Most of the time though, when developers and their paid servants (aka your elected representatives) get together, something rather different from this glossy vision you seem to have ends up happening. In most cases the end reuslt is not at all beautiful, and (when you actually crunch the numbers) not all that affordable, either.

Not too infrequently it devolves into outright shenanigans, with profound betrayals of trust, and huge swaths of development opportunity more or less handed out to connected donors and/or other political kingpins (in exchange for who knows what votes or other favors they have to offer).

That's how it goes, and like the Leonard Cohen song -- everybody knows.

I agree that zoning has its pros and cons. And just because we did things a certain way 50 year ago, doesn't mean we have to keep doing it that way.

But the attitude you're presented sounds (to these jaded ears) well - saccharine. There are plenty of legitimate reasons to be fundamentally circumspect about the promised benefits of many (if not most) proposed zoning changes. There's no need to assume that anyone who doesn't share your own enthusiasm for such changes is (as you imply) just fundamentally self-centered - or filthy rich.
Treating racism through cultural means rather than politics didn't get Black votes counted in the 20th century, and now that the Roberts court has dismantled the Voting Rights Act and we get to go through this all over again, it won't get Black votes counted in the 21st century.
> What did he Invest in something/Tweet/Violate FTC/Profit from?

Dogecoin and Bitcoin.

He pumped and dumped the former pretty directly. He pumped and dumped Bitcoin by saying that Tesla would start to accept it as payment, and then he said that the price was too volatile and they wouldn't actually do that anymore.

He pumped and dumped Bitcoin again later, but I forget the circumstances.
> Developers are expected to attend meetings more than ever.

How do people deal with this? I'm expected to take on more and more meetings and my time to do deep work diminishes as I go on. I'm curious to learn more from people who are handling this well.
Or... sell your stock?
No this isn't true. There are many things wrong with the medical industry, but this takes it too far.
When teachers are agents of the state, they are bound by the restrictions on what the state is allowed to do, being required to afford equal protections to all people.

While I agree that the people should have a say in what gets taught, and that includes culture, in certain cases that say is (and needs to be) inherently limited. For example, if 90% of people would vote that some 10% minority should have limited rights, they should not (and do not) get a say about that, that minority deserves equal protection from state action no matter what the taxpayers or voters want.

And arguably (though the exact details matter) "don't say gay" legislation violates that by having state agents (i.e. teachers and administrators) apply unequal discriminatory treatment to those employees and students who are gay.
It's about the choice rather than forcing to be locked into someone having the ability to know literally what you are going to do next.
Yes! I keep a per-project journal file in each project's repo and it's so helpful when you end up having to take an unexpected break to bringing yourself back up to speed on why you made certain decisions or what the overall status was.

Something that also really helps is anytime I'm wrapping up a session on a project, the last thing I do before committing changes to git is to make a list of the next half dozen baby steps to complete. Without this, sometimes I'll come back to a project but only have limited time and I waste it trying to remember where I was, so a little hint from the past saying "jump in right here next time" is very handy.
"He should..."

As my great aunt (born circa 1899) said, "Sometimes the 'You shoulds are the shits.'"

I'd like to see more on topics of enduring interest from Paul than on the ever-evanescent fluff of tech. That his concern lies with teaching his kids not to be social gangsters rather than teaching them some current tech meets with my approval.
I am by no means a Go expert, but I think the `unsafe` package is the only standard library package in Go that does not conform to the stability & portability guarantees and `Sizeof` is neither portable nor stable.
Dogecoin and all the Tesla crypto shenanigans he pulled last year.
> The part I don't get: why is Elon still tweeting ideas for improving Twitter and shaking things up?

That is weird, trolling doesn't seem like Elon's thing at all.
I once had a violin player as neighbor. It's bad enough when played well but violin mistakes are really painful to listen to.
> I bought Twitter stock after I knew he will be joining the board.

I would give you two pieces of advice.

The first is traditional investing wisdom: buy on rumors, sell on news. Why sell on news? To make money from people who did what you did. Once you hear about some news, it's almost always too late to make money on it.

The second piece of advice is not to trade on anything Elon Musk says or does.
This is actually incredible! I think we should push for web apps more and more, it'll help for convergence between platforms. Do you have a timeline for when this will look good on mobile phones?
I don't think it's appropriate to debate about policy here. Her final blog post isn't about that.
Earplugs go into the ear similar to earbuds, but are squishy and meant to be rolled thin so you can get them in a bit further (then they decompress halfway inside your ear and fill in the gaps). If you push them in too far I imagine they can damage the eardrum, which could cause tinnitus.

After trying earplugs myself a few months ago, I decided it was too risky to sleep with them due to the pressure I felt in my ear (the one against the pillow) when I lay on my side.
You can always store energy by pushing rocks uphill.
The proposed hiding is basically making the caller generic over (and inherit) the effectfulness of the callee. There are probably some FP languages that do this in the general case. Zig can do this for async and for error sets, but you can explicitly opt out of both kinds of hiding if you want to by writing an event loop that uses `resume` but does not use `await` (or uses `nosuspend` when it uses `await`) or specifying your exact error set + handling errors. Lua does this for suspending (and you can opt out with e.g. coroutine.wrap) and errors (and you can opt out using pcall). JavaScript does this for exceptions (and you can opt out by catching them) but not for async.

> you don't need annotation to call an async function, you only need it if you choose to use async syntax in the calling function.

The proposed thing is "I want to get a function, and call it, and use the result, and if it is effectful in a way then I am effectful in that way, and if it is not then I am not" where "the result" is defined (among other things) as the value of the expression that appears in a return statement in the body of the function. Redefining "the result" to be some object representing a continuation or whatever is missing the point.

The lack of async-hiding in JavaScript is why the original "What Color is Your Function?" blog post exists.
Wait "contingent on a background check"? This is the founder of SpaceX a contractor with NASA and DoD and you're gonna run measly background check on him? He most likely has an active TS clearance and works with ITAR.
Ask HN: How awful material design is?
Hello, i am a part time/student worker as Frontend Developer. Apple products are my personal devices and habe a windows laptop from the company i work for.

I saw obviously material design on my sites. But for the first time a task given me to remove Bootstrat from a project and use Vuetify (Matrial Design flavored) instead.

My experience is more than awful. Who think that the bounce effect on click can be a good thing? Why button texts have to be uppercase? Is the border at bottom really means something?

I can’t really engage with this design system and i can’t really understand why is this thing so popular. Am i alone?
If the insulation isn’t the same, you can’t really compare the 2. I could take a nap in an active construction site with good enough earplugs.

Garbage pickup is once a week, and the truck is close enough for me to hear it for maybe 15 minutes. Double that for recycling pickup.

I live a few miles from the city center, in just about the densest area where people still have lawns. There are maybe 5 houses close enough to me that I could hear a leaf blower from if I’m inside the house (loud enough to notice). Even if each one runs a lawnmower and leaf blower for half an hour each week, that’s 2.5 hours per week tops (only 2 of them actually use leaf blowers, and most only cut the grass 1x every 2 weeks). Also in most of the country mowing only happens a little more than half the year.

Compare that with road noise, and sirens, which I hear far more often.
Heh I wonder what percentage of the final costs of these things is simply worker healthcare. I suspect the UK/Euro ones don’t have to account for that as that’s handled elsewhere.
Re: meetings, I really think we need more tech companies taking the initiative to cut out meetings entirely. I think many companies would be shocked to find out that work would continue on, productivity would actually go up, and reported employer happiness would improve.

I think it would be a "2020 remote work" style revelation for many teams. Many teams thought remote work would never work out for them, but when they were forced to do it, they found it actually worked great.

That being said, I doubt many companies would ever find the idea tractable. So we should start with something simpler: you should never schedule more than 2 hours worth of meetings for your developers in any given week. And those 2 hours should be very carefully considered, such that they don't segment their day.

The amount of wasted productivity that comes from endless meetings is staggering. Not to mention the mental health hit of trying to do challenging knowledge work while having your day constantly interrupted.
One liner I always think about:

Cities aren't loud, cars are loud.
I'm curious, how did your boss respond to that?
More to the point, we're talking about children. Should children be allowed to press the magic button?

We don't allow children to make other permanent changes to their bodies in general (and those tend to be stigmatized even with parental consent); and more to GP's point, the majority of children with a desire to be the opposite sex grow out of it.

It does not make sense to me that we question a child's judgment in all other matters except this one. This is important because gender affirming therapy is, medically speaking, nontrivial and not without severe risks.

https://academic.oup.com/jcem/article/104/3/686/5198654?logi...
The worst is jake braking [1] that tractor trailers use. I live about 300 or so yards from the highway, and constantly hear this noise during the day.

https://youtu.be/xm0TSzagk-o?t=103
Neat story, thanks for sharing. Love hearing stuff like this from before my time.
I think there will be a lot of money in focused industry newsletters over the next ten years or so.

This will be basically identical to the corporate media business of yore: start in publishing, build audience, use that to sell events/training (and then, eventually, someone comes along and consolidates all of them). There will be a twist, but...basically.

We aren't even at the start of this trend imo (a lot of the industry news is still distributed physically, I don't think current publications have really "cracked" the format/content organization yet either) as the replies kind of demonstrate.
Yes — my grandfather, who had a chest infection aged 99¾, was given an increasing amount of morphine for the pain (instead of antibiotics). The death came at the point he could no longer recognise his children, where his quality of life was basically nil. It was a release.
Totally. I have no idea about Paul Graham's upbringing, but back in the 80s and 90s I was a "fag" threatened with violence just for being a slightly effeminate nerd obsessed with computers and weird music, etc.. One didn't even have to be gay to be subject to homophobic hate and intolerance. I have teenagers now -- one self-identified queer high schooler and the other a middle schooler in a tiny rural school not unlike where I grew up -- and today's society is an amazingly tolerant dream compared to what I grew up with.
"Normal" suggestions: earmuffs or earplugs; soundproof your bedroom (IIUC certain types of window roller shutters can mitigate noise); move :/

Insane suggestion: record the dump trucks every night (using good microphones - maybe even hire some), build up a compendium of recordings, get a really good speaker and amp setup (absolutely no buzzing/hissing/hum etc), then play the recordings in a loop progressively increasing the playback volume throughout the night so it's as loud or even louder than the actual dump truck when it arrives. In this way you may be able to acclimatize (exposure therapy). It's quite reasonable that you might need to raise the volume very slowly to begin with (maybe even have the playback volume effectively muted at the start of the night) such that it's still very quiet by 4am and you might still get woken up by the dump truck and then need to stop the playback for the night to get back to sleep; the idea/hope is that you would be(come) able to increase the volume to the necessary level by 4am and stay asleep, this may take a few goes. It's also possible that quality of sleep might not be absolutely 100% to begin with (perhaps turn down the volume/progression if this is the case). It might work though? (I wonder if this would fall within the 2-week habit-forming period, such that you'd acclimatize within a fortnight...)
I guess I truly don’t understand what most sites are thinking here. If they actually want me to have the slightest clue what their site is about, they have to let me USE it first. How can it possibly help them (it certainly doesn’t help me) when they interrupt scrolling literally 1-2 seconds after arrival, or possibly blocking every other possible action on the site for some reason? Do they really think I will see all that and say: “oh I am SO glad you asked, let me just get right on that!!”? Nope, sorry: I leave immediately, every single time. In fact if I am really enraged, I will go out of my way to set up a few blockers to make sure I never see any part of that site on any other site, too.
Obscure Networking Technologies
Yes, small: much less power available, for the money, than would be ported in.

But you are not limited to porting in power from far off, you can draw down local, banked storage. If that runs low, you can bring in liquified ammonia synthesized in the tropics. All of this will be chosen according to what costs least. All of it costs less than the nukes would have set you back.
Yes but he didn't sell as you say. Same with dogecoin, the "funding secured" debacle, and all his other stuff. He does something stupid and probably illegal, but doesn't actually take the crucial steps to profit and complete the scam. The image he portrays (I'm tempted to say cultivates) is that of someone above the law who doesn't give a fuck, not that of a common pump-and-dump scammer.
> An optimistic would think that Elon had enough self-awareness to realize it would be an overall distraction for Twitter with little benefit.

Assuming Musk did take over Twitter, he wouldn't need to be much of a distraction. He could dictate a few rules (don't moderate Twitter, don't ban anyone, etc.) and then leave the company to function as it did before.

I think what he doesn't realize is that reducing moderation on Twitter would lead to a death spiral. Humans would find it less useful, and bots would find it more useful. No one wants to be on a platform that is 99% bots posting inflammatory political content.
What is really interesting is that phrase’s presence in that message makes it seem like he did not pass it. That seems like a PR move, maybe to mislead and save face, maybe to indicate what went down.
Seattle to Vancouver is a 2.5 hour drive (if you don't count the time spent at the border checkpoint -- but even that is a 5 minute affair if you have NEXUS).

Whereas crossing the border by train is miserable because CBSA/CBP have to clear everyone on the train. I once took the train from Toronto to NYC (nominally a 12.5 hour trip). We were stuck the border for 2.5 hours (a bunch of passengers had to go through secondary inspection), which made it a 15 hour trip. I could've flown it in 1.5 hrs total.

Lesson: never try to cross a national border by train. We're not Europe -- we have neither a Schengen-like agreement or pre-clearance for trains like we do for airports. Though we theoretically could have pre-clearance for trains (there have been efforts [1])

[1] https://en.wikipedia.org/wiki/United_States_border_precleara...
Cities aren't loud, cars (and trucks) are loud

https://www.youtube.com/watch?v=CTV-wwszGw8

Video discusses this thoroughly. There ARE quiet cities amazingly enough. And suburbs are a HUGE source of the noise IN the cities they surround because it's the car traffic from suburbs into the cities that makes much of the noise.

Cities ARE loud, but they don't HAVE to be.
If you honestly think Elon cares about money/profit at this point, you don’t know jack about Elon.