skysight-inc/HackerNews huggingface dataset:
TL;DR I would not assume they are not using it, or that this is about 3.125% memory/cache usage.

Longer answer:

Google folks were responsible for pushing on Hardware MTE in the first place - It originally came from the folks who also did work on ASAN, syzkaller, etc.
They are not in Android, but it was done with the help and support of folks in Android. That's the Google side, it was obviously a partnership with ARM/etc as well.

I was the director for the teams that created/pushed on it, way back when - this was years ago at this point because of the lead times on a hardware/architecture feature like this.

So i'm very familiar with the tradeoffs.

It is more than just the memory usage or cache. The post is correct that it was designed to be able to be enabled/disabled dynamically, and needed to have expected perf cost ~0, but the main use case at the time was sampling based bug finding.

That is, if you turn MTE on (whether servers, phones, whatever) for 1% of the time for your entire fleet, and you have a large enough fleet, you will find basically all bugs very quickly. You can do this during dogfooding, etc.

Put another way - the goal was to make it possible to use have the equivalent of ASAN be flipped on and off when you want it.

Keeping it on all the time as a security mitigation was a secondary possibility, and has issues besides memory overhead.

For example, you will suddenly cause tons of user-visible crashes. But not even consistently.
You will crash on phones with MTE, but not without it (which is most of them).

This is probably not the experience you want for a user.

For a developer, you would now have to force everyone to test on MTE enabled phones when there are ~1 of them. This is not likely to make developers happy.

Are there security exploits it will mitigate? Yes, they will crash instead of be exploitable.
Are there harmless bugs it will catch? Yes.

But keep in mind what i said at the beginning - i would not assume they don't use it.

I would instead assume they don't necessarily use it in production on all the time.

Anyone who has experience on hardware feature bringup of this kind will tell you the fact that they can boot and run the system and only when they do this one thing does it crash under MTE is actually a very good sign they do use it.

Otherwise it would have probably crashed a million times :)

As an aside - It's also not obvious it's the best choice for run-time mitigation.
It's good risk reduction, especially since Ponte Vecchio failed.
>once again offering users nothing in return for their hard work.

What does this guy want users to get? Is the platform not enough?
So it seemingly works. Are they this afraid of eavesdropping?
They're not wrong that sampling a complex, higher-dimensional probability distribution is hard to do efficiently. I'm not sure how useful it is to do it more efficiently, though.

Also, the fact that they're using ultra-cold superconductors makes me wonder how much noise helps and how much it hurts. If your system is all about leveraging noise well, but you can only use super special well-behaved noise, then "bad noise" could easily ruin the quality of your generated solutions.

It's cool to see something so wacky out there, though!
It's rough, I'm looking =)
I love that you said this.

>After all, Turing very explicitly modeled it after the activity of a mathematician working with a notebook. The read head represents the eyes of the mathematician scanning the notebook for symbols, the write head is their pencil, and the tape is the notebook itself.

My feeling on this is complete opposite to yours. To me, this is completely valid mode of discovery, and possibly even what led to the thought of the Turing machine. We are after all, interested in mimicking/reproducing the we way think. So it's perfectly sensible that one would "think about how we think" to try and come up with a model of computation.

I dont care at all about this argument of whether to call something biomemic or not. Thats just semantics. What you associate with meaning "biomemic" is subject to interpretation and one can only establish an objective criteria for it by asserting ones own mental model is the only correct one.
While Le Corbusier is not strictly brutalism he gives a similar vibe

https://archeyes.com/the-saint-pierre-church-in-firminy-le-c...
Really happy about 2 things: 1) we agree that (as you put it) you have to love it to do it for a lifetime and 2) You haven't had to put up with what most of us do.

> in fact have productive colleges who are nearing 70

Yeah, its not like you turn 47 and your brain just turns to yogurt. The changes are real, but subtle; e.g. I'm better at foreseeing and avoiding risks.

