skysight-inc/HackerNews huggingface dataset:
I believe that you confuse integer overflow, which applies only to the signed integers of C/C++ with the arithmetic operations on modular numbers, which are improperly called "unsigned integers" in C/C++.

When computing with modular numbers, you rely on the exact modular operations. That is not overflow.

There exists no "harmless overflow". The overflow of "signed integers" is an undefined operation in the C/C++ standard.

The actual behavior of integer overflow is determined by the compiling options. With any decent compiler, you may choose between 3 behaviors: trap on overflow, which aborts the program unless it is caught, display an error message and continue the execution with an undefined result of the overflown operation (typically with the purpose of also seeing other error mesages), or ignore the overflow and continue the execution with an undefined result of the overflown operation (the default option).

Relying in any way upon what happens on overflows (of "signed integers"), when choosing a compiling option that does not trap on overflow, is an unacceptable mistake, because what the program does is unpredictable.

Relying on what modular arithmetic does with "unsigned numbers" is correct, except that in most cases they are not really used as modular numbers, but the programmers expect that modular reduction will never happen. When it happens and it was not expected, it may cause similar problems like overflows, even if the result could have been predicted.

You are right that saturating arithmetic is the main alternative to trapping on overflow. It can be used in the same way as infinities are used with floating-point numbers when the overflow exception is masked.

Unfortunately, saturating arithmetic does not exist in the standard C/C++ languages. Therefore in C/C++ you may choose only between trapping on overflow and dangerous undefined behavior.
By saying there will be a government programme funding/giving a tax credit/interest free loan/whatever other incentive to retrofit your house with more efficient heating or better insulate it or upgrade to a more efficient vehicle? I really think it's the opposite, those kinds of things are popular with voters.
If this is gatekeeping then not all gatekeeping is bad. I want my pilots and surgeons gatekept to the degree it lets only the competent through. Likewise I want software gatekept to the degree it prevents poor software from being written.
Glimpse Raises $6.2M to Place Products in Short-Term Rentals
Doesn't Chrome already effectively decide standards? What do they do that isn't standards compliant anyway?

AFAIK they push new web standards all the time, and even if they didn't, they have the vast majority of the market share so the boat's sailed on Firefox imo.
It's a human level mathematics student problem. If it can't determine that's it's proof is nonsense here there's little hope it could produce any worthwhile original work.
Looking at that molecule, it is simply beautiful, very very scary, but beautiful. So much nitrogen crammed into the same molecule, just wating to be released.
A terrible prospect.

It's hard enough for people to faithfully port an application. People who participate and live in the world that makes up our reality. Leaving this up to an AI will at best flood us with low quality junk. At worst it's actively harmful.
If you're just using google docs and email, maybe you don't even need the laptop most of the time?
You don't need the whole world, just the exchanges. And and some ERC20 tokens can have addresses frozen by a central authority (ex. USDC and Circle, USDT and Tether, etc) which is why the attacker immediately sold the USDC for ETH on 1inch and Uniswap.
We used to have to hand enter everything anyway. The auto-import stuff is fairly new for all of the tax filing products. TurboTax also fucks up the auto import for my RSUs. Every single year there are a handful of people on the financial planning groups posting "wtf I got a letter from the government saying I owe $80,000" and it is uniformly because one of these services' autoimport system set all of the cost bases for RSUs to $0.

The end result is that I hand-enter anyway, even when paying $120 to Intuit for the privilege.
IMO:

IntelliJ for IDE (Community edition is free). #1 reason is it supports Kotlin and Groovy very well out of the box. Eclipse is still a plugin disaster, and the language support aside from Java is pretty bad, although I haven't bothered to check in a few years since IntelliJ CE was released.

Gradle for builds. It is still copy and paste setup, but at least you can do a lot more things than rigid Maven.

Groovy + CompileStatic (personally) for the actual JVM language but admittedly I haven't tried Kotlin yet. Even with closures and other improvements, base Java can't compete with either of those.

