skysight-inc/HackerNews huggingface dataset:
Just in case you haven't already done this:

Try using ShellExView to disable all 3rd party shell extensions. There's a good chance that something like Acrobat is running some code that doesn't play nice with your windows version (or hardware etc).
Yes, I was shocked when I finally decided to try a pinetab and got all the way to checkout before discovering a $60 shipping charge for my $160 tablet. Disappointed, "remove from cart," guess I'll buy some android tablet instead.
They criticize lack of support for native ASTC decoding in modern GPUs. I'm wondering, how beneficial would ASTC compressed textures be for game sizes (on disk and for VRAM)?

A quick search gives me https://www.khronos.org/blog/game-developer-adoption-and-att... which concludes ASTC adoption is hindered on PC due to lack of hardware support, while it's heavily used on mobile platforms.
How is a sea launch going to help with a late first stage, or 2nd stage malfunction leading to RUD?
> Also, if you don’t trust their DNS (or their DNS provider of choice under the hood), why would you trust your HTTP traffic with them anyway?

Right. It's not clear whether the article author realizes that iCloud Private Relay uses Cloudflare essentially and not just for DNS. From Apple's iCloud Private Relay
Overview: "The second internet relay is operated by third-party partners who are some of the largest content delivery networks (CDNs) in the world."
> In particular, 妛 was probably created when printers tried to create 𡚴 by cutting and pasting 山 and 女 together.

It's crazy to think that a lot of written Kanji and Hanzi come from print drifting and a small accumulation of errors, similar to how many new words are formed in spoken language.
That's only the most recent incident... A few years back he was caught silently editing users posts that were critical of him.
This is the only explanation I’ve ever been able to imagine. It applied to PowerPoint’s slide transitions for a ridiculously long time too—I think it might have been 2007 before it finally got sensible transitions.

But I find it difficult to believe. You could scroll through a web page smoothly, and a slide transition is the same thing. I’m not sure how that was supported technically in those pre-compositor days. Fade is a little more complex, as you’re needing to interpolate each pixel between two images rather than just translating a static double-sized image. Not sure about that one; at 1024×768@60Hz that is 47 million pixel calculations per second, touching up to 38MB of memory for the two bitmaps being interpolated between, and if the CPU had to do the interpolation, it probably couldn’t quite.
The article already links to that very document.
https://news.ycombinator.com/item?id=36375544
Ok so Let's Encrypt is not a root CA? From the post it seems it is an intermediate CA that would be verified by verifying there chain up until the root CA. But I have Let's Encrypt CA certificate installed in my operating system. And so I am still confused what's a root CA and what's an intermediate one.
Wow. You really only think of the costs of your consumption?

It’s the costs of our production that propagates through time. Your consumption ends with you and is largely irrelevant. What are you helping to create? What does that look like in 50 years?

I can’t imagine justifying my existence by what I don’t leave in the toilet.
I switch to Jellyfin because Plex was always spamming me to try some off-brand streaming service. I know this behavior is so normalized that even Ubuntu Linux does it now but actions have consequences and it does drive users away.
Thanks! The computer opponent still needs some work though, it is quite easy to beat (just leave the last 2 boxes of any "string" in the end game, and it will force it to open a new string for you).
Oh no, I realize what software I use is Java. Swing feels bad to use. On my workstation at least, JetBrains IDEs are slow, I haven’t used it in a long time, but Eclipse was slow, NetBeans was slow, there’s an enterprisey Java web start application I need to use at work and that’s slow. Like I said, Minecraft is the only piece of software written in Java that I enjoyed using.
Amazon still has some 555s but the top hits for the 595s list them as discontinued. I was trying to determine the price difference since I didn’t spot it in the article.
My ol Ma is 96, I take her to lunch on Tuesdays, go grocery shopping.

She's sharp, keeps up on the family and her great-grands, knows who's changing jobs, who's got a birthday coming up.

