skysight-inc/HackerNews huggingface dataset:
For some reason, the slight tilt to the text "Memory Safety" makes me feel queasy. But I guess maybe that's the point?
Wide temperature (-40C to +85C) DIMM and SSDs are available.. Companies like ATP and Apacer carry them. Intel's Xeon D series are meant for wide temps.
The Soap Bubble Trope
> language with a garbage collector

That is reasonable. Rust is not the only safe option.

Re everything else....Rust should be seen as the beginning not the end. All those model checking and other "post-hoc" analyses come with major productivity pitfalls. (Wrestling with some solver that may or may not be happy for spooky reasons is profoundly disheartening compared to wrestling with something elegant and compositional like a type system.

Just as there is the ML family of languages and then SML with CakeML, Rust should continue being a fast-moving target where the occasional mistake might happen, but there is academic work revolving around the language which should create a CompCert/CakeML with time.

Some aviation/auto software regulation is a legit, but frankly a some of it doubles as regularity ossification the industry secretly like as it creates a mote around existing businesses that have "evolved" compliance from the get-go. In that case, unproductivity is a feature, not a bug.

I would not hold it up as a realistic model for these sorts of projects to aspire to. Without drastic changes to the way we found unprofitable FOSS foundation infrastructure, whenever productivity and security are at odds, the former will win over the latter.
It's will power. Get old enough, you can turn it off and turn it on. Eventually you don't care anymore. I bet this just dopes up the "I care" part of the brain.
Seems like a decision well-backed by data. Really, huge kudos for keeping old versions of Android for so long!
Probably a reference to this[1] although the tweet is since deleted. Basically, some guy had heard/felt a sound like a bass guitar string snapping in his head and had some pretty serious symptoms afterwards, which he thought were physiological but many commenters leaned towards some psychological issue, since the OPs explanations were somewhat nonsensical.

[1] https://news.ycombinator.com/item?id=27003207
I think you may have unearthed the problem with btrfs. I know little about file systems and I know it might eat my data.

If the btrfs failed for you, you’ll remember and likely won’t try again. I had that experience with a now defunct hard drive maker. After the second replacement one failed I vowed never again.

They probably should rename it.
I have listened to many hours of Dr. Ingham. I am certain that she said aerobic. Her whole business is aerated compost and aerated compost tea.

Yes, there is a trend for anerobic teas. But it didnt come from Elaine Ingham.
Wow, thank you for this detailed feedback! Some of this was on my list, but most of it wasn't even on my radar.

I've been planning to make it auto-select just the time for easy copying, but auto-copy may be better. I'm always somewhat hesitant to hijack the user's clipboard (what if they had some text copied that they needed?), but maybe it's expected enough these days that users wouldn't mind.
>If that's the case then what makes rest if the internet as whole any different?

Because it doesn't have the adverse selection problem since it appeals to mainstream audiences. That could be bad as well if your prior userbase was above average, ie. "eternal September"

>Who gets to define what constitutes a scoundrel?

I don't think thats worth discussing. You don't need an exact definition of a "scoundrel" to see why free speech reddit clones tend to attract a certain kind of user base.
I wonder if you've ever worked on a Hibernate project that's more than a couple years old.

Once you exhaust the limits of what the ORM author deemed important (or within their ability to adequately deal with), you are left needing deep knowledge in both the ORM and SQL to debug/optimize.

Also, SQL knowledge transfer well between different engines. ORMs tend to be unique snowflakes with very few common patterns beyond the impedance mismatch that is object-relational mapping.
Nonsensical if it's not provable with respect to what theory exactly? Elementary function Arithemetic? Primitive Recursive Arithemetic? Peano Arithemtic? Martin-Löf type theory? ZF set theory? ZFC+"there exist an infinite number of Woodin cardinals"? "The set of true statements of number theory"?

Each of these logical theories are each able to prove an increasing number of arithmetic propositions. What is or is not provable is relative the deduction system or selection of axioms.

For example, that big expression that I linked to is designed so that isn't provable in Peano Arithmetic, but it will be provable Martin-Löf type theory, ZF set theory, etc.
AnalyticDB: Real-Time OLAP Database System at Alibaba Cloud (2019) [pdf]
> Safety concerns revolve around cars losing their display for rear-facing cameras (now required by law) and consumers complaining it’s impossible to defog windshields with the center console inoperable. [0]

> Another complaint said the failure disabled safety monitors associated with Tesla’s driver-assistance system Autopilot. [1]

It looks like losing access to the touchscreen does actually effect safety components, and driver's abilities to use them. (Though I'm not clear on to what extent - driver's might just need to crack out the manual to see how else to defog, for example.)

[0] https://www.thetruthaboutcars.com/2020/06/tesla-investigated...

[1] https://www.reuters.com/article/us-tesla-safety/u-s-probes-t...
Well, with my cat in the childhood the translation was easy. Two meows (probably learned from "mama" = mom) meant that the cat wants attention from my mother. A single long meow meant that the cat wants to walk outside (well, this was specifically trained by meowing at the cat at appropriate times). A short meow meant either food or play, depending on the room where the cat is in.
Top Pharma Companies in India
Best Pharma Stocks based on Earning Per Share, Dividend Payouts, and Debts, Get to Learn About The Top Pharma Companies in India With Company Details
2.5 years?! Who wants stability that short?
Sounds like a fun job!
Who’s Afraid of Big Numbers?
How complete is the IMAP4 support?
I have used a steelcase leap, a herman miller aeron, a low budget costco chair.

Nothing has worked for me. I have given up and moved to a standing desk.

I use a wooden counter height
chair when I get tired. It works great for me!
What about me? I don't care about backwards compatibility - but I don't want "UWP" because it's impossible to make great apps following the guidelines.
Mac UI elements don't move around much—afaik they use about the same positioning that was decided when OSX was made. So the looks change but the layout not so much, and thus apps don't break on updates. Big Sur is probably the biggest change in the layout, in all these years.

Whereas MS keeps rearranging the layouts that were perhaps too complex to begin with. Especially the toolbars, with the row upon row of buttons and whatever other stuff MS crammed in there. My pet theory is that MS treats all UI as tables of various sizes, because it's easy for devs to just slap whatever they think up into rows. Apple was much better at the ‘proximity principle’ so avoided cramming from the start.

It also helps that MacOS is slimmer in terms of GUI apps—there's no ‘management console’ for admins and such heavy stuff. My litmus test of GUI environments is the control panel—and it's much lighter and more comprehensible in MacOS. (A similar telling exercise is comparing control panels of Gnome and KDE, at least it was when I last touched KDE in the 2000s.)
Perhaps dang already is a bot
I mean, sure, great.

But you can't enjoy years 90-150 without first surviving years 30-90.

Humans are statistically bad at doing the simple things that would help us live longer, like eating right, exercising regularly, and getting enough sleep. Most of us aren't going to make it to 90, and it's about half-and-half cancer versus heart disease what will kill us along the way.

Sure, I could exercise regularly, etc, and maybe reduce my chance of dying before 90, but as a statistical American there's an 80% chance I'm not gonna, and a 40% chance it will kill me.

Hence, I'd be much more excited if they could fix that with a pill. Fixing the dying of "old age" as my cellular machinery slowly degrads, also good, but I've got to survive long enough for that to be a problem first.
Directv dishes are only rated for 140F or 60C[0]. Pretty close, but it clearly makes a difference in Arizona.

0: https://www.att.com/support/smallbusiness/article/smb-direct....
Writing FreeDOS Programs in C (2020)
Sorry for the tangent but: I get really nostalgic looking at the Windows 3.1 icons. I remember using moreicons.dll for shortcuts so long ago that they didn't look out of place.

Almost everyone can relate to hearing a song, or a smell, that takes you back to a different time in society and your life, but it's weird to get it from a computer UI. I think it may happen for me because computing has always been such a big part of my life, even since early childhood.
This is just the wrong angle to look at this. The big screen was one of the features that was talked about the most. It was genius marketing, and also part of why the car felt like the future.
“mediocre” men fail up
Earlier this week:

"California's operating budget surplus, fueled by its surging economy and capital gains taxes, swelled to a record $75 billion..."

https://www.bloombergquint.com/gadfly/california-defies-doom...

This LA Times article warns that "California’s borrowing to pay unemployment benefits will balloon to $26.7 billion by the end of next year..."

$75 - $26.7 = $48.3 billion operating budget surplus
macOS isn't afraid to deprecate or completely remove things even if that means old things won't work. Windows demands 16 bit apps from the 90s should have a very decent shot at running on Windows 11. That level of "it'll always be there" means for the vast majority of old UI it has no technology pressure to be redone, only pressure of what most average users will see day to day. E.g. nobody at Windows is going to dump control panel (need 3rd party add-ons to work) and nobody is going to rewrite it in a backwards compatible way when most users can do everything via Settings these days and it works with all quirks for legacy apps as is.

That's not to say a lot of the Metro stuff shouldn't/couldn't be made to be Fluent but it also isn't as out of place as some of the older stuff. The only one that is really surprising is File Explorer - but again a lot of legacy app integration that wouldn't work with a new one (though maybe it is time anyways).
Study design: Tracks 200 people over one year and measures a suite of biomarkers at the beginning, 6 months, and 12 months. Participants are randomly assigned to one of four dosages or a placebo. Double blind.

The study hopes to find an optimal dose for humans using the various biomarkers as a guide. I’m not sure how well we can connect those biomarkers to actual longevity/healthspan.

Source: https://www.lifespan.io/news/a-campaign-to-launch-rapamycin-...
I believe it would have the opposite effect. Lower death rate appears to lead to people having fewer children. Most countries with GDP over $20K per person now average fewer than 2 children per woman[1]. I think a widely-available longevity breakthrough will lead to a population decline that will have to be managed.

[1] https://en.wikipedia.org/wiki/Income_and_fertility
The Human Genome Is–Finally –Complete
Same? If helicopters and fuel would be free, I bet everyone would fly one to store. Safety is the only concern here, and it is irrelevant for the topic.
Reminds me of this cat, who has been trained to express themselves via button-presses: https://www.youtube.com/channel/UCGMTesZlKa0Lokb7ZNqOJXQ
Some religions take a similar tact https://en.wikipedia.org/wiki/Tower_of_Silence
Slight correction - ‘ata’ means either father or grandfather (father of apples). The city was known to have a lot of apple trees in the surrounding mountains.
I wonder how big of a trebuchet you’d need to launch a body 3 miles.
“ When we let our minds wander and daydream, they become increasingly open to these divergent "bottom-up" diffractions and weak associations.”

This is really good to read. I like to take long drives and let my mind relax, and daydream a bit, it’s been great for helping me to figure out parts of the novel I’m still writing. I had not thought of it that letting my brain relax to daydream like that was changing the way it processed. I need to take more long drives!
> Under Windows, the rule has been that basically anything goes

Those rules were set by example by microsoft.
Doctors will refuse to do surgery if you refuse their stupid tests that don’t matter
This stuff causes cancer at higher doses for current use cases. Even if it increases life span on average, couldn't it also increase cancer rates?
I just posted this on another comment, but it turns out the Zoroastrians had a solution for this, which still allows the body to be recycled naturally.
https://en.wikipedia.org/wiki/Tower_of_Silence
Fear and stress harms the individual. It raises your cortisol, lowers the immune system etc.

My mother in law was so freaked out and in constant stress that she developed an infection combined with shingles (first time).
For me, reality is wherever I can communicate with other people. Reality is the inter-subjective (that is, the social constructs that people create and believe in together).

Incidentally, this is a major theme of the anime Serial Experiments Lain, which is what inspired me to think about the topic.
Morgan Stanley CEO tells employees if they want to WFH they will face pay cuts
So are software engineers in the USA! Particularly FAANG ones! And we get sensible working hours, plush offices and all modern conveniences. Pay isn’t really related to how much of a super expert you are unless you really, really are one.

Both my brother and his wife are doctors in the UK as well and I wouldn’t put up with the level of assessment and work they have to go through. My brother is 37 and still studying for and taking exams. Getting your medical degree is just the start of the learning process.
If you want an ORM, use GraphQL. It has the one thing missing in all other ORMs: it's a spec, not an implementation. Don't like one vendor, swap in another without breaking upstream services. Seriously, folks really underestimate the benefits of a published spec over a sea of inconsistent implementations.

Learn one ORM, you're SOL when the new team uses a different one. Time to start over again. Got a bug in your ORM? Hope they fix it, because migrating to another ORM is more painful than migrating SQL syntax. Need to work around the ORM? Why do you even have an ORM?

Can you imagine browsers if they didn't standardize on HTTP? Tied to a particular vendor's server or having ten different wire protocols competing?

That's where ORMs are now without a spec. It's insanity.
Maybe it's a matter of intended audience.

As a philistine in those subjects, it was a fascinating read for me and introduced ideas I hadn't considered before (proven or not).
Safety critical? Who knows, but probably depending on how you want to define "safety critical." Tesla runs practically every user control through the touch screen. Climate control, lighting, wipers. Did they design with reasonable fail-safes? I wouldn't want to bet my life on it.
> HTML filtering is the ability to filter the response body of HTML documents before it is parsed by the browser.

> For example, this allows the removal of specific tags in HTML documents before they are parsed and executed by the browser, something not possible in a reliable manner in other browsers. This feature requires the webRequest.filterResponseData() API, currently only available in Firefox.

https://github.com/gorhill/uBlock/wiki/uBlock-Origin-works-b...
I'm going to trust Gorhill on this one. If a significant feature _does not exist_ in Epic then the only way that it couldn't hurt performance is if it was somehow useless. I suspect the Epic people (accidentally?) didn't measure that aspect.
My Psychiatrist that I"ve known for around 10 years told me at my last meeting with him that I am his most successful case when it comes to coping with ADHD and trying to brute force my way through it. Even with the recognition from him who has consistently seen hundreds of patients over the years, I have to put an immense effort to move forward in the direction I want to go.

I wouldn't say not to explore it, but it has been debilitating in my case. If it isn't in yours (or hasn't been), I personally think you might not get much of a perceived benefit.
Moggi solved it in his thesis in ‘88.
I honestly don’t care if this isn’t “professional” enough for hackernews or not.

You have the self inflated ego of a psychopath if you think this is true. This comment is the living embodiment of the Dunning-Kruger effect.
It seems like we're saying the same thing. I complained that all defi can do is trade cryptocurrencies, and you said ah, but it can also trade cryptocurrencies.

I don't know what kind of remittances you think I'm in a bubble for being unaware of. The best way to explain would be to actually answer my question: what's the non-crypto use case that can be solved better with defi than without it?
I believe the question was about the mechanism by which you viewing the ad is reported to Brave, not how the ad display was implemented. (A weird interpretation of "reported".)
Yes, he talked extensively about rapamycin on the recent Tim Ferriss show podcast, in terms of its potential to extend lifetime. [1]

Also, scientist who has found this compound and saved it in his freezer to be used for transplants rejection problems, applied rapamycin on himself when he was given 6m to live prognosis based on late stage cancer he had. He lived 5 more years, and died short after he stopped taking rapamycin, to prove it was responsible for the cure. Amazing story.

[1] https://tim.blog/2021/06/08/peter-attia-2/
sure. I'm all for some semblance of due process. That wouldn't have stopped the people that disagree from sharing misinformation about some illegal occupation on instagram, like they do for Hawaii.
Analysis of top cyber attacks on critical infrastructure
Ah, I hadn't noticed you declaring your financial interest before and was wondering if you were a Brave employee.
Do aircraft engineers get a pass?

> the Bombardier CRJ aircraft used on some shorter routes have a maximum operating temperature of 118 degrees.

https://www.npr.org/sections/thetwo-way/2017/06/20/533662790...
> I believe the only way to position child HWNDs remains manual absolute positions? so while your button might look native, your collection of two buttons won't.

I thought the native APIs provided some kinds of constraints, like ‘these go into corners, and this is next to that’? Such approach is sorta necessary when windows can be resized. And I thought that UI builders like Visual Basic depended on these constraints. However I didn't do much manual UI, so perhaps the programmer indeed has to recalculate everything in pixels when something moves or is resized—like we did back in the day before we knew better.
No, I didn't mean to say to run win32 apps on OS X. I was comparing my idea to the thing[1] Apple actually made in the early 00s to ease the transition from classic Mac OS to OS X.

My idea is that Microsoft would build a special version of Windows that supports all kinds of legacy apps, and put it into a VM. And probably not update it much if ever. That would allow them to deprecate, and then remove, older APIs in the main system, which would in turn allow rewriting the internals to be less vulnerable. They totally have the resources needed to do this. And there's no technical innovation needed to do this, either.

As far as the end user is concerned, old apps still run. Except now they run in a sandboxed environment.

[1] https://en.wikipedia.org/wiki/List_of_macOS_components#Class...
I have the same question. Why not aggressively pay of the existing debt and reduce borrowing, when the sate has enough money in general budget.

> The independent Legislative Analyst’s Office estimates that the total debt may not be paid off until 2031.

Negative consequences on the timeline are so far from the decision making point, that it will be hard to attribute one to another.
The only consistency issue that really has bothered me is the constant mauling of the control panel. Windows 95 basically got it right, and every major release they just hide things further and further. And now the competing "Settings" thing is just an embarrassment. So now we have two competing ways of configuring the system, except the new one sucks and is incomplete, and the old one is kinda unmaintained.
Pilotwings is a huge exercise in Mode7 graphics. With some of the more recent builds of bsnes, it supports doing upscaling of Mode7, and it makes playing games like Pilotwings and Super Mario Kart a brand new experience. What's shown here won't do a whole lot for you, but this might be the trick.
This is the dumbest shit I have heard lmao. North America (and also poor parts of the UK weirdly) is full of this Be a Tough Guy aesthetic. “I kicked my son out of the house at 18 so he could learn to take care of himself in the world”. Dumbass shit hahaha. Taking care of yourself in the world is the easy part. It’s all the other shit that’s hard.

There’s a reason why there is such a strong ethnic correlation in US demographic outcomes that somehow clusters among groups where this belief is rarer.

Honestly, the one learning lesson for me is that this dumb shit is prevalent even in rich families (who have the resources to be told better).

Fortunately, this seems to have a significant impact on child outcomes, so you can beat the average by just letting poor parents give their kids Tough Love™ while you handle them properly. You can significantly out-compete their genetics with marginally better memetics.
Morgan Stanley advertises a discount for recruiting talented wfh employees.
You should work in network operation. I have seen BS go down for so many reasons…..
I have a server. I can upload video to my server. That was sort of the whole promise of the web...

YouTube made it so easy to upload video to their site instead that vast swaths of the population now seem to have forgotten that you can also upload video to your own site.

If a medical researcher has something to say: they could upload it to their university's site, or to their own personal site, or to the web site of whatever conference they want to present their talk at. Upload it to their blog, and then share the post's URL...

YouTube's policies deserve scrutiny and probably criticism. But I think it's a dead-end argument to say that mistakes in YouTube's policies can entirely stop a video from being disseminated online.
Maybe those that are exhibiting problems were sold to people that the engineers didn’t design for. Sales people don’t tend to care who they sell to $ometimes.