Spring Boot for your enterprisey stuff/REST services which you are likely using it for. It's such a standard at this point.

Unit tests: Spock. Spock is awesome. And very well supported by IntelliJ for autoformat, another BIG reason to use IntelliJ.

Man, web frameworks on Java that don't just use it for an AJAX service layer? Who knows.
Archived: https://archive.ph/1raBI
Just because you do something well and are outstanding in it doesn't mean it's what you want to do for a career. People fill time with all kinds of things or to pad out a resume. I've been really good at a lot of stuff. I had no intention of making a career out of any of it.
Any kind of technical compliance by government is guaranteed to be old and obsolete in the near future. The reality of the situation is that this "design system" is a waste of time and it will never iterate as fast as other systems maintained by industry experts in web compliance and accessibility.

This is just a case where folks are happy that our government isn't doing shit in Dreamweaver anymore and has moved on to something that resembles progress. However, government should be focusing on streamlining government operations, not developing accessibility standards and reinventing the same wheel. Leave that to professionals and use what's already available.
There's also webkit, though there is no webkit browser on Windows, as far as I know.

I do use Firefox, but Mozilla really goes out of their way to betray their core audience more and more with addons like Pocket being integrated into the browser along with advertisements in the new tab window.

In either case it always feels like no matter what browser I'm using there are huge tradeoffs in one sense or another, which I never felt when I originally started using Firefox early on or early Chrome.
Exactly. If validating the ledger requires millions of dollars worth of hardware, only a few people will know what it actually says, and they can collude to impose whatever rules they want (basically like what happened in the article).
my recollection is that the original journal article announcing GPT-3 included some data on how it performed against SAT-style questions
I think I'm going to pair this with Copilot and see what happens. Hopefully I don't accidentally unlock something bizarre.
Most of these rants have a playbook. They start at the default position that the poster is smart while everyone around them is an idiot (or compromised by corporate interests or some other conspiracy). They then construct a bunch of weak strawmen to show why everyone around them is an idiot and why they're so smart, and then they present their idea which must be correct because they're the only one around who isn't an idiot/corporate drone/whatever. But these rants never actually engage with the current status quo other than calling it stupid.
If you don't like it perhaps you can petition the government to get rid of the can spam act?
Positive incentives are when you receive money as opposed to negative incentives such as fines where you have to pay money. So this is unlikely to cause a political party to lose elections, people like to receive money.
Just because it wasn't a very good or well organised coup attempt doesn't mean it wasn't a coup attempt.
> We wouldn’t be here, working together, if one of us could do it on their own.

Interesting belief. I don't actually think it holds true in a lot of situations, certainly at least many 'work/employment' situations I've been.
> Give the money you took for co2 back on the income tax, and people will spend it decarbonizing in an attempt to dodge the tax

Even better, preempt this by funding decarbonising programmes first, with the threat of a tax in some fixed time period. People will decarbonise without the publicity hit of "new taxes".
They are. They lose their money / investment if companies go bankrupt or don't do well.
I think Chrome may be the single most impactful piece of software with regards to end-user security. Click to play plugins, sandboxed flash, sandboxed renderer, process isolation, auto updates, etc.

Chrome completely changed the threat landscape in just a few years.
As a non-American who's not self-employed or a business owner I get a monthly payslip with my gross pay and the tax deduction. I see that every month, I know exactly how much I pay the government. All my investments also have tax deducted by the provider as well, when applicable.

I never have to think about calculating or filing tax, but I always see it and know exactly how much it is.
> Are you sure you’re on 5G? Or maybe you’re quite far from a tower with a weak signal?

I'm not using 5G, I was commenting on LTE in general competing with fixed line, but i'm using a Gigabit Cat20 modem with 2 MIMO antennas so it's not exactly slow and I have excellent signal close to many towers.