If she lives to 100 I wouldn't be surprised at all.
With steady population & increased lifespans, people better be ready to work til their 70s (at least) because you will have fewer workers per retiree to support them than in the growth model..
Steve Huffman, aka Spez, falsely claimed that Apollo creator (Christian Selig) had threatened and blackmailed Reddit for $10M.

The facts are that no threat nor blackmail attempt was made and Spez had entirely invented and spread the false claims as an attempt to discredit Selig.

In response to the false claims, Christian Selig released a recording of the phone call that disproved the claim and cleared his name. As Selig is in Canada, he was legally entitled to record and release the phone call. Huffman took umbrage at this action because it revealed Huffman's deceptive conduct.

Later in a Reddit "AMA", Huffman continued stating falsehoods about interactions with Selig, in spite of the evidence.

https://techcrunch.com/2023/06/09/reddit-ceo-doubles-down-on...
It's kind of a chicken and egg situation. The biggest thing businesses need is someone that they trust who has gotten great results for 5-6 of their peer businesses, such that they get recommended to use this person/org and that when they talk to this person/org they know their problems so well and can talk confidently about what the business is dealing with, will need, and can attain.

So, you need to pick the thing where you can get great results for 5-6 businesses and have them as case studies - most likely no one will ask to see the case studies, but it's more about having the internal skill you get from doing them.

Some things that might help you figure that out:

1) Which type of businesses and buyers (i.e. titles/roles/problems) would you pick if you were picking the one that'd make it easiest for you to reach your first 10 customers? For example where do you have practice in selling to a certain type of org or a personal network that includes many of a certain type of buyer in your first degree network

2) Which type of business and buyers do you believe you'll be able to get the best results for?

3) Which type of buyers do you like the most and feel like you can best teach, and where they'll want to listen to you teach them? Businesses (and people in general) like buying from people who have successfully educated them about things that they care about

If there's no obvious answer to the above questions for you, then my suggestion would be to brainstorm your best options, and go try them all out either in parallel or in sequence, and then if one of them seems to work well for you, double down on that one.
This is just to show how deregulation is not working. The moment when British government allowed companies to dump sewage into rivers and ocean when they can't treat it, suddenly no company could treat the sewage and everyone started discharging it. Why? Because it is cheaper. Free market forces in action.
vscode. mssql plugin because that's what I'm dealing with.
I know what you mean, but equally if people can’t apply the same principle re: hype and excitement then personally I think it’s nice to have a bit of a counterbalance.
> doesn't have all that much value beyond emails/passwords

I would bet that it has even lower value than that. They were only able to get 80gigs of data -- basically nothing compared to reddit's actual dataset. This means they probably didnt get anywhere close to any high value databases (or even low value).

Also, the fact that they dont even describe what type of data they managed to get a hold of tells me its probably not that meaningful. Reddit should definitely not be paying these extortionists regardless of what was swiped.
Couple of things not mentioned in the Slate article.

1. Network - ensure everyone you know especially social media friends knows you are looking for work and what you can do. Build new networks if you have to in your local area and in your field of employment.

2. If you have a low income year, convert your traditional IRAs to Roth while your tax is low.
Email is throwaway and generally hardly read. Put two or three questions in an email, get an answer to only the 1st or last. Nobody bothers to pay attention or be diligent.

So very different from snail mail? I don't know, I don't get snail mail any more and haven't for years. Except junk mail which goes straight to the burn pile.

So maybe the whole question is moot. Like, don't write email like telegrams.

Hell, email is nearly obsolete. Younger generations don't hardly use it.
I don't want to quibble about names (and I wasn't the person to come up with the term "baby logic"), but the point is that just introducing a couple of connectives and proof strategies doesn't even constitute the basics of what mathematical logic really is about. Which btw I'm perfectly fine with, most people don't need more than that.

If you do want to study logic formally, the basics start with well-formed formulas, signatures, etc.