Here's the thing though: the things which didn't happen to you are, by and large, completely out of your control. I won't name any names (cough a south-american river cough) but some companies are notorious for throwing engineers into the thunder dome until they burn out, and are then summarily discarded.

Whether you face age discrimination, or whether your code is thrown out, or whether you are thrown into a death march, but can't leave the company because your options haven't vested--those aren't things you do to yourself, its something other people who have control over your income do.

There isn't some technique you can use, or some effort you can put in, to ensure you don't see age discrimination. Although I have had colleagues who color their hair and beard. But by and large, if you don't experience any of those, its just because you got lucky.

Engineering management is hard, and not many people are good at it. Whether you get a good one or bad one matters.
Geologists explore the hidden history of Colorado's Spanish Peaks
I remember a wave of $1 iPhone charging cables on Amazon! (with expensive delivery cost :)
same thing that is happening everywhere. cognitive effort is getting unbalanced, it used to be necessary to put effort in on write, and on read.

now, it is hard to tell who put effort in at all. read or write.

would you consider your own response to be optimistic or high effort?
Is that supposed to be a good or bad kitchen? It looks hard to move around in, but the colors are nice.
The problem is also nowadays the decoration, ornamental or pictures could be machined into wall elements quiet chiefly. Imagine a house with walls of family history moments. Today bauhaus is mostly a symbol of the terror rule of the economic over the aestetic and the suppression of individualism in architecture.
Incorrect. One call to trigger a step function that sets up the lifecycle rule, sleeps for 24 hours and then deletes the bucket.

Stop being silly, as if 1 vs 2 API calls matters. You should empty large buckets with lifecycle policies. It's trivial.
I'm not a fan of how AirBnB has displayed pricing in the past, but don't lose sight of how bad hotel pricing is: taxes and fees not displayed until the checkout page, "resort" fees added at any time, etc.

There are no good guys here.
Some speculate that universities adopted it as introductory language for its expressiveness and flat learning curve. Scientific / research projects in those unis started picking Python, since all students already knew it. And now we're here
Seems they spent $438,346,000 on research and development.

[1] https://www.sec.gov/Archives/edgar/data/1713445/000162828024...
* A lack of fork() makes starting new processes slow.

* All Python webservers that somewhat support multiprocessing on Windows disable the IOCP asyncio event loop when using more than one process (because it breaks in random ways), so you're left with the slower select() event loop which doesn't support more than 512 connections.
The moderators and users of Reddit aren’t the people paying for the hosting and development of the service - a service which has never turned a profit.

I think this idea that “moderators should be paid” or that users of Reddit deserve shares of the company just because the website wouldn’t be very useful without the users is such a stretch.

That would be like saying that people who post classified ads in the newspaper should own the newspaper. After all, the newspaper would have far less revenue and value without classifieds.
Yeah they train well and very stably even int8, maxtext now has LLaMA and mistral support too, pytorch xla gets 50% MFU with spmd and you have some nice stacks like levanter

Haven't been too impressed with inference versus tensor rt llm for example though
Indeed, faster speeds, greater efficiency over distance, lower power, higher density interconnect, … it creates a very different balance of constraints from what electronics are optimized for.
We bill per document, so the number of pages wouldn't impact the pricing. A 5 pages invoice would come at 1 cent per page. However, it seems that each and every company has different needs and the pricing may or may not make sense for them. There are alternative billing options that we are considering but we want to keep it easy to grasp rather than go into billing kilobytes or ms of execution. We would be more than happy to discuss use cases and see what can work for each company :)
Precisely what’s going to happen eventually. I mention that towards the end of my post.
Industrialization replaced almost all physical labor in factories. Sure there are still some left but those are the ones cheaper to fill/program a human than a robot.

AI will do the same, if allowed, eventually, to mental jobs
Words are Worse than Weights
Would you support compatibility with .http files in the future?
Got me, first time I've ever had to fill out something like this
Well done!!!
"None of the people that spent hours of their lives lovingly contributing to Subreddits, or performing the vital-but-thankless role of moderation, will make a profit off of Reddit's public listing"