With this setup reception has never been an issue for me and UE throughput is good when there is capacity, as far as I can tell it's contention ratio, but I guess it's not necessarily that simple, admittedly I don't know how to tell if the contention is at the LTE part in spite of the signal and full carrier aggregation, or the backhaul (which I had previously assumed) and now you got me thinking.

> On Vodafone even the 4G network is usually 30+ Mbps. But Three’s 4G is absolutely awful.

Ya, this was my experience.
I think there is room for a reasonable agreement which could result in a simplified filing system, without making it opaque. My modest proposal would be that each voter’s registration card (or equivalent voting voucher) be attached to a statement showing all the taxes they’ve paid since the last election, and where they went, along with some information on how many taxpayers there are, and the amount and percentage of income and payroll taxes paid by income decile.

I think this would provide the transparency that conservatives want, along with the simplicity that liberals want. My only concern is that the data would be fudged, like the social security “statements” are.
Just as IE6 took the place of the hated Netscape Navigator 4.7!

Die a hero, live long enough, yadda yadda
> We don't want one company decide the standards

It's already the case, Firefox lost a long time ago
The government has enough information to process the taxes for most of us or at least publicly make it super easy. TurboTax just lobbies the government to not do so.
Personally I’ve found the ability to move messages between / split threads (topics) helps a lot with this in Zulip. We moved from Slack, and those that struggled with threading there mostly picked it up over a few weeks.
>when a police officer was beaten to death

Not single LEO was beaten to death on Jan 6th. You are literally spreading misinformation and fake news lol. SCP Officer Brian Sicknick died after having two strokes aka natural causes.
scarcity, naivety, ignorance and creativity
Are these people who are living in the "midwest" like Chicago or midwest like some rural town of 10,000 people that is hours away from any major city?
I think you're both wrong!

Parent is wrong that Chrome would benefit from semver, and I believe you are wrong that semver is meaningless.

Semver is useful for the kinds of tooling that need minimal marketing, have other software designed against it, and have multiple levels of improvement going on.

Some software which are developed against benefit greatly from a x.y.z to let other developers know what class of change has been made.

Web browsers and operating systems do not benefit in the same way, because they are a different class of software.
I call that the @tiangolo/FastAPI pattern of open source software.

After individuals noticed that it's possible to make tons of money through donations/sponsors on Github and providing support for their OSS many just rebrand libraries by sugar coating abstractions on top of it (what FastAPI did to Starlette) and trying to own all parts of the development (by not giving access to anyone on the project for example) so that they own they're seen as the only person able to provide true support for it.

See https://github.com/tiangolo/fastapi/issues/4263 and https://github.com/tiangolo
The title may come across as arrogant, but when you read it, it's very empathetic.

You might as well sum it up as "be nice and reasonable, and don't waste each other's time".
I don't quite understand your answer. You don't need to solve the halting problem to be Turing complete, quite obviously. Why would GPT-3 need to in order to be?
is there a search engine for the training data so that one can verify that it is actually performing novel operations and not just quoting back stuff from its incredibly large training set?
Bix lets you draw on binary to glitch text
The data is collected by the LEO, not the court. But yes, you can fax it to the law enforcement office, whose number should also be independently verifiable.
There are many free filing options for anyone with an average salary from a straightforward W2 source. I went years without paying to file, until I got into freelancing and a higher tax bracket.

