skysight-inc/HackerNews huggingface dataset:
This probably won't work on binaries that contain references to system files necessary in order to run the binary that aren't code. You usually can't detect them other than running the program and watching it die, or running the program with strace and looking for the files it's trying to stat/open.

In the past what I've done when I have to copy a binary somewhere, is statically compile it in a Docker container and export the install files, then copy those over. I have about a half dozen tools prepped like that (gdb, curl, strace, busybox, etc)
scrolling memes
They have a huge design team making custom silicon. They deserve a bit more credit even if they’re leaning on ARM IP.
Fun anecdote about that: at work we added a wrapper around nvcc to point it at the right compiler, and renamed the original "nvcc" binary to ".nvcc-wrapped". But nvcc looks at argv[0] to print out its name in the --version output, and it truncates anything after a period (presumably to handle things like "nvcc.exe"?). And CMake's CUDA detection looks at nvcc --version. So CMake went down a really weird path where it knew that nvcc existed but didn't really believe it was nvcc, which was extremely confusing until I looked at some log output and went "wait, why isn't nvcc printing its own name".
From the abstract: "We compared the mutations of Omicron with prior variants of concern (Alpha, Beta, Gamma, Delta), variants of interest (Lambda, Mu, Eta, Iota and Kappa), and all 1523 SARS-CoV-2 lineages constituting 5.4 million SARS-CoV-2 genomes."

There must be a massive number of vaccine formula possibilities that will need to be tested.
Getting any type of car is a type of luxury and likely does not make any economic sense for most drivers today: taxi, rentals, airplanes, trains and other public transport can probably take average family through 10 years for the average price of the new car they are buying (I am ignoring the fact that most people are buying used, but that argument does not help the relatively new EV industry).

It only makes economic sense for those that need a car for their work (taxis, delivery, lots of client meetings...), and that's where electric cars already have an economic advantage. So the "economic sense" is not the reason people buy cars in the first place, but instead convenience it affords them.

I'd love to get an electric car for my city driving, but considering what car my family can fit into, it'd have to be something like an Ioniq 5 at 50K€. And if it was available at that price range 2 years ago when I was getting a new car (still significantly cheaper than Ioniq5), maybe I just would have bit the bullet. But I had to perhaps spend 100K€ on a Tesla or 80k€ on a Jaguar I-pace just to get a comparatively sized car back then.

Renting a car for those one or two trips can be pretty expensive, especially in the travel season, when cars are mostly gone quickly (on top of a cost of an electric car vs. a petrol car). You also have to plan ahead and those impromptu long-weekend trips are now suddenly much harder.

But anyway, we WILL get there. The fact that there are enough people willing to live through the inconveniences caused by EVs today means that infrastructure will get on par, and then none of us will have an excuse.

But pretending that these are not inconveniences in a tool most people get for their convenience does not help anyone.
A popular docker image for calibre uses Guacamole:

https://github.com/linuxserver/docker-calibre

It’s not as smooth as a web application but it works well. Might be useful as a reference if you want to setup your own instance too.
There is a strong internal mandate for internal services to switch over to gravitron. So they either likely have this data, or are just trying to free up more x64 cores for external customers.
> The Ethereum virtual machine has the equivalent computational power of an Atari 2600

Is there a source for the computational power of the ethereum VM?
Agree. I'm in my mid 50s; I figure anything more than another 15 years or so is a gift. That doesn't sound like a lot of time in retrospect; thinking about 2006 does not seem like very long ago to me. So there's a growing sense of there not being a lot of time left, and a stronger desire to spend it on simple things that give me satisfaction rather than building more software that will be obsolete before it's really even finished or learning new technologies that will be "legacy" by the time I can really be productive with them.