I guess what you call it doesn't matter a lot, but the discussion seems to have started with the assertion that most students, even in mathematics, never really learn formal logic, and I would agree with that (under my definition of "formal logic"), while also agreeing with you that you can't pursue a degree in maths without knowing how induction works or what a bijection is. But still, most people don't need to know exactly how to formalise induction and that it's actually (in its full form) a second-order axiom.
The longer I'm reading recent stories about reddit, the more H. reminds me of... Bad Luck Brian
Remember, "root" and "intermediate" are terms that apply to certificates, not organizations. Let's Encrypt does operate two root certificates which you can see installed in your OS/browser. They also operate several intermediate certificates (which were issued by their root certificates), since CAs are not allowed to issue website certificates directly from roots.

Root and intermediate certificates are both able to issue further certificates; the difference is that roots are installed directly in your OS/browser.
Forever is a stretch, maybe “until the end of my career” tools. That list of tools could eventually be replaced, but I bet whatever comes after them will be forced to adopt a lot of their metaphors to gain acceptance. For instance, maybe excel eventually gets replaced, but the thing that kills it will feel a lot like it. The experience won’t be wasted, useful things you learned to do in it will continue to be useful in the new tool.
I mean to be fair it does need to find a way to pay for itself. I paid for a subscription, removed those streaming channels and I don’t think I have been pestered about them in a long time.
Let's Encrypt is kinda both. They originally operated under an intermediate signed by another CA, which they still do, though in a kinda hacky way (the root they originally were signed under is expired). But they also have their own root by now.

Though you shouldn't have a certificate called "Let's Encrypt" in your root certificate store, as it is called ISRG Root. (ISRG stands for Internet Security Research Group, and is the legal entity behind Let's Encrypt.)
Those grifters at Fox are geniuses. They know their audience very well and how to take an uninformed mind down any path they wish.
I think that is basically the human condition. That said, we are at a point, at least in US, where information about people has been released several times over. The sheer amount of free monitoring I have received over the past 2 years alone would likely last me at least through my lifetime and I am not sure I am exaggerating much.

If that is the case: fuck it. Lets make it miserable for everyone until the pain is felt to an extent that necessitates changes.
I paid $148 USD for the HD595s in 2011. They still work just as well today, but I'm disappointed to find out 14 years later I was conned into paying more for a false premium.
A Non-Mathematical Introduction to Kalman Filters for Programmers
When it comes to writing stories, this model is way behind ChatGpt 3.5
I wonder if the author of the article believes his own words.

>When I wrote in October that Mark Zuckerberg was going to kill his company, the street responded in kind, savaging Meta’s stock.

He seems a bit delusional.

It picks on the likes of FB, Google,Uber, Tesla and uses that to justify a whole host of things like he's the only sane one and the rest of the market is dumb.

FB, Google are money printing machines that will continue for years.

>Uber has not made a profit from its businesses

This is just a downright lie. Also, uber is still experiencing high revenue growth but it's costs have not been rising for years. Maybe investors can follow a trend line and understand Uber's not going anywhere?

>They had a net loss of 1.21 billion last quarter, yet the street fell over itself to praise the company because “gross bookings grew 19% year-over-year”

This quote seems especially dishonest. Ubers revenue grew almost 90% YoY... and he uses the 19% bookings as a reason investors liked it?? It's handpicked information to match his points, not reality. He must have searched really hard for the dumb metric.
This is a cool article.

I am quite sure that the main sticking point remains: CA name are not what you think it is so master that concept firstly before poising any CA questions; far too many do not get this ecosystem of certificate authorities and how they come to be.
Huffman seems to be drawing inspiration from Elon Musk, according to a recent interview.

“Long story short, my takeaway from Twitter and Elon at Twitter is reaffirming that we can build a really good business in this space at our scale,” Huffman said.