Being audited isn't much of a concern if your only source of income is a typical W2 job. The average service worker isn't throwing money around in stocks, crypto, blackjack, and corporate entities.
Firefox has a way to remove the icons though. (Right click, customize toolbar, drag off what you don't want)
> I do use Firefox, but Mozilla really goes out of their way to betray their core audience more and more with addons like Pocket being integrated into the browser along with advertisements in the new tab window.

They also removed many useful features and hide useful settings... (one example being the RSS feed finding feature .... luckily there's an addon that you can install that does a pretty good job, it is called Awesome RSS)
Kind of.

Most court cases do not set any precedent. If you think the judge made a legal mistake in your case, you can appeal regarding that specific legal question.

The appalete court can then issue a ruling on that specific question of law. If they find the lower court was in error, they would typically send it back to the lower court to redo under the new guidance.

Sometimes the specifics of the case do interfere with the appelet court's judgement, but the entire system is set up to minimize that.
The problem is that carbon intensive technologies do not pay for the damage they're doing to the environment. The tax I suggested was revenue neutral, which means the average poor person would get back as much in income taxes on their paycheck as they paid in carbon taxes. Technically, this doesn't 'hit' anyone and it benefits those willing to change. I think you're right though that this is politically infeasible simply due to short-sightedness and cowardice.
Yup, came here to say this. Look up the number (don’t trust any number provided in the email, actually go look it up) and pick up the phone.

Very effective and simple solution.
Why is this post flagged? Despite it's tone it state a valid and perfectly shareable consideration about IT evolution. Ok, it's a rant but...

Apart from that: I goes beyond that post. We keep pushing new things that's confirm Greenspun's tenth rule, or they try to (re)create normally ignoring past creation, things Xerox &c implemented decades ago.

The most advanced modern notebook UI are actually limited implementation of classic text editors like the old Tioga, just far heavyweight and a bit more pixel perfect/colorful, and FAR LESS featureful.

Modern web (aka web 2.0)? An user-depriving Xerox Star Office System and so on.

The common denominator is re-implement such past ideas in a way to keep users out of control/out of the "power of IT" + plugged-in surveillance. A rant might be not that insightful but definitively pertinent...
If our public infrastructure projects are anything to go by, that should get them about one small factory and a half mile of road, sometime around 2037.
Yeah, I wasn't intending that, it was just shown to get some feel for the numbers. It was the biggest Ikea cooking top as well.
> economists are drastically underestimating the economic effect of climate change (assuming 90% of GDP won’t be affected because its indoors!)

Please, take Steve Keen with skepticism. He is, so to say, an unreliable narrator.
Google has been giving me a very hard time for a while. It's time for SEO to die. We need stuff like this.
If that's what it takes to be a "genius" - what a joke.
Agreed. I also always feel like linux communities or hackernews is gaslighting me into thinking that firefox is just as fast as chrome. It's not. There is a tangible speed difference when using it.
Part of the reason that IE6/7 was so annoying is that those browsers had a large market share but also lacked the features of the other leading browsers so you always had to bend over backwards to make your code support both.

Chrome does not have that problem. I fully appreciate the monopoly/privacy concerns, but Chrome being the market leading browser is 100x better from a development perspective then when you had to worry about IE6.
Well, I recon safari counts for something? I guess they forked a while back from whatever chrome is using.

But yes, support Firefox. I've been using it for a decade, there have been ups and downs, but at the moment there's nothing I would change with it.

I have to have chrome installed, like everyone else, for that one form that only works in chrome (or, I use it as the browser without any ad-blocking for when I need that..), but besides that I use it for everything work wise. The argument about the devtools isn't true anymore.
Here's the actual proposal:

https://github.com/tc39/proposal-decorators
If accepted, you will have to:
1) pay a $50/month membership fee
2) be active in the community- No slackers allowed!

Requiring payment for joining a community is a good way to weed out those who are not serious (AFAIK Robert Fripp of King Crimson charged $650 for Guitar Craft seminars for the exact same reason). It is also a great way to earn quick money off of suckers.

Sometimes it's hard to tell one from the other. Especially when a hacker organization requires a Discord account to join.
my take is that the big bottleneck in search is not the index or the search but in understanding what it is the user is searching for in the first place.