At the same time I have zero interest in longevity. I will live the life I've been granted, for as long as it lasts. Then I'll get out of the way.
They may not run those particular services on the same hosts but they heavily use Lambda (and docker) which can share hosts and be tossed around the data centers to saturate cores.
IMHO real answer isn't to use "go get" instead of "pipx install"; the answer is to use Go to build statically-linked binaries and then to distribute those binaries with an OS-level, language-agnostic package manager (e.g. Homebrew or apt-get).
Linus's argument is that devs will use the same processors in production that they develop on. But everyone already has to develop for ARM because mobile runs ARM. And now the M1 Macs do too (and these AWS servers). So if you're forced to use ARM because of mobile and now there are good options for desktop and servers to use ARM as well, I don't see why people wouldn't switch to them. Basically Linus's own logic seems to contradict his claim.
Often doing the stupid thing is the right thing to do, instead of thinking hard to do the smart thing that ultimately wont be needed and will be harder to understand.

So juniors thinks twice before doing stupid simple stuff. Intermediates thinks twice and does smart stuff. Seniors only does smart stuff where it is needed and does the stupid simple stuff without thinking in most places.
Sure you can if you’re addressing a disease of aging.
Morning exposure to deep red light improves declining eyesight
Chainsaw chains actually do need fairly good lubrication. The chain can run ~60mph, snugly against the bar. Metal-on-metal.
ecobee has all the options you are complaining about, min compressor/furnace time, temp deviation, thresholds, and lot more settings.

[1] https://support.ecobee.com/s/articles/Threshold-settings-for...
But Parler's risk analysis should have included "we are unusually toxic so we may face unusual deplatforming". If a large number of normal companies are kicked of AWS someone will build a compat shim.
The only thing lower than a top poster is an inline poster who doesn’t trim.
I totally agree with everything you said except that devs are switching faster. I think first to switch was low end chrome books and surface go type devices. M1 is pulling the devs and professionals in, and gaming will be the last holdout (due to optimized IP that may be abandonware and never updated).
Kotlin does but sadly Java’s Optional<T> has no syntactic sugar, so it ends up looking like

Optional.ofNullable(user).map(User::getUsername).map(name -> name.contains(searchString))
I think you are answering “is it better bandwidth per household”, while I am talking mb/S per dollar and ROI.

Where I am 5g is same price as fixed broadband but faster for my plan.

Are you paying and using 1g/s have no caps ?
Depends whose canon you're talking about because there is no canonical canon. Kazantzakis was very influenced by Gnosticism which set him at odds with the Orthodox and Catholic versions. Personally I found the story to be the most accessible and human version of the story.
Yup. Enough to flow over the base of the cast iron pan without any gaps.

When you heat the pan you can see the water bubble out of the iron pores. I let it cool, wipe it out, and hang it up.
The margins on hardware are terrible. Multiplied by how few people care about home automation and you get a project that’s probably not making money.

The two ways to close that gap are cloud service revenue (paid monthly or with privacy) or to charge thousands instead of hundreds for a thermostat.

Also, an ESP8266 costs 5-10$ and all the software needed to build your own gear can be one-click installed with the Arduino IDE. That’s what preserving freedom and privacy costs today.
It's pretty easy to extend lifespan in lab mice that live in safe, sterile cages with optimal diets. I suspect those medications all have side effects that would reduce or eliminate the net benefits in wild animals that have to contend with pathogens, injuries, predators, food scarcity, etc.
> I can't escape the feeling that AWS is taking credit for industry trends (DDR5) and Arm's decisions (Neoverse).

ARM is just a design. AWS brought it to market. ARM-based server processors are still rare on the ground. IIRC Equinix Metal and Oracle Cloud offer them (Ampere chips) but not GCP or Azure.

We've tested Graviton2 for data warehouse workloads and the price/performance was about 25% cheaper and 25% faster than comparable Intel-based VMs. Still crunching the numbers but that's the approximate shape of the results.
The wording of the headline seems to be blindingly obvious, but the actual finding seems to be "usually they get it right but if not you'll spend more time fiddling with it than a regular one." Well, OK. Doesn't seem horrible.
There is another important difference: the expert thinks twice before doing anything at all.
I liked the IoT web as web 3.0

Web 1.0 - The internet of information
Web 2.0 - The internet of people
Web 3.0 - The internet of things

