skysight-inc/HackerNews huggingface dataset:
This feels close to a lot of our thinking and why some of those pieces were originally written :) We (the Graphistry team) wrote the original Arrow JS implementation to help us bridge GPU visual analytics components in the browser with real-time GPU clusters in the data center, and our backend is DSLs like dataframes to make it easier to do that.

An interesting thing to me here is the layering of DSLs. E.g., SQL enables user-defined functions like filters, that push down to multi-GPU columnar analytics with the rest of the pipeline... and GPU arrow dataframes for zero copy / streaming to combine it all together. People are posting in this thread about 1M rows, but this stuff is built for 1B+. The DSLs means both analysts and devs work at high levels, and underneath, supercomputing.

Fun historical note wrt JS vs Python for GPU: both have different strengths/weaknesses.. but are basically fine-enough long-term, with tweaking. We started w/ proving out JS GPU dataframes on OpenCL to be more open + viz friendly, and after Nvidia liked using our platform, their RAPIDS.ai team spun up to bring the idea in a more corporate controlled & funded way to Python. That's where the community resources are, so we jumped on board, and every month is now quite a trip. GPU SQL, GPU streaming, etc :) JS does inlining and async better than Python, while Python has the data ecosystem, so I've been eagerly anticipating JS folks stepping up where we had to leave off.

It's exciting to see it all come together -- imo, still early days for what's possible!
Your sample size is too small. In my experience with thousands of servers with 64-512GB of ECC ram, not very many of them will have any ECC reports during use. Usually, everything works fine, but sometimes something will go wrong, and it's nice to know.

Of course, that's when I'm not paying the bills. I don't have ECC on my home systems, because of added expense, lower performance (no XMP ECC ram when I was shopping), and extra research needed. If a consumer oriented motherboard says it supports ECC, that may mean it lets you use ECC ram, but doesn't enable any of the reporting, which would be mostly useless; not completely useless, because used ECC ram from server retirements is sometimes very inexpensive, but it's often fully buffered, which is less likely to work in consumer platforms.
The other option that works really well in a single user environment is to bind to the runner's Docker daemon. That way builds run as siblings of the runner's daemon rather than as children via docker-in-docker.

The huge issue with that is security which is why it's only really practical for a single user or a small group of trusted users. A secondary issue is that (I think) builds can't run simultaneously because they can trample each other when tagging images (since all images are on the runner's daemon).

If I had to build a Docker focused CI system I'd think about using Weave Ignite (AWS Firecracker) to spin up VMs for runners with the Docker socket bound like described above. That way you get all the convenience of binding the Docker socket, but the isolation of a VM that gets thrown away after the build step (or pipeline) finishes. That idea also fits well with local running / debugging IMO because you can bind to the Docker socket on your development workstation (assuming you're not running a large build of parallel tasks which might be an unrealistic assumption).
Jabberwocky is a poem by Lewis Carroll.

https://en.wikipedia.org/wiki/Jabberwocky
Wow, this is extraordinary science. They identify the pathway for the bacterial symbiont to control the host's germline cell expression.
I can confirm that ECC DRAM worked as expected on my current AMD Ryzen 9 3900X, an AMD Phenom II x6 1090T that I had in a previous build, and an AMD Opteron 185 that I had in a build before that. The operating system detects the error-correction capability in the memory controller, and errors are properly detected (tested by reducing the memory timings slightly below stable values).

I don't think there's a mass-market laptop with ECC support, but AMD's desktop CPUs have supported ECC for as long as I can remember. That being said, it's been an optional feature that is up to the motherboard maker to implement, and not all do.
In my head at least, that’s a pretty good determinate of “Bricked”

Does it require a soldering iron to fix it?

No. Not “bricked”

Yes. “bricked”

(But I also totally accept that technical people are going to lose the language war here, same as when I used to rant about rc quadcopters not being “drones” since they’re not autonomous.)
I see what you did there. I wonder if the article's author intended the same.
You can also play with voltage settings if those are more accessible than speed and timing.