that becomes a big can of worms very quickly, and starts to put into perspective some of googles other most successful verticals: NLP, Translation, Maps ("Near me"). Of course a lot of the verticals are also a generic means to get value out of all the server resources and experts required to operate the engine and then additional related branches to those verticals (email -> drive -> docs)
You can absolutely do your own taxes, either on paper and mail the forms or (possibly) via the Free File Fillable forms mentioned on the page you linked (as long as you don't hit a corner case). The Free File Fillable forms page [0] says "Make sure we fully support the forms you need" and links to another page with a lengthy list of limitations [1].

So yeah, we're in a place where the IRS says taxpayers "should file electronically with direct deposit if at all possible" [2] but also informs taxpayers that not everyone can use the IRS's forms to file electronically.

0: https://www.irs.gov/e-file-providers/free-file-fillable-form...

1: https://www.irs.gov/e-file-providers/free-file-fillable-form...

2: https://www.irs.gov/newsroom/irs-begins-2022-tax-season-urge...
ctrl+f censorship -> nothing. hmm, whose website is this?

Ah, "The Tech Oversight Project", which has no complaints about Big Tech censoring people for their political views. In fact, their complaint is that big tech doesn't do enough to censor what they deem "misinformation."
I'm sure some people don't like me. But they keep it to themselves. Even if they didn't, so what? Unless I did something to hurt them, I shouldn't be upset about it.
Maybe you're right but I think Republicans would have a field day with the term "extreme positive incentives for change".
Beyond that, LN transactions use onion routing, which means you define the exact route for your payment to take through the network. You can actively avoid ever routing through a particular node if that's your desire.
Fair enough, and I imagine there may even be some forwarding going on? There often is when a load follows a store, if I remember correctly. (Of course this will be microarchitecture-dependent.)
Tesla succeeded, in large part, because of government subsidies and some policies that are essentially carbon taxes with extra steps.

Some people would say that as an insult, but I both think it's true and a good thing.

Putting a price on carbon has been a winning strategy everywhere it's been used. People just have had to hide it, because it's too easy to scare people with lies about taxes, so we get the exact same thing, but slightly less efficiently implemented.
Young people are coming around ... I used to write code in C, C++ then Java, C# (.NET v1). I could never understand how people could implement large systems with dynamically typed languages such as Ruby or Python. They are great for smallish scripts, but once your codebase (and team) grows, they become a nightmare to maintain.

In my experience, large codebases of those types of languages have a lot of "magic" thing happen. There's a lot of implicit stuff that one has to guess or spend time "following the code" to understand what it is doing.

And I say this after having built a major lending platform from scratch in Ruby, including a major Machine Learning scoring system in Python, having to maintain with a good sized payment system in pure JavaScript, and nowadays dealing with a major trading/liquidity system in Ruby.

They are fun languages, but once the code and systems start to scale, static typing really helps. For that reason I've seen a lot of these endeavours try to move to TypeScript or other typed languages.
Robots Show Us Who We Are – Science Connected
'Can' or 'could'? And if 'could' how probable? Come one, this is HN!
You can be whatever, but you haven't declared yourself.
Based on the general demographic of this website, it's fair to assume that you are both a man and a Westerner, or in some way a high-skilled privileged English native or near-native from a Western country, or Western-adjacent country.
You think the US government waited 12 years to be able to turn the screws on Kaspersky because they uncovered Stuxnet?
That is very true! We will definitely make some part of the app free, or even standalone free tool soon!
I use it on a M1 and in my (totally subjective) experience it goes in order of fastest to slowest: safari, firefox, then chrome for speed on heavy websites...
If you can send me an email at oss+hn[at]esoftworks.com, I will let you know when I will have beta quality code on GitHub. This is a personal side project exploring annotation processing and targeting modern Java (17+), some results will be ready probably in 2-3 weeks.
> there is no webkit browser on Windows

But there is for every other OS.

Macs can use Safari, obviously.

On Linux, KDE users (or other Qt based desktops) can use Falkon, and GNOME users (or other GTK based desktops) can use GNOME Web.