That was a clear progression that was easy to understand.
Depending on your goal, I quite like using pandoc [1] for rendering math in HTML. I can write something like:

Equation:

$$x=\frac{1}{2}$$

Unfortunately there is no common in-browser Math rendering and as the referenced article points out, pictures of equations are not the solution [2]. A common mathematics rendering format is desperately needed but nobody really seems motivated to solve it.

My approach is to use MathML that is rendered natively by Firefox and use JS to render in other browsers [3]. MathJax is way too heavy the last time I checked (growing towards 1MB) [4]. Instead I use math-ml, a JS library that is somewhat complete/abandoned but mostly works in about 80kB [5].

My rational for supporting Firefox's approach is that it's the browser I use, MathML is supported by W3C [6], MathML is supported by pandoc and there is a lightweight workaround for other browsers.

[1] https://pandoc.org/

[2] https://danilafe.com/blog/math_rendering_is_wrong/

[3] https://coffeespace.org.uk/projects/mathml-render.html

[4] https://www.mathjax.org/

[5] https://github.com/pshihn/math-ml

[6] http://www.w3.org/1998/Math/MathML
I think most mainstream Hollywood studios are not interested in depicting extent religious mythology because it's bound to incur protests from someone or other. So it stays on the margins of the industry with only True Believers willing to tie their career prospects to material that's bound to be so polarizing and opinionated.
Trying to suggest nothing, I am explicitly saying there is nothing in the article to lead a reasonable person down the shadow government and deep state path
It seems vanilla spying or vanilla state backed industrial espionage
You completely missed the point about man pages. It doesn't matter what the man page was written in, it's still a man page, optimized for viewing in text terminal. It makes no sense to use this format for web browser. Vlc also had a man page, but the developers know the difference between a man page and proper documentation. It's completely unsuitable for new users using any sufficiently complex application like a video player.
Math today does a lot of things you couldn't do with math back then. It isn't just syntactic sugar, there were simply lots of problems they didn't know how to solve since the math they had wasn't powerful enough to solve it. Calculus for example solved a lot of problems they have, and calculus isn't syntactic sugar for anything, it is a new instruction set.

However the code abstractions people used 50 years ago could still implement all programs we have today. We added a lot of sugar on top, but the core of coding remained the same. For example, you could implement Map, Reduce etc in C, they are just functions and not novel features of programming.
OK, that's specific and actionable: process and workflow which simply don't work. I've encountered this myself, with other firms (as I don't use Facebook).

Your earlier gripes were pretty broad and vague. In particular, they didn't show much consideration for how an entity the size of FB (or even considerably smaller) might deal with the fact that distinguishing justified vs. unjustified account lockouts might be problematic.

A few months back, gwd posted this:

In superhero comic books and movies, the real superpower is certainty. The good guys always know who the bad guys are; it's just a matter of defeating them. In the real world, we have plenty of power to defeat the bad guys; it's just not always clear who the bad guys are.

https://news.ycombinator.com/item?id=26619006

It's really easy to adjudicate locked-out accounts if you know for certain who's naughty and who's nice. It's a lot harder when you can't determine that easily, and many of the naughty profiles act like the nice ones.

Play with different mixes of good-faith and bad-faith actors, and the problem gets even more complicated. See the discussions of airport security testing, where the target being sought is 1 in millions or more, and the inconveniences of false positives (detained innocent passengers) and the consequences of a false negative (a hijacking or terrorist attack) are severe.

That's what account-recovery teams are dealing with.