So? It's not a paid job, nobody said it was. You don't even own your Reddit posts. If you want something in return for your time spent, don't agree to terms you disagree with. Plenty of moderators are just doing it for the sake of it.
>Sites may have to find a way to restrict the damage

The best you can do is create AI that detects AI but that's hardly effective. Twitter can't even get rid of "PUSSY IN BIO".

>search engines may have to prioritize results from sites that do

You mean the same search engines that prioritize Quora, Pininterest and Medium which have all also become progressively worse?

> but the traffic will go to the sites that best solve it. Nobody wants to read an infinite amount of AI spew.

We have already witnessed the sites with the most aggressive recommendation algorithms and quick dopamine generators like TikTok win, not sites with high quality content.
Aren't developer salaries, servers, etc., included in that? That's what I seem to recall from recent tax changes that were discussed here a few weeks ago.
The Guide to Hiring Remote Developers for Startups
Discover how startups can effectively hire remote developers worldwide.
Disclaimer: I technically still am employed at Genesis Cloud (though no longer actively involved).

Genesis Cloud started integration and testing of Gaudi2 quite a while ago. I fully agree with the take of the article.

I can't promise per hour rental, but for longer times they are available! (should you be interested you can find contact details on the website)
I use Adminer, very minimal

https://github.com/vrana/adminer
It’s absolutely not idiotic. What’s idiotic is that so few other countries do not see national security threats from US based social media companies
I am aware of that. It doesn’t stop the talking point of “no evidence of harm” dating back to thalidomide, tobacco and more recent examples.
>Most engineering teams have some sort of approval process, often called a technical review, which is usually reserved for the later stages in a project. The problem with late-stage technical reviews is that when they happen too late, like when a direction or design has already been built out, they can lead to launch-blocking feedback.

At our company, technical design reviews happen before any work on a feature begins. I thought it's the case everywhere. Why would anyone review a design/ architecture after it's already been built?

It's also never just an approval here, most devs usually have something to say, and a technical design can be completely rewritten/rethought.

Also we don't formalize it too much, it's just a few folks in an informal setting discussing diagrams for 1-2 hours. In the end we decide if it looks good enough after all the tweaks, or we need another session.
That's not the same as what's being used on GrapheneOS. It also excludes a significant portion of Bluetooth. Enabling support for memory tagging in the stock Pixel OS via developer options only makes it available for usage but doesn't actually use it. You also need to enable heap memory tagging via the Android Debug Bridge (ADB) shell via setprop. It provides no value through simply being enabled without using it to tag allocations. You can fully enable userspace heap MTE for the stock OS via the standard allocator implementation (Scudo) which is currently not particularly hardened. You can also use KASan via the MTE backend using setprop, but that's not designed for hardening right now and it's not clear it will ever be. There likely needs to be a separate MTE implementation for the kernel that's not part of KASan, which we haven't done yet for GrapheneOS either so MTE hardening is currently a userspace feature.

GrapheneOS uses our own implementation of hardware memory tagging for hardened_malloc with stronger security properties. In order to enable it by default for the base OS, we had to fix or work around various issues including this one. We use MTE in asymmetric mode across all cores rather than using asynchronous MTE for the main cores. Asymmetric mode is asynchronous for writes but synchronous for reads, which blocks exploitation properly rather than having a window of opportunity to succeed with exploitation. It gets checked on system calls and io_uring (another potential source of bypasses) is only available to 2 core system processes on Android via SELinux restrictions (fastbootd which is only used during installation and snapuserd used by the core OS after applying updates).