Or play with rowhammer tests.
In US, any cat that touches any shelter get spayed and neutered.

Some shelters are also kill shelter. If the cat doesn't get adopted, it will be put down.

Sometimes I wonder if we would accidentally make cats extinct.
Yep. I have a dock at my desk to hook up to my monitors.
This implies that people are giving up significant control of their devices, which isn't true.
Assuming it’s about loyalty.
Other possibilities are blackmail, sleeper agent, money, extortion
Ironically, amiunique.org is broken with JS disabled.
What lawsuit could they trivially win for an internet comment saying "their backend is AWS"?
> Please continue.

I think that a loss in purpose is worse than a loss in material wealth. I'm a scrappy student working on a startup I believe in, and I would not trade places with the successful entrepreneur.

I have fun climbing mountains. So does he. I have plenty of mountains to climb, while he's surrounded by the fog and believes he has no other mountains to climb. Ergo, I'm having fun while he believes he'll never have fun again.

> That is an excellent point.

Thank you.

> Personally I cannot think of anything more boring than a meeting of the EU Parliament, the UN, US Congress, or the CCP.

I never stated they have good taste :P

In all seriousness, I wouldn't really consider politicians the ruling class. Now, I'm not an expert on this topic, but I'd wager that the billionaire entrepreneurs have more power than the US senators being paid a measly $200K/year. Suppose they have a little side-hustle and make 1M/year; that's still peanuts.
<adjusts Make America Pedantic Again fedora>

Surely a typical brick contains a significant amount of silicon and sufficient trace amounts of germanium/boron/phosphorus to dope it into useable semiconductors...

(That’d make for an awesome YouTube channel project. How I melted down and refined a brick into pure enough elements to make semiconductors and working electronics, in my backyard... I’d totally subscribe to that Patreon.)
Cool, a motherboard with Non-US backdoors, but Russian ones. Certainly usable for security purposes. The third option is to use Chinese backdoors, some of them even with two in one (Chinese plus US). This has at least only one.
And the idea in the context of the original post is that this is supposed to be a parody of a formal math definition in a paper or textbook (using Jabberwocky vocabulary instead of real math vocabulary).
Governments mandate closing by X time or mandate masks while not seated... of course to minimize risk and spread. These same governments don't mandate closing the restaurant completely for... the economy? I'm not left or right on this COVID issue, just interested in these arbitrary restrictions.
Both important. It’s just that the world today is gear toward communication to the point of overloaded your every sensory available. What left of attention are all stole by social media and their ilk. People just can’t focus anymore, and when one cannot focus, one cannot attain higher skill one wish for. That’s the point, in my opinion, of course.
It's not as niche in web technologies as you might think.

Some domains that will benefit: ORM mappers, CSS style generation, configuration strings, path munging, localization.

> Also I believe that existing template litteral do accept general strings I did a POC a few months ago

... yes, template literals accept general strings. Like I said,

> Template literals that contain non-string-literal parameters will still generalize to string.