(It's also a large part of much other present interactions, including commerce, credit, and a whole bunch else.)

It's easy to dismiss behaviour as ridiculous with a shallow understanding.

And despite my absolute lack of sympathy for Facebook, their scope and scale of the problem they're dealing with is impressive, and worth thinking through.
You mention on the github that you're running this demo on a lightweight 1GB/1vCPU VM - how many calls/concurrent users can this support with that hardware?
I still don’t quite understand. The inductive step shows n + 1 → n right? However with any positive base case b, n → n + 1 isn’t certain for any integers above b, only below it.

Say you’ve proved the case for n = 3 and that n + 1 → n. Then you’ve proven that 2 + 1 → 3, and by induction 1 + 1 → 2, However you’ve never proven it for n = 4 because n → n + 1 has never been established.

Or am I missing something here?

EDIT: I’ve seen in other posts that this the problem with OP is that it hides the transitivity of the operation. In fact the failure of the proof was that it proved transitivity with a false premise. If transitivity was true, then using n + 1 → n is just fine. The Wikipedia article for this statement is actually a lot clearer. https://en.wikipedia.org/wiki/All_horses_are_the_same_color
Specifically 15 kHz. If you're okay with rough approximations then 480p VGA will be okay. If you really want the original art then you need to bend over backwards to get the original, strange aspect ratios and non-square pixels. It is indeed nice to have a project that outputs authentic analog video signals.
> For a master-planned tract house built in the 1990's... maybe.

Not even then. 30 years would be ridiculous. Even in the US, all the houses in my area (west coast, so nothing is all that old) back to the late 1800s are still being used as residential housing. Renovated, of course, probably several times, but the bones are the same.
The decentralized nature of the platform's development causes the learning curve to be quite a bit steeper for noobs. There's also an awful lot of launches/examples without even a short explanation as to why someone might want to go this route vs. SAM or CDK. That's troublesome for someone who wants/needs a more holistic view of projects.
> don't switch major datastores

Agree with you strongly. Also by committing to a database you can take advantage of things it does for you rather than trying to stay "generic" and portable. Pick a database (I like Postgres), and then wring everything you can out of it.
this is the solution, the only problem is that it requires you to spend money (the full-featured USB-C cables are expensive) and throw things out, two things most people hate doing.
As an employer in a small company (circa 50 employees), salaries are one of the harder things to get right.

Firstly, most everyone rates themselves relative to their peers higher than they rate them. Anecdotally I had 3 staff, "doing the same job" all (individually) complain to me that they were better than the other 2, and thus deserved more.

Of course at this level there's no such thing as "the same job" and a myriad of factors come into play. Some emps are quiet, but effecient - some appear to get more done but ultimately their work needs more oversight and correction.

Some put in hours at home (leading others to think they work longer). Some used to be effective, but have lost motivation etc.

(bear in mind that it's hard to reduce salaries, so some end up being overpaid for a while before remedial action is seen. Most of that action, while ongoing, is also not advertised to other staff.)

Some people offer value to the whole outside of the formal work parameters. They help their peers get unstuck, they are good teachers, they create cohesiveness and model our desired culture and so on. Customer support is a job, and two people can do it, and solve the problem, but customers might perceive it differently based on other softer skills.

All of this to say, when it comes to salaries we do yhd best we can.

We don't advertise because if we did we'd be explicitly inviting people to compare themselves in a success / failure way. Ie a zero sum game. And doing that means most of the staff will perceive failure, even the ones who get more. It creates unnecessary psychological input which has mostly downside to everyone.

Everyone has value. It's unnecessary to start ranking people explicitly based on salary.

Edit: We have no problem with people comparing salaries, and people can an do ask for raises.
Yes and, in contrast, the connectors for cables inside desktop computers are mostly distinct and difficult to plug into the wrong ports.
It's intellectually lazy arguing. They're basically trying to take the position of "It's not real until you can have a scientific or political consensus by APPROVED thought leaders."

It's a chicken and egg issue. You can assume if you have an egg you'll eventually get a chicken, but he's saying "you don't know that 'for sure'" until the chicken hatches. It's just feels like concern trolling.
The best 'faith based' stuff focuses on the content or experience, not Disneyfied characterization of the Bible.

U2 is a Christian band, they make Gospel music. They just stopped saying that back in the 1970's but if you look at their lyrics it becomes immediately obvious. In fact, blatant. Literally their hit song "He Works in Mysterious Ways". They don't even hide it, yet, nobody is really aware.

That to me is mind-blowing: how something can be so obvious, right in front of our eyes, not even denied ... and we don't see it.

Mr. Rogers Neighbourhood is 100% Ministering without apparent Ministering.

'Children of Men' is possibly my favourite film, it's literally a Nativity Story.

... but the last thing on the planet I would ever want to listen to is a 'Christian Band' that calls themselves a 'Christian Band'.
> Also, in a hundred years there'll be people making up retronyms for .arpa.

We've already got one! It's been backronymed as "Address and Routing Parameter Area" by IANA[1].

[1]: https://www.iana.org/domains/arpa
My phone got super warm and I lost a few percent just reading it a couple minutes.

Pretty terrible experience.
But why would anyone assume that n horses, for arbitrary n, are the same color?

That's absurd. Anyone who's ever seen a field with horses in it would trivially know that this is a faulty assumption to make.

You might as well say "We can prove that coconuts can migrate. First, assume that coconuts can migrate. Thus, coconuts migrate".

It's equally valid logic.
How to Build $1M
I wonder if a viable strategy for a future pandemic outbreak might be to deliberately encourage less lethal mutations to survive by, for example, having lockdowns that apply to contacts, friends and relatives of someone who died only?
Agree with 1. I'm part of 3. Regarding 2, it does matter for anything that has bits of optimized c code that was only done for x86. I have a lot of Node and Python things that don't run on my M1 natively (they even crash on qemu x86 vms whatever the kind of cpu features I emulate).
I often use exodus to move software onto a Synology NAS (after hosing my installation in the past through haphazard use of alternative package managers) and it has been incredibly helpful. It's great to be able to bring over utilities without fighting with docker, building appimages, or the like.

Thank you so much for it!

It just works most of the time, which is wild given how diverse the environments it operates in can be. One piece of software I have struggled with however is w3m.

Wrong __data_start/_end pair
Aborted (core dumped)

I get the above error messages which I understand to be related to libc, but I cannot get around it. Is this something anyone has seen before?
The important distinction is the type of user making the complaint. A youtube partner gets their comments deleted whereas random people don't. It would then go without saying, the larger the voice the more scrutiny it may receive.

All I'm seeing from your responses however is just intellectual laziness, borderline concern trolling and trying to mostly defend anti-American actions from a large American corporation. I'm not sure what your goal is, but I don't think you're having this discussion in good faith.

You're also asking for proof of censorship, I'm not sure if you understand how what you ask literally would be nearly impossible to provide because it would be censored. It would have to have you go on and trust to some degree that something was said.

If you want to go about arguing with your "strongly intellectual" mindset you're going to have a rough time being able to comprehend counter intuitive discussions involving the destruction of the very evidence you're trying to discuss.
Small sample size, yet seemingly a strong signal.

Sounds simple enough to do, I guess a clinically approved version will cost a hundred quid.

With blue light to reduce SAD does this mean we just need bright light in the morning?
The good thing I see at work is that we all make everything work for x86 and arm. So we can deploy on any kind of cloud platform cpu and not worry about that anymore.
Kierkegaard and Entrepreneurship (2016)
We carry a full set of adapters including NEMA 14-50 and TT-30 so we can charge at state parks and RV parks along the route. We also have a nice air mattress so we can sleep in the Model Y overnight while the car charges. This is quite comfortable in a Tesla because you have climate control while you sleep. Probably not a viable option if you have kids but it works well for two people.
I'm about to leave a system running on a pi 4 for a few months. Any details on your advice? Based on cursory googling [1] your setup looks non-trivial>

[1]: https://forums.raspberrypi.com/viewtopic.php?t=284991
I have a few automations, but they are also explicitly set to certain values that I chose. No ML or anything. Works pretty well for me.

But then I also avoid "smart" devices that require internet connectivity.
Giving time it does. I've used it to lubricate hinges and other stuff when I didn't have a proper lubricant available
Well, Opteron is an ancient processor, I don't think we can make any conclusion based on that. Today's server processors has enormous caches compared to Opteron.

Honestly in cases you mention, badly designed processes killing the Cpu, I fail to see how faster ram makes a huge difference.
They are coming. Clearly not as impressive as the latest m1 max and pro, but getting there.