GrapheneOS always uses heap MTE for the base OS and apps known to be compatible with it. For user installed apps which are not in our compatibility database and which do not mark themselves as compatible, we provide a per-app toggle for enable MTE. Users can also toggle on using MTE by default for user installed apps which may not be compatible and can instead opt-out for incompatible apps. In order for this to be usable, we had to implement a user-facing crash reporting system. We did this in a way that users can easily copy a useful crash report to provide developers.
All they came up with is bog standard enshittification stuff. I could have consulted that to them for well under a hundredth of what they paid.
I would be willing to bet even if you told the insurance companies it was totally legal on a professional race track -- they'd say "Nope, we still don't want to insure someone that takes his car on professional race tracks like that."
Did you get "connection reset by peer" when you sent a bit too many requests perchance? I've never found the source of that in my programs. There's no server logging about it, connections are just rejected. None of the docs talk about this.
>in a few years they'll be the Pets.com of our era

Pets.com only lasted for 2 years (November 1998 - November 2000)

Reddit is active since 2005, 18 years
is this remote (worldwide) or US remote only ?
Ah, the bulk of the 20k would be for a cover or garage. I still don't know how I feel about not having a heated space- leaving a car outside in winter means the stuck on road snow and slush doesn't melt off body panels, so they'll rust even faster.