the new feature kicks in when all the parameters supplied to the template literal are value types themselves, or an OR of value types (I don't know if something even more expressive is supported).

I hope you try to understand better what TS is offering before you make uneducated criticisms of it.
Like most things, it’s even worse than some people realise.

I know people who refer to their phone as “bricked” when the battery is flat.
I think the intuition here is that if your error bars on the measurement are +- 40%, how can your accuracy on the error bars themselves be 4 significant figures, i.e. +-0.1%?
It now becomes clear that podman is a new way of folding docker into systemd.

at some point systemd is an embrance-and-extend formula to control the linux ecosystem
Drugs for the People: Rethinking the global pharmaceutical supply chain
But how would you run integration tests between multiple docker containers? We launch our services in these docker containers and do some integration / e2e tests, and this very much requires Gitlab CI to launch docker containers while inside a Docker container.

After using dind for some time we chose to just mount /var/run/docker.sock and keep using the host machine’s docker instance (mostly for the cache), but all in all dind was working fairly well.

To be honest, to say “you shouldn’t be doing that” is missing the point; one should be able to do anything they want. In my opinion, the root cause here is docker’s client/server model, which is fixed by other container runtimes such as podman and rkt (which unfortunately is deprecated). One should be able to just launch containers as if they were just another process.
Correlation does not equal causation.

But that said, my money is on them both being symptoms of some other imbalance.
Victor Gruen did for humans what Temple Grandin did for cattle.

She Used Her Autistic Mind Revolutionized the Cattle Industry | Bold & Untold by MAKERS

https://www.youtube.com/watch?v=a0dyDZFoEa4
Which sounds like your signal is "cogently explain something interesting about their side project" and not simply "did something worthwhile for free".
This is a limitation of Intel's platform, not a limitation inherent in ECC DRAM. You can overclock them just fine on AMD platforms.

That being said, unbuffered ECC DRAM, all other things being equal, probably won't overclock as high since the extra memory chip places a slightly higher load on the memory controller than equivalent non-ECC memory. In that sense, you could consider it "slower."
I’ve used Android 2010 to 2012, iOS 2012-2014 with iTunes Match, Android 2014 to 2020 with Google Music and just switched back to iOS with an iPhone 12 mini and Apple Music. I’m on Fi since 2015. After reading your message I realized how I probably should have used Android during the last year. To be honest, none of this was clear to me. I rooted for Android all the way, but at some point I started to migrate off the Google product and into an alternative when I got pushed from one service to the other for no benefits to me. On top of that, Android became more closed, with less and less apps being open source and replaced by proprietary Google apps. Now that I’m back to iOS I’m really amazed how the good parts just haven’t changed. Apple supports bringing my library just as well as iTunes Match did, for example. Also getting voice and sms on my laptop works out of the box, whereas a Fi on Android customer it sometimes worked better than other times for example I have no idea what I would use on a computer now that hangouts will be gone?
The source of the voice is the only thing that I honestly care about. Again, sympathetic but not practical. Banning a Facebook nut job with a hobby and banning the peer reviewed work of epidemiologists are not equal things. I don’t weigh all speech as equal. By the extension of your logic, all speech has equal value. It doesn’t.
I am surprised that ECC is not more popular. RAM errors (SEUs) are common in every platform. One hacker that I worked with almost a decade ago did this BlackHat presentation with some analysis that correlates errors with increased temperature (by geo-locating clients of "bit squatting").

I put together a new SuperMicro server a few months ago and went with 256GB of ECC. Yeah it's very expensive, but it's absolutely worth it if you care about the integrity of your data.

See: https://media.blackhat.com/bh-us-11/Dinaburg/BH_US_11_Dinabu...

Where are you now Artem?
I had a coworker that was employed with health insurance for 25 years, never used it. Got laid off and then right after COBRA ran out had something major go wrong. Had to get a second mortgage on his house to pay his medical bills.

Seems 'unfair' to pay in for almost 30 years and have that count for nothing.
Yep. Kids don't tend to blog. Maybe brag, but still in a different scenario ;-)
Facebook is just a digital representation of Mark Zuckerberg's character. Hypocrite and liar.
Not the original commenter but my guess is that it is some kind of fine-grained CPU fingerprinting. Something like: http://s3.eurecom.fr/docs/ccs18_iskander.pdf
>You can't do new cards everyday; eventually you will have seen all new cards of a deck. I'm still working decks whose new cards ran out years ago. The presence and scheduling of new cards is a temporary condition with little long-term significance.

My new cards comment was to explain why it's not 14x when you go on vacation.

>I've seen curious comments like this in various past forum discussions on the topic of Anki vacation ideas.

>A vacation is not a period of rest followed by double the amount of work to catch up.

>A vacation is a pause in work, which delays all subsequent work by that much time.

This is simply cheating the SRS. Some SRS programs do allow you to do this, wanikani does it for instance, but it is quite literally cheating. Instead of seeing it after 30 days, you see it after 44, but the program pretends it's only been 30. It's not a good feature, besides to make people feel better about themselves.

>I've seen curious comments like this in various past forum discussions on the topic of Anki vacation ideas.

It's cheating. And in this case, the only person you are cheating, is yourself.
I suppose you haven't been to a doctors office recently? Fax machines are a staple in every single one.
It should work. Who would trust Intel in this?
Nice work!
You mentioned you are using serpapi in one the response below. Are you simply fetching results from Google or are you also using some other ways to monitor these sites like
Facebook, Reddit and others natively. I would be curious to understand how you implemented it.
Source for multiple articles where media breathlessly claims that HBOT reverses aging?
> I think that a loss in purpose is worse than a loss in material wealth.

I agree and thank you for sharing your perspective.

> In all seriousness, I wouldn't really consider politicians the ruling class. Now, I'm not an expert on this topic, but I'd wager that the billionaire entrepreneurs have more power than the US senators being paid a measly $200K/year. Suppose they have a little side-hustle and make 1M/year; that's still peanuts.

Thats true but they are part of a powerful decision making body. The people who tell them what to do are a more exclusive group. And some senators somehow end up worth $100mm, that money comes from somewhere and they don't make it by accident.
I'm a beginner in proof assistents, can you give some examples of many kinds of math ruled out? And what is UIP?
Are you talking along the lines of the red family of provers?

What makes the cubical approach more powerful? What makes lean weak?
I'm going to keep eating at restaurants.

EDIT: It's a more pleasant experience to eat outside anyways. Hopefully the warm days will continue for another few weeks in the Northeast.
On of my favorite memories is talking about this RFC with Jon Postel. RIP.
I feel like Ubuntu has literally been the user friendly Linux desktop OS for ages now. I don’t really know what all else competes w/ it because in my view nothing has really toppled it since its introduction.

Pop_OS! is impressive, as is elementaryOS but Ubuntu tends to be their & many others base.

Linux distros need to think in layers in regards to users & either ramp up or ramp down the level of complexity better. This idea of one size fits all is dumb, make some difficult decisions & create an OS that caters to at least 2 or 3 different type of users & I think Linux distros could compete a lot easier.

Instead we waste our time talking of merits of one approach vs another. We can walk & chew gum at the same time, it’s not about the approach as much as just recognizing where people are at & meeting them there.
Correct! Bird lovers would hate to see those birds die, but the LiDar was the facility which allowed high-res atmospheric studies. FAST, or most other telescopes, don't have this capacity, especially with any comparable size (which allows us to amplify the signal when focused).

Truly sad.
98 million? They’re counting the same followers multiple times lol
Unbuffered ECC memory is definitely more expensive, but ECC support on AMD motherboards is common. I'm currently running ECC on an ASRock B450M Pro4, which was one of the least expensive AMD Ryzen motherboards available at the time I purchased it (without going to the very down-market A320 series).
I've, unrealistically wanted there to be "read only" access where someone would then apply to some organization demonstrating aptitude for write access.

I'm just joking but then again I'm really not
I failed to add that the stores aren't eliminated by this either so we are also incurring increased memory traffic unnecessarily.
This is the site that got me into designing flash. I was so entertained and thought every website should have an intro like that. Build one for our website, not anywhere as close to professional, and realized how annoying it was to wait for that animation every time I loaded the site.
I'm curious, what format do you use for cards to do this? Do you use Cloze cards like: My delivery driver is ___? How do you specify in the card which co-worker you mean?
I’m amazed that this is still something people need to be told. Everything we know about the disease, how it spreads, and the relative risks of various activities... you have to take your mask off to consume anything in a restaurant, liquids are what make drink and food, the social experience puts humans in close proximity, the ventilation is the worst airflow people are likely experiencing outside their own homes or their workplace if they’re essential or ordered back. I love to eat out. I wouldn’t dream of sitting in a restaurant right now.
It depends what you want to do with it. If you want to use it for a mobile robot, run the Raspberry Pi off a battery, then yes, power does matter.
> “The environmental group claims the 1.23m tonnes of water stored in more than 1,000 tanks at the plant contains “dangerous” levels of the radioactive isotope carbon-14”

> “Carbon-14 has a half life of 5,370 years and becomes “incorporated into all living matter”, the report said.

“It concentrates in fish at a level thousands of times higher than tritium. Carbon-14 is especially important as a major contributor to collective human radiation dose and has the potential to damage human DNA.”

Lots of things have the potential to damage DNA. Lots of things in the ambient environment today. Much higher than tritium isn’t surprising, since they must really be talking about tritiated water and that won’t accumulate at all. Easy to be 1000s of times higher than 0.

“Since many sources of human food are ultimately derived from terrestrial plants, the relative concentration of carbon-14 in our bodies is nearly identical to the relative concentration in the atmosphere. The rates of disintegration of potassium-40 and carbon-14 in the normal adult body are comparable (a few thousand disintegrated nuclei per second).[46] The beta-decays from external (environmental) radiocarbon contribute approximately 0.01 mSv/year (1 mrem/year) to each person's dose of ionizing radiation.[47] This is small compared to the doses from potassium-40 (0.39 mSv/year) and radon (variable).”

https://en.wikipedia.org/wiki/Carbon-14

So what is the expected increase in ionizing radiation from ingesting fish exposed to the level of C-14 expected during release? The only objective relevant fact? The omission in the article suggests...not much. If it all sinks to the bottom before areal dispersal, maybe a bigger deal.
If you mount docker.sock you're building on the runner's daemon so you have to worry about builds interfering with each other. If you use docker-in-docker you get a clean environment every time.
Monte Carlo simulations.
> what’s the plan for Docker?

Rosetta doesn’t support virtualisation (which would be needed to run the Linux VM under which the containers run).

So you’d need an ARM version of Docker, and an ARM Linux VM, and since the containers rely on that Linux kernel, I assume ARM containers running ARM software.

https://developer.apple.com/documentation/apple_silicon/abou...

I suppose it might be possible to develop a para-virtualisation framework that runs under Rosetta.
For anyone following in these footsteps: It works well.

I spent more time fighting Swift Argument Parser than the NIOSSH. Fundamentally, there is not a way to pass context down to a command that is run. Fine when you are a whole program reading its commands and everything is implicitly global, but if you have a bunch of SSH connections coming in then just getting the output to the right one needs context.

I'm not real happy with my solution, but its clean and it works. Figure two days to get a usable subsystem working.

I have a few more things to try to clean up my mess. If it works I'll tidy up the package and publish it.
uMatrix development has ended though, no more updates will arrive.
that is really greedy of Pantheon, how to escape Pantheon.

i would run it like this, WP2static, generate the blog,

upload to a free ipfs, unlimited bandwidth , these days they provide upto 2gb free hosting, for static files this is lots of power. upload and hook the ipfs hash to your domain.

ipfs could be used with many public gateways, so you could make a forward the user to another cdn.yourdomain.com easily

alternatives is to use, the sia > skynet hosting which is free. and is extremely fast
Not that it makes sense anyway. Somehow 𝑈⊆𝑋 and 𝑈∈𝑋.
They’re either making the best of the worst situation (can’t mandate closure, can’t fund relief for the people who depend on the income) or cynical (“efforts”), often some of both. Still better than the defiance of refusing any restrictions.
Why Amazon radically redesigned the Echo
UIP is "unicity of identity proofs". I think this will rule proofs where we wish to talk about proofs of equality of two objects. I don't know off the top of my head any math that wants to do such a thing, but I'm far from an expert.
That looks great, I will definitely try that out. How well does the time-to-response work as a proxy for how difficult it was to remember something? Is there an option to specify that manually instead?
Which STM32 part? Some of them have a hardware RNG.
AFAIU you can't switch to a shell runner unless you self host gitlab runner.
You can live well even with a fifth of a Brooklyn income in Istanbul
UIP is uniqueness of identity proofs. It's an axiom that says that all proofs of x = y (that two terms are propositionally equal) are the same.

Now, UIP is valid if the only way of proving an equality is to show that the two terms are definitionally equal. However, there are various type theories, such as Homotopy Type Theory, in which this axiom does not hold because propositional equality can have other proofs.