“Now, they’ve taken the dramatic road,” he added, “and I guess I can’t sit here and say that we’re not either, but I think there’s a lot of opportunity here.”

The puzzle pieces sort of fell into place when I read that, because he's acting like an Elon knock-off. This is why they should replace him, because just like Elon is driving Twitter into the ground, the frantic Elon-like decisions of Huffman are driving reddit into the ground.

This isn't about Reddit not being allowed to make money or turn a profit or have a good IPO. The decisions made so far seem to run counter to Reddit's ability to do just that. Who will buy into an IPO of a burning platform that is at war with its own users? How do you make money from an API that's too expensive for people to pay for?
They've been shown to follow the law in jurisdictions where it's lawful for the government to censor citizens' speech.

What you're missing is it's ILLEGAL and UNCONSTITUTIONAL to do such a thing in the US by the US government, which is at the heart of the Twitter Files controversy. Censoring public discourse among the voting electorate especially concerning matters of national importance and electoral candidates is without question a form of election manipulation, which has, and will continue to, affect the outcome. So it is not wrong to say that our elections, or any elections amidst broad, systemic censorship/collusion by the government with contractors, academia and corporations, was a government-manipulated one.

With free speech one can accept that there will be inaccurate takes from all sides that have to be distilled and debated, but that stops when these ideas can't even be spoken about.
> The question still is whether "folk theorems" are real. Certainly Cantor's theorem is no such folk theorem, as you have just been given a fully formal proof.

I didn't say that Cantor's theorem is a folk theorem, only that some proofs aren't even trivial to formalize. Many other things are trivial to formalize, but they still require filling in a lot of obvious steps. It often wouldn't be practically feasible to prove them with a standard first-order calculus, otherwise proof system languages wouldn't need higher order systems with advanced type theory.

> Cantors theorem usually refers to the existence of uncountable sets, which can be proven by showing that there is no bijection between N and R, but also by showing that there is no bijection between a set and its powerset.

Yes, but I was talking about his diagonal argument, not his powerset argument. That's a different proof from a different paper.

> This is only relevant if you say that the real numbers are "infinte strings of digits", which is not a formal definition and therefore not used in mathematics.

Well, I'm not saying that, but the Coq proof seems to assume it. That was the problem I was talking about.
Google definitely did everything they could to marginalize Firefox, but Firefox's position isn't entirely the making of Google. Mozilla was also busy messing things up, and alienate not only their adhoc users, but many of their diehard fanatics also.

Firefox isn't dying because it's a bad browser or because it has no place on the market. It is dying because of mismanagement, mostly for not knowing what their users really want and need. They have no idea why their current users are using their browser, instead of Chrome. They just go with the stream, and seemingly are content that Google is keeping them on life support.

But it doesn't mean that new browsers will make the same mistakes, or that there is no need for new ones at all.

With that said, I would be lying if I would say that you are completely wrong. I just don't want you to be right, regardless how slim of a chance it is, because the state of internet is not getting any better that way.
The premium version is needed for codec support (basically anything above basic Dolby, so all the lossless codecs and possibly Dolby digital+). It’s well worth the annual cost, been using it for a few years now and it’s a bulletproof setup for me. I use it with a local SMB share as I’ve no need for multi user support or remote access.
I can’t find anything recent but it’s a topic he’s thought a lot about over the years: http://eyetap.blogspot.com/2012/10/the-sousveillance-scenari...
If you're using Chrome, there's Scroll To Text Fragment, and it works on any page regardless of its markup.

https://chromestatus.com/feature/4733392803332096

Doing this manually is tedious, but a browser extension would make it super easy.
doing whatever the police tells you to do and following the law aren't the same thing.
Visualising Multi-Sensor Predictions from a Rice Disease Classifier
Never heard of that before. A quick google says it can cause cancer to spread if it’s already there. Makes sense, but then if you have cancer already you’re at a point where there’s no good options; just slightly less bad options, in my opinion!
I'd love this generating images for a Don Woods' Adventure version.
Or for Nethack/Slashem.
If you add a private salt, you won't be able to do "grouping" or identifying duplicates, which is what this thread was discussing.

If it was me, and I wanted "independent" researchers to highlight clusters or duplicates I would do the following as a first-pass solution:

Store an internal mapping of IP->unique sequential number, likewise do the same for usernames. The goal is that it's random and not based on any hash or ordering. So people with either the IP, username or username + IP, can't identify the unique internal numbers.

Then release those. Though tbf, if I was part of any sort of "bot prevention" or "sock puppet identification" team at Reddit, I'd be doing this already. But we all know the dirty secret is to not actually track down such abuse, but to appear like you are doing so, so that you can inflate your user count with plausible deniability.
Funny how 'religious beliefs' works for the dominant religion but not for the folks hanging the flags. Really it means one religion owns the local government.
Users should always assume that their data can and probably will be shared, sold, stolen or otherwise mishandled on socials. People already share personal and private information in both public and private subs, almost always using pseudonyms.
Unless you’re doing Reddit wrong, more users wouldn’t lose much in terms of privacy.
Also these tunes are XM modules. XM is a popular tracker. Trackers are type of music making software pioneered by Soundtracker on Amiga.

I wouldn't be surprised if many of these tunes have just been ripped from somewhere else and not actually made by keygen crackers themselves.
Thanks for reading!

Indeed, if people take one thing away from this article, it should be that the name in CA certificates is meaningless.
I recall a French law restricting photographing people in public without permission. I saw it on a photography forum, not sure if it was accurate.
Try $100/hour for big LLM's... And you're probably going to need a fleet of 16 machines unless you want to quantize it and do inference only.
Gnome Wayland vs. X.org Performance for Radeon and Nvidia Gaming on Ubuntu 23.04
Author here! Thank you for sharing :)
I don’t know about their cans but I do know that in the early days of ear buds I played a Cat and Mouse game with Sony where about every second new model they produced had really good bass response, often in a fairly reasonably priced model. I ended up buying backups to carry me through to the next next model. Looking back, I wonder if Sony had two teams with alternating release cycles, and the engineers on one team were better than the other. If it was some sort of marketing strategy it’s over my head.
I didn't say the crime was fine. I don't think that in either scenario it shouldn't be investigated.

Reddit failed to keep that information safe, and if it's an user's information they need to do what they can to keep it safe. They don't get to make the choice if it's someone else's information. If it's theirs, go hard, let it leak if they want.
you need 94gb, does not matter which RAM.
Have been using Jellyfin on my synology server for the past 2 years. It's a dream, but you do need to name your files/directories per their naming convention: https://jellyfin.org/docs/general/server/media/shows/ -- https://jellyfin.org/docs/general/server/media/movies/
They mostly failed, specially in Java (JAAS) and .NET (CAS) case, because almost no one bothered to actually configure them properly, beyond the gotchas that they also had.

So it is up to using OS features instead, which are also struggling to reinvent themselves, beyond user/admin legacy models into more sensible ones.
You don’t have to do it big, just do it small. You aren’t making landfills, you don’t need to save a forest.

Make a little house for solitary bees on your windowsill. Guerilla plant a tree once a week. Flower-bomb some vacant lots for the local bees. Create something useful that reduces wasteful consumption, and open source it to the world.

The key here is that everything I mentioned is a positive motion. It creates something new that is useful. You cannot create a worthwhile world just by using public transportation or biking instead of driving. Sure, reducing your footprint matters, but it will go to zero when you die anyway. Do things that can transcend your tiny life, do them frequently, and some of them actually will.

All of those things are doable with minimal effort, and everyone who does those kinds of things it changes the world in significant ways.
i've had two pairs of ATH-M50s (one black, one white) and they both turn into a giant mess once the painted vinyl (or whatever it is) starts flaking off after a few years.