As it is, I have a spare 60 amp line out to where the garage used to be (it was rather dilapidated and I haven't had spare funds to put a new one up yet).
That's what everyone said about TPM and Secure Boot, and now you can't, e.g., play Valorant without enabling both.
Hear hear, better to see someone go for broke trying something novel.

At best they advance the field massively, at worst the backers lose their money but the tech/knowledge finds a home elsewhere and the knowledge in the field is nudged forward.
At the moment it isn't bad - the subscription ad bar shows once per year I believe. But locking voice messages in privacy settings behind paywall isn't nice. It seems they also locked text messages from everyone behind premium quite recently because I'm pretty sure you could set it up to contacts only without paying. Now it's "contacts and premium users"; so basically "you can get spam from unknown contacts unless you pay us for the feature".

I guess they'll start locking more features soon. 150PLN/~35€ per year isn't something I'd pay for an messenger app.

As for alternatives, I'm looking back at Signal which was installed by few friends of mine already but they were rather experimenting with it than becoming active users. There's Session, SimpleX which both look quite interesting, and of course there's Matrix but none interested anyone from my circles and I doubt it would do. They're singing "I won't install another app on my phone" and "Messenger is enough for me, why I would install that" tunes.
A Guide to Noise Sources in MOS Transistors
The score goes from 0 to 140 so that there's some room for when the computers will get faster.
When we started working on this, all browsers were maxed at 140, so the computation got changed.
They're not giving it to us, they're letting us buy it.
It's not a separate language, you can just start typing your programs right now.
Thanks for illuminating this complicated issue! It's so common to blurt slogans and deny subtlety.

Anecdote: The first (and last) episode of MythBusters I watched pretended to prove you couldn't start a fire by rubbing sticks together. Proceeded to make an ignorant hash of it, tried to create a bow etc but used it upside-down and so on. Conclusion: Myth! You can't start a fire with sticks.

Except, my 12-year-old Boy Scouts do it all the time. For fun.

When somebody says "That tool is crap", good to consider the source.
I have an M1 Air 16gb and it's the best computer I've ever owned by such a wide margin that it's hard to believe they could improve it. Hard to overstate how dramatic an improvement it is relative to intel machines, especially if you tend to push your computer. It almost never heats up, and the battery lasts forever. Remarkable engineering.
It sounds like this is as advanced as DocRaptor[1]. They have what I consider to be the best PDF generation API, giving complete control over the documents you need to create. The pricing is similar.

If you'd rather do it for free weasyprint[2] is the best open source alternative.

Another more affordable option you might want to consider is Urlbox[3]. (Disclosure: I work on this)

Urlbox's rendering engine is based on Chrome. It's been refined over the last 11 years to render pages as images or PDFs[4] that look great. I was a customer for 5 years before I joined the team. Everything we'd tried before Urlbox was a disappointment.

Urlbox probably can't match the power of either Onedoc or DocRaptor, but pricing starts at less than $0.01 per document and drops significantly with scale. If your PDF looks great when saving as PDF in Chrome it should look identically brilliant with Urlbox.

[1]: https://docraptor.com
[2]: https://weasyprint.org
[3]: https://urlbox.com
[4]: https://urlbox.com/html-to-pdf
Love obsidian and it’s cute that the site itself is presented as a ‘canvas’ interface element, but…

not a great experience on mobile (iOS/safari) - pinch to zoom and drag to scroll are both a bit busted, the zoom ui controls can disappear altogether, and there’s no ui indication that the box on the right, that contains the details of the spec, is actually a scrollable container (ie no scroll bar visible)
I totally agree. I’m very interested in some kind of data modeling representation that’s a lot more user-friendly.

The core problem as I understand it is the difference between references and values.
Maybe that's the US hotel booking experience, I live in Europe and haven't encountered those dumb fees.
> People don't die when "proteins stop folding". They die much, much earlier.

When? Why?

Heat kills becauses it unfolds proteins. If that happens in your heart, you get a heart attack--that's the proximate cause of death. The ultimate cause remains, however, unless we're talking about charring or vaporising heat, your proteins misfolding.

The other common way to die from heat is dehydration, which kills by altering your electrolyte imbalance which causes arrythmia. But that can be countered through hydration. (Until the proteins in your gut start misfolding.)

Side note: I didn't say you die because your proteins stop folding. I said you die because your proteins stop folding properly.

> less resistance you have, the earlier you die

The resistance comes in the form of heat-shock proteins [1], which "enable excess heat to be stored temporarily" [2]. Above 40°C, your HSR proteins start misfolding. There is no resistance nor acclimation beyond that limit. Our chemistry doesn't permit it.

Variations exist in the 40 to 45°C regime in terms of tolerance duration, but that's irrelevant when we're talking about climate. Above 40°C / 104° F wet-bulb temperature, everyone without access to cooling will eventually die. You can't build resistance to it because that literally involves evolving proteins which, to my knowledge, don't exist in mammals.

[1] https://en.wikipedia.org/wiki/Heat_shock_protein

[2] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4515708/
I think the goal was last attempt at nation building in middleeast (that started in 70s, due to oil being way more important for US than now). In order to do nation building of course you have to shake the country and its structure, but you try to shake out the bad people, install stable and reasonable government and plant seeds for democracy, try and introduce some liberalism, education, infrastructure.

It failed, yes. But it succeeded in great many places, eastern europe, large part of south east asia, some african countries.

Russia is just a sorry ass loser, their country is in downward spiral and needs to exert power over its sphere of influence, thing is that countries in that sphere some time ago decided they dont really want to be aligned. Thus Russia decided to punish Ukraine otherwise the rest will also fall out of sphere (ironically I think they accelerated that process even more).
The only reason anyone does the cleaning is because the host can then leave a poor review. Does the law cover this angle?
> The problem with this is that it is impractical for people that use see alot of value in using this tech.

I would be happy to turn down the tech, but I wonder how long until I can't feasibly buy a car (or a car I want) without it...
> It's at least as good as the short story but expands on the ideas and the story line significantly.

I don't know about this one (I only read the story) but every time I've read a full novel that was originally a short or novelette it felt dragged out. Even when I didn't know beforehand it was made out of a short.

It's sad that the market for shorts is basically gone.

Oh... wait! Let's go on a tangent.

I used to subscribe to Asimov's on Kindle before they kicked separate subscriptions out and left only Kindle unlimited available...

Asimov's went to some dubious solution through some distributor that had their own mobile app, so I didn't renew there.

Well guess what: I checked Asimov's again and now they still have the dubious app but it looks like you can subscribe directly on their site and get epubs and pdfs! Guess I wasn't the only one who didn't like the dubious app...

There is hope for shorts after all...