skysight-inc/HackerNews huggingface dataset:
I wonder how much smaller it could be if they drop IE
If I'm interacting with my friends on facebook, it means I'm spending irreplaceable moments of my life looking at a screen and not spending it with them in the real world.

Even worse, I'm helping Facebook make money that they'll use to further harm society. It's a lose-lose.
And rapists targeting criminals, because the victim won’t go to the police.
Diablo II was amazing for us because we played on a LAN without internet access.
> Showing the user nonsensical warnings like
"Someone is trying to steal your credit card information!!!!11" only creates
confusion and misconceptions about security.

So is this suggesting that browsers should automatically trust all certificates? The Kazakh government sure would like that to happen.
Honestly, for almost all businesses, stick with .com -- anything else is just creating unnecessary friction for users and risk for the business.

There are some exceptions:

Most national TLDs are widely accepted (so, minimal friction) in their own country. If you've got time and money enough, buy a bunch of your likely markets, and just use them to redirect to your .com.

.io has decent traction for gaming. If you can work it into your marketing enough that ~no-one accidentally uses your-company.com instead, it can work.

Depending on the business, some other TLDs might make sense, but this is when you need to look into who is running them, how widely they're supported, and make your risk assessment.
There is nothing silly with characterizing a person's abilities, potential health issues, intelligence, and physical extents for purposes of the government via genetics. It's horrifying and very possible. Likely going on in some countries already. I'm not sure why you suggest otherwise.
> Heck, you can write some pretty terrible code, and as long as it’s not some specific flavors of bad, your company will be totally okay for a very long time.

That's why software is a shithole compared with less abstract machines.

As software is eating the world this becomes a greater problem with every year passing. And the even greater problem behind that is that we won't be able to fix the already created mess, ever. The current shithole is almost unfixable as it would require decades of fundamental clean up…

Exactly the above cited attitude brought us into this situation.

It's like all doctors would says: "Well, up to 30% of our patients die while treated, but who cares? You can't get better medical care anyway anywhere because just nobody cares—and it would be actually to expansive to put more caution into this." ¯\_(ツ)_/¯

If that would be the common sense among almost all doctors the patients that make it would be "totally okay" with that likely too; as they would not even know that their chances with most treatments could be much better, if only the doctors would be more willing, and of course capable, in the first place.

The "code is good enough if it works", and "bugs in software are god given" attitude is imho the root cause all evil in software development.

As long as this does not change broadly humanity is doomed to have only bug ridden security nightmares, that barely work, instead of proper "virtual tools". It's even a wonder that actually anything computer related works despite this "who cares" attitude among the majority of coders.
Forcing the programmer to convert integer types explicitly doesn't really help much. It makes it obvious that a conversion is happening, but that's it. People will simply add the required explicit casts without thinking about possible truncation or sign changes. UBSan has a very useful -fsanitize=implicit-conversion flag which can detect when truncation or sign changes occur, but this stops working when you make the cast explicit. So in practice, implicit casts actually allow more errors to be detected, especially in connection with fuzzing. Languages like Go or Rust would really need two types of casts to detect unexpected truncation.
HKT's ought to be relatively easy to implement as a pattern on top of GAT's, so in that sense the functionality is available. The only immediate drawback is a slightly more complex syntax than what most languages support for HKT's, i.e. you have to express what would be type families in other languages as associated type constructors in Rust. But this is for good reasons as Rust devs have found that associated types seem more idiomatic in the context of a somewhat lower-level language. Other than that, the features are really quite similar.

(This 2020 blogpost https://www.fpcomplete.com/blog/monads-gats-nightly-rust/ does a nice job of describing one such pattern, though their choice of Unwrapped and Wrapped<> as identifiers is overly obscure.)
If you're talking about this one: https://abcnews.go.com/Business/bank-america-florida-foreclo...

The threat was enough to fix the failed transaction. The manager was able to call someone and issue a check, rather than have their branch auctioned off.
That's not what they're saying. They're saying the government doesn't have the statutory authority to sanction the entity that built the robot. This is the entire point of their extended digression on the "Tornado Cash Entity" versus the "Tornado Cash Application."

(Defending the TCE also continues below that, on a mostly irrelevant and unargued tangent about software IP.)
i wish s3 supported multiple ranges in the range header. I've done this sort of access with a custom columnar format that stored a set of columns in a single file

it was a non-trivial overhead to have to send an http request per column, when i could have sent one with multiple ranges.

i can imagine something similar with this, fetching multiple pages in one request
Traits vs generics: yeah, personally I hope to one day see a language that allows application developers to decide what gets monomorphized, rather than library developers.

It seems like you could usually just synthesize the boxing needed. So why would you ever leave that choice in the library's hands, which has no idea how it will be used?
Trolling still unwelcome.
We all want results, but implementation details matter, particularly in law. The suit is merely saying that if law makers want to give OFAC the authority to sanction the Tornado Cash smart contracts, they have yet to do so.
I'd like to see that thing shoot drones that aren't hovering in a line, something quick and agile like FPV racing drones.
> considering the Tornado Cash protocol an unregulated bank which it is

This is a very strong statement to make without also making a legal argument to back it up.

Just because you assert that it is a bank does not make it so. What precedents, statutes and regulations would you cite to support your assertion?
Signing Git commits with your SSH key (2021)
They've also never fired a up a flight sim, so they don't know that they don't want just a joystick but a HOTAS. Just a joystick is not enough to determine whether you're going to like a flight sim or not, and both the standard Thrustmaster (T16000-M) and Logitech-Saitek HOTAS (X52) offerings are <$200
They already have too much power and know too much about us. Governments are really just the elite in control and not to be trusted. Sure some countries have a bit more turn over that others (democracies) but in the end you should always be suspicious of government and very very careful about whatever power you allow them to have through your vote. In many countries it is already too late without armed rebellion (turkey, china, russia, venezuela, for example)
There was a movie about the Power Glove, which was?
Living in Florida my experience has been somewhat different. Sure, it’s mentioned jokingly for being unusual, but I’ve had it while visiting Vietnamese friends here and we all like it. Though my first time did give me an allergic reaction for some reason.
> Walk near enough to them and they'll attack you

There's also the expansion groups, which will periodically move around to create new nests. Even if you don't walk at all, you will be found and attacked sooner or later.
Tankers won't help here. The problem is that NATO fighters would effectively have to fly over Russia before they can reach the Baltic states. The area where tankers can operate safely already has plenty of NATO airbases.
> Deep Rock Galactic seems to be a magical game where everyone comes together.

Team Fortress 2 also comes to mind, what a beautiful community.
Yup that was exactly the case. A fun discussion that involved estimating sizes of web pages, number of web pages, the effect of compression, the effect of deduplication, etc.
Pretty sure it was Jaz? Not Jazz
Articles like these make me appreciate my business degree, because this list is the basics of any business. 30% COGS, high shipping costs, outsourced manufacturing, big box focusing on low end market, etc is all very normal for almost any industry.
Nah your example is more like performing a magic spell that prohibits others from speaking (DDoSing a public service site, as an example)
yes me
All of these questions boil down to "pull some numbers out of your ass, then multiply (or divide) as appropriate".
bool subCondition1 = /* something kinda long */;
bool subCondition2 = /* something also kinda long */;
bool subCondition3 = /* something absurdly long */;
bool condition = (subCondition1 && subCondition2) || subCondition3;

if (condition) {
/* do something */
}

where, ideally, the sub conditions all have meaningful, relevant names that succinctly express what they were testing for.
Remember Win 3.1 index cards -- that actually was pretty nice
But why not use oneNote?
> I'd just stick with tar

Why?
I’ve played every game from blizzard since I was very very young. Sadly those days are gone, ow2 was the last nail to the coffin with battle pass

But hey, almost every game is doing this, so let’s pick right next time and pls do Not pre order !
tldr: yes, effective at removing the virus, especially if you have good air circulation, i.e. ensure there are no stale pockets of air.

I which isn’t a surprising result: true HEPA is all about filtering out bad particles.
"Fans" is a small market, it's better to aim at the mass market who don't go on forums.
Future noir it's just cyberpunk since its conception.

Blade Runner it's film noir in the future, and Neuromancer it's a hardboiled mistery book with computers.

It has sense, a lot of pulp writers wrote both mystery and sci-fi booklets under diferent aliases, and a lot of plots were recycled by changing the setting.
How do you assume that from what they said?
I'm more or less the same. If i wanted to deal with people I'd be out doing something, not playing a video game.

my exception is dark souls, where I happen to really enjoy the pvp approach, and doesn't really give players much of a way to be toxic other than literally throwing dung at each other.
Showing people who degenerate culture why that is is empathy.

On a related note my generation confuses kindness with empathy way, way too often, it's a terrible millennial habit.

Anyone familiar with boomer memes knows being flippant towards having to care a bit more is a huge part of it. It's easy to understand.

They grew up with a booming economy, peace, less value towards preservation and externalities, greed is good, and an America-centric worldview… Millennials had multiple wars, two large recessions, two rounds of QE, and a small fraction of equivalent prosperity at the same age.

They got all the benefits of the boom and none of the downsides while the younger generations are paying. When you see a kid who was raised totally spoiled complaining “I don’t want to throw away my trash, the bins all the way over there” when you're working as a garbage-man you roll your eyes and say....

It's literally a perfect example of it.
I just want to say: you beat me to using the bullet analogy! If you don't mind, I intend to link to this comment in a blog post.
The transistor – or 25 miles on a hunk of Germanium (1953)
There's many Joeys but there's only one Kramer. lol
Anytime I land on w3schools, I go back to google and click on the MDN link. This was a learned behavior that I don't even question now.

Has w3schools gotten any better over the years? Would anyone consider using this or any package from them?
I don’t think the bar is uniformly that high. Go look at the covers of some Kindle Unlimited titles – Midjourney art is better
From the post:

"So there is potentially an entity called Tornado Cash that is controlled by certain individuals, and the web address and some of the Ethereum addresses in the notice can be thought of as either pseudonyms for that entity or, alternatively, as its property. At this point, we’re not offering an opinion on whether it was appropriate to sanction that entity—we do not know all the facts that have led to this action—but we would agree that there may be an entity behind those donation addresses and that said entity may be legally eligible for listing. "
Yes, that certainly helps a lot, but I'm pretty sure that would crumble under certain not-terribly-difficult-to-execute attacks.

The happy fact of the matter is that the vast majority of actors in the economy seem to be pretty well-behaved. The scary thing is that the system seems to depend on this.
This seems to apply across the entire Small Plastic-covered Electronics sector. I worked for an instrumentation/sporting goods manufacturer among others and this reads like I wrote it myself.

The CEO, even of a small operation, likely has no idea what the performance characteristics of their devices are. They exist to raise capital and deal with paperwork.

We operated at about a 25% bom cost which was muuuuch higher than it needed to be but we were the aforementioned $50 components assembled by baboons case. The products were very high end meters and sensors with the electrical sophistication of a McDonalds toy, just using whatever the highest end parts Arrow et al would sell us.

Like they aluded to, ultimately it's all the little stuff that gets you. Packaging, whatever voodoo the S&M team is up to, random IT bullshit, heath insurance, random FCC compliance stuff, etc.
I don't think you can be a competent manager if that's not how you think.
Agree (on sentence 2 and 3.) Gödel, Escher, Bach doesn't go very deep.
Which browser do you think that's true for, and, have you tried it?
Publishing a new TC instance can be done anonymously from anywhere in the world, by anyone who can follow the compilation instructions in the readme, so it's not really an interesting legal question in my opinion.

I'm more interested in discussing the legality of publishing the source code in the first place (is it protected by the first amendment?) and the legal questions surrounding already-instantiated code.
I remember that it was possible to insert inline images in a plain text email by adding a uuencoded block in the middle of the message. MIME also had inline attachments, but those typically show up at the end of the message.
I don’t have a business degree, but every point in the post was totally as expected...nothing particular to audio in there.
I bought diablo 2 for the Xbox series x and couldn't get it to pass the first screen. I wanted to play it offline. It insisted that it could not connect to the servers. Couldn't find support either with Microsoft or Blizzard so I asked for my money back. I really wanted to play this, since I couldn't when I was a kid. Sad thing that they think they every game should be online or multiplayer.
Not if you are doing legitimate transfers. I had to move money from trading account and had to do it over multiple days due to limits. It’s my money moving from one account to another. Zelle also doesn’t allow you to move more than certain amount. Probably for protection reasons.
https://www.w3schools.com/w3css/4/w3.css (evidently from December 2020)

I think of w3schools as largely SEO spam, though sometimes I have found useful answers when they come up as the first hit. Is that the general perception?

(I should add I don't use css professionally)
> Putting it on the dash so I could just change my focus

So, you're watching movies. And no the next qualifier of "without taking my eyes off the road" doesn't change that you're watching a fucking movie. You're literally changing your focus from the road to a movie. You've put a screen with moving images in between yourself and the road you should be paying attention to.
Sounds like a job for docker or nix?
It might be kind of neat if they tied the plotline to the rift mechanic. Unveil new bits of plot a particular depth is hit or something...
Any statement that can be made from the Peano axioms that is provable in ZFC is provable in ZF without C. So the axiom of choice should be irrelevant.

However we can write a program that does a brute force search through all proofs from ZF looking for the complexity of i. As you just showed, this program will not establish the complexity of all integers.

But how does it fail? It fails because there are programs which do not halt, that it can't prove don't halt, which if they halted COULD return i.

And therefore the complexity cannot be determined from ZF.

The prevailing philosophy of mathematics says it is well-defined. But there are alternate (entirely consistent!) philosophies under which complexity is not well-defined at all.
See my comment elsewhere here. Support dips to 31% in those aged 18-24. It's very high in the over 65s, with 77% supporting the monarchy.

As for voting to remove the monarchy, in theory yes that's possible but would require some sort of referendum. Unlikely for a long time :) And as you point out, not currently likely to be popular.

As for what's wrong with an unelected elite family of multi-millionaires who are protected by the police, military, church, and all other state machinery... plenty has been written elsewhere :)

It seems odd to me that the monarchy could be viewed as merely "tradition", and a benign one at that. I guess this view has been aided by the way Elizabeth kept a steady hand on the wheel and expressed only the most anodyne opinions in public. I confess I am intrigued to see how Charles manages.
I thought my comment was pretty clear, but I edited it for more clarity. At this point you can assume whatever you want.
Lol at that last statement.
Abandonment, a real risk that affects almost every business that depends on software. The original vendor may abandon a product, go out of business, or increase license fees or other terms. Developers paid to write custom software move on or stop returning phone calls.

Larger organizations may have plans to mitigate risk, and the resources to deal with it. Smaller organizations can get surprised, suddenly finding themselves unable to get support. I have seen versions of this over and over, and I built my own consulting business maintaining and upgrading (and sometimes replacing) legacy software system and obsolete infrastructure.

You can see complaints online about the huge number of companies still running PHP 4 or 5, or ancient versions of WordPress, or Python 2. You can still find old Compaq servers in closets, antique networking gear, Microsoft Access databases held together with tape. Every one of those represents an opportunity.
>Twitter is high profile, but there are a million businesses most have never heard of that have a similar lack of information security.

Why should a $30B cap tech company with the power to influence elections be held to the same standards as "never heard of" businesses?
My uncle had this book. Talk about a fascinating book that I barely understand even 5%.

But then again I tried to read it when I was in high school.

So maybe I understand more in older age.
Why aren't they generated while waiting for the player to press a key?
Twitter shareholders approve Elon Musk’s takeover deal
"I have never encountered an archive.ph URL on HN where the site proxied, purportedly to avoid a "subscription block",^2 was not accessible without using the archive.ph URL. For example, sometimes the issue is simply that Javascript needs to be disabled, or one needs to use an AMP URL without Javascript. (The later looks great in a text-only browsersuch as links.) Whereas submissions for articles on sites that are password-protected, e.g., ft.com, rarely or never have archive.ph URLs."

Correction: FT was wrong example

I had forgotten ft.com like many other sites sends the plain text of the article to non-subscribers. It can be read in the page HTML. There is no way for non-subscribers to "opt-out" of receiving the article text when they follow ("click") a URL for a FT article.

It is in fact common to find archive.ph URLs for ft.com submissions.

Here is short program to make reading the article in the ft.com HTML page easier. It discards everything but the article text and replaces "\n" with newline.

cat > 071.l
/* ft.com */
int fileno(FILE *);
#define jmp (yy_start) = 1 + 2 *
#define echo do{if(fwrite(yytext,(size_t)yyleng,1,yyout)){}}while(0)
%option noyywrap noinput nounput
%s xb
%%
\"articleBody\":\" jmp xb;
<xb>\",\"wordCount\" jmp 0;
<xb>\134\156 putchar(10);
<xb>\40\* putchar(32);
<xb>. echo;
\n|.
%%
int main(){ yylex();putchar(10);exit(0);}
^D

flex -8iCrf 071.l
cc-O3 -std=c89 -W -Wall -pedantic -pipe lex.yy.c -o yy071

#example usage
curl -4s https://www.ft.com/content/fa956177-5daa-43fd-8a64-79f5eebcc309|yy071
curl -4o 1.htm https://www.ft.com/content/fa956177-5daa-43fd-8a64-79f5eebcc309
yy071 < 1.htm
> that would speak to exceptionally bad security.

The accusations were not exactly specific. You're splitting hairs.

IT doesn't generate revenue. Often for this reason, at many large corporate locations, IT departments are spread critically thin, many far thinner than Twitter, which has money to afford experts like Mudge. These companies aren't sexy so they're never ever in the news and they're not on anyone's radar. Any idea how many Windows Server 2012 installations are still in production? Or how many corporate networks are entirely made of Windows 7? Far too many. The state of security in general across the entire American corporate landscape is shit, and even places that don't get compromised, like NSA, still get compromised.

In July, Twitter experienced a global outage of ~45 minutes, the longest outage global outage in years. If Twitter was some shocking, never before seen level of insecure, it wouldn't have been 45 minutes, and there'd be a lot more of them.

btw, I hate Twitter, Facebook, LinkedIn, et al., and passionately, but it's just not credible to claim that Twitter is the worst of the worst in security, because there is an astounding number of corporations with no security to speak of, like, no IT department, none. "It's something one of the drivers handles for us. He's a real wiz." That kind of thing. At least Twitter not only has an IT department, but also has security personnel. I think if anyone scrutinized, say, Yahoo, they'd find the same thing.
The bazel way to do it is to put the tools in an archive, refer to the archive and its checksum in your workspace, and execute the build in a completely empty sandbox.
https://archive.ph/stxNe
w3schools has gotten better over the years[1]. I use MDN for almost everything, but I do mistakenly click the first result on Google Search which is usually w3schools. You can use this handy site to have the "I am feeling lucky" Google experience while searching for any web related queries. Example: mdn.io/flexbox

[1]: https://www.w3fools.com/
> In startups, its not uncommon to have engineers who have been handling various responsibilities, including security (especially early employees).

You're right!

That said, by the time a company is large enough that 17% of it is more than 17 people the kind of startup organization you have wisely and correctly nodded to will have ceased to exist.

So while you are right in that such scenarios have, do, and will continue to happen there's perhaps cause to wonder if that's really the best way to characterize replacing a security organization with specialists with a bunch of engineers who are likely quarter-time security at best. It's akin to firing all your engineers because the sales people can do a little bit of coding each.