skysight-inc/HackerNews huggingface dataset:
It also means that formal verification needs to be part of the CI system, or at least "check that the code hasn't been changed in ways that violate the correctness guarantees" needs to be part of CI.

Doesn't do anything for this bug, which was an ASM issue. There's nothing you can do about this sort of bug except give people a better idea of the risks (e.g., make it clear that they can trade safety for performance.)
This argument comes up so often, it needs a name like the "think of the children" mantra politicians use to promote bad policies.
I simply cannot recommend Sapolsky enough! The man is wonderful. And not just his course, his books are deliciously insightful as well. My only gripe with him is that he speaks continuously without enough pauses. Probably a sign that he knows the materials like the back of his hands but I wish he'd take some time to rest and allow the mortals to catch up.
> the billion dollar mistake

Eh, a billion dollars isn't too bad.
how do you upload PDFs to GPT-4, is it available through the ChatGPT interface?
There are always going to be people not paying that much attention. A subscription model makes revenue a lot more predictable, so the appeal is easy to see for anything you need for work and therefore might consent to a subscription for.
OpenVPN is a noisy protocol. Every network operator knows you’re on a VPN.

Point is, port 443 isn’t really the best way if you dont want to be blocked.

You may want to consider stunnel if this ever becomes a problem for you.
They're referencing the first round of IFS which launched in 2013 and never really became much of anything but had a lot of announcements and fanfare at the time. Their foundry would have been the most advanced available foundry processes at the time had it launched as planned. From Feb 2013: https://www.reuters.com/article/us-altera-intel-manufacturin...
> The point of central banks is to control their monetary policy.

This is exactly the issue that a lot of people have with them. Not to mention that the people in charge of adjusting the value of your life savings aren't even voted in...

Cryptocurrency aims to give you complete autonomy over your money. Something 99.99% of people don't currently have.
could you just tape over the middle 2 connectors on a regular USB connector?
> You can argue that triple equals is a confusing syntax

To me this is the problem with triple equals. The different types of equality should be explicit in their use rather than overloading a sigil.
Collection of AI-Generated Art
That is a question, not a problem.
That would be a choice, wouldn't it! The thought crossed my mind but somehow I see people not being happy with having to pay $X to unlock every little feature, heh.

"Tell 'em what's behind tab number 3, Johnny! Johnny: More gated features!"

There's probably a tipping point somewhere.
How does forced labor in third-world countries to build your products fit into this book/philosophy?
Yes, it's shockingly immoral when the evidence of harm of letting trans kids go through puberty is as significant as it is.

It is exactly because some regret more invasive changes that puberty blockers are essential when medically indicated to allow decisions to be deferred until patients are more mature. The only one wanting "adult perverts on the internet" to decide medic issues for these kids are those arguing to deny patients medically indicated treatment.
Aztec monks with 1/55 HP no longer die when picking up or dropping a relic
You don’t really need anything, they just make forking and subsequent joining+exception handling easier. You can just use the decades old thread api over virtual threads as is if you wish, but this “structured concurrency” concept, similar to goto vs structured control flow will make it much more productive and easier to reason about.
So an unknown "high-tech" person bought it in 1998 for $2 million, because a New York court ruled that the Greek church had no legitimate claim to it, despite possessing it for over 900 years. And since then, all this research has been performed to reveal the contents of the document but we still don't know who the unknown buyer is? Bizarre world.
Coiled, coil held with twist tie/s depending on size of coil, in one of several boxes depending on type, boxes on closet shelf above server and network equipment, closet in office behind desk, office in west end of home.
Feel free to share your know-how https://github.com/mastodon/mastodon
Right.

Let's say I know the Swedish language, in which "öl" means "beer", and I travel to Germany to partake in the Oktoberfest celebrations. I arrive and in Germany and immediately try to order a beer and try to say "One Beer Please", but not mastering the language I say "Ein Öl Bitte" (meaning "one oil please"). I don't think the that's a bug in the German language, and the sentence itself is perfectly good German. It just doesn't say what I think it does.
The UI is tiny. I'm on Windows 11, which I'm sure is the issue.
Or, you know, it's just all symbolism.

The point is that what you swear is important to you and something you wouldn't want to let down.

I'm not sure why you are so upset about this.
Fair. Crypto is not just ftx/investment tho. It’s also a mean to transfer wealth outside of your country. It might be risky but any option is better than none
Check the comment to which you replied (maybe it was added after)
I'm a Principal engineer at a ~300 person organization and I feel a bit stuck/ineffective.

In theory, we aligned the ladders in a manner that Principal sits parallel to Directors in the management track. I'm expected to impact org-wide culture, policy, technology direction, strategy, etc... but so rarely am I allowed into the rooms where decisions are being made, let alone discussed. I don't know (at all) what is being discussed, and by the time I find out about it things are set in stone.

I do what I can with mentoring and team culture, and lead by example for code-related things, but that is all very zoomed in and tactical. We've been told explicitly that we're holding off on having people write technical strategy/vision until we have organization-wide direction from those in upper Leadership. That has been the promise for a long time, but for one reason or another keeps failing to materialize.

At this point, upper Leadership won't even meet with someone of my rank/position, as they only respect others with VP to C-level titles to work with.

This is the type of reality I fear encountering at other organizations. I worry that despite the allure of Principal title, the reality is that too often such things happen and that when it comes down to it, VPs and C-levels only respect similar, and want Principals or Distinguished Engineers simply as "advanced fixers" for problems in a short time.
>The machine would need to have a timer mechanism that is turned by an electric clock motor,

Pure mechanical timer based washing machines have been driven by electric clock motors (line powered) for at least 50 years (as that is as far back as I remember knowing how they worked). So if line power is out, the timer does not run.

Of course, the delay timer on the line would need enough power handling capacity to carry the load of the washing machine.
Please add 512mb of flash memory.

I won't buy until it has flash memory.

Why is that such a difficult thing to have?

Smartphones cost less than 70$ and they have more than 2gb.

I'm starting to think the rpi isn't led by people who understand computers.
https://github.com/EnterpriseQualityCoding/FizzBuzzEnterpris... isn't too far removed from some of what I've seen in big tech, especially architecture-wise. Certainly less costly absurdity.
People definitely do not agree with what you’re saying. Not everyone thinks that swearing an oath on something is only meaningful if that thing has some kind of power.
Supabase and Linear do deserve the hype IMO and Cloudflare still does.

Stripe has gotten a bit more iffy for me, with some of their poor practices around frozen accounts
+1 for naming jetbrains - I have always liked their way of doing business, including the substantial discount to renew each year - even in years when I don't use their tools much, I renew.

Also specifically like how they remind me many times, and many months in advance that they are going to charge my credit card on my renewal date - unlike the scumbag companies that never want to draw attention to your upcoming renewal, so you don't have a chance to think about not renewing - and then they make it difficult to get a refund. Jetbrains has earned my loyalty - other companies could learn something from them.
So you think 'good accountant' and 'world class mathematician' are equivalent, based on their salary?
Nobody is saying you should.
It's the same mine in a field as RHEL (a commercial Linux distribution). However, that has never prevented anyone from using other free distributions.
PHP exists in a place where everything's a string (HTTPland). Type coercion makes more sense there.
I thought about that word, and whether to put air quote around it. But Terence Tao is one of the few that could claim to be one in hundred of millions, if not billion.

So yeah, “only”.
The Lofi Girl is missing
"I, sovereign Lidia Thorpe, do solemnly and sincerely affirm and declare that I will be faithful and I bear true allegiance to the colonising Her Majesty Queen Elizabeth the second ..." https://www.youtube.com/watch?v=HAJQ_K_CzCE

She was then required to follow the provided text. It's clear she didn't mean it.

Off-screen comment "None of us like it."
I'd really like to see sessions of people using things like ChatGPT for non-trivial things.

People keep saying it saves them time and look forward to the future.

For the life of me I can't figure out how to use it.
Why can't you release features whenever you like under this model?
If the alternative is a world where these weapons systems don't exist? I’m afraid that is a fantasy world which would quickly be ceded to the bigger stick. So consideration of military force requires balance, reverence, and respect. Posting something like “btw if you work in defense you’re a baby killer” is more insult than reasoned debate.
This is a clever way to make non smart appliances smart, it works for washers, dryers, dishwashers etc. You could even use this to detect when a dehumidifier fills its tank and stops itself.
In big enough companies is already hard to know who owns what even when you are working there, I cant image how to track this from outside.
I’m an atheist, and I believe that there are consequences to my choices, even if no human ever knows. Maybe I don’t understand what you are trying to say.
> Ironically, Tao's post convinces me that AI, though amazing, isn't really the solution. Better UX and data quality is.

incredible what mental hoops people will jump through to disqualify AI!

the reality is that a lot of things have a terrible UI with unorganized data. that's why this tool is so amazing - because it doesn't matter anymore.
> Ironically, Tao's post convinces me that AI, though amazing, isn't really the solution. Better UX and data quality is.

Umm, and I want a pony? The world doesn't come in perfectly structured data formats. I was pretty amazed when I pasted in some of my medical lab test results and ChatGPT was accurately able to parse everything out and summarize my data. It worked extremely well.
OK, but a ball-point pen has a symmetric nib, doesn't it?

Do left-handed pens also have faster drying ink?

Are there left-handed ballpoints? If so, is the ink the only difference?
A Closer Look at Deep Learning Techniques for Software Security
Use SQLite file format to communicate with a rest API (java or rust)
No. See Donald Trump, former president. And he was doing this for decades before he became a republican god. See the numerous examples where he managed to avoid paying people for contracting, for example.
Solving for every last mile problem in UX is hard though. A lot of AI value is being a flexible, generic interface to software automation.
Security updates are ultimately what matters and those are usually a lot longer than Android firmware updates. My 2016 Galaxy S7 got a security update in 2021.

Most of Android's own software updates are little more than window dressing these days.
The given examples are no so much about software getting worse but specifically web programming to do so. Here the answer is clearly yes, web programming is in a suboptimal phase at the moment with web programmers acting more like carpenters who try to cobble up a house using only IKEA flat-packed products which they jury-rig together using copious amounts of glue, packing tape and baling twine than like the artisan of old who went into the woods with an axe and built himself a log cabin. True, the log cabin was rather spartan but it it kept out the elements and lasted a long time. The IKEA mansion has all the furnishings you want and some of them even work, sometimes. Often they don't, the lights go dim when you want them bright or end up blinding you just when you dozed off in bed, the dishwasher only works when the washing machine is first switched on and off, the doorbell rings day and night except for when someone is actually at the door, etc.

Blame the enormous amount of churn in the web tool world, the chase after the latest fads, the fact that many 'web programmers' entered this field not so much because they like the intellectual challenge of solving puzzles but because it pays well, the fact that project targets keep on moving or whatever.

Commercial software is getting 'worse' in that the distinction between customer and product is disappearing. A product is that what is made by a company in order to sell it to a customer so the company gets to make money. A customer is he who buys a product from a company because he deems it fit for some purpose.

That was then but now things have changed. Final sales are making way for rental agreements, products are turning into advertising and data mining applications to be used by companies to herd and milk their customers. Customers are thus productised and sold to other companies who target them with directed advertising based on what was harvested earlier.

Free software is still mostly freed from this plague - although even there it sometimes shows up, e.g. the Shopping lens [1] which appeared in Ubuntu 12.04 and only recently disappeared was an unwelcome reminder of this phenomenon - so there is a way out.
I used GPT-3 yesterday for the first time myself - I wanted some code to list the DynamoDB tables available to me (I had to run it from an EC2 instance and I wanted to see what that particular EC2 instance could see). I was pretty impressed - it put the code together so I asked it for a POM and it put that together. The POM failed with an error because it was trying to load from Maven central using HTTP, so I asked ChatGPT how to fix that error and it told me how to update my settings.xml file (it did make a mistake, but it was an easy one to fix). Like - I knew how to do all of that, but it probably would have taken a half hour vs about 5 minutes with ChatGPT.
No I don’t, but they have to pay for assistant all the same. I was describing how things are, not how they should be.

University could have paid for Terence Tao’s assistant, but then they could have paid him more too.
> Ever sat in your chair and immediately wanted a cold one?

lol, categorically, no
This is a perfect example of why so XXI-century-flavored electronic services (electronic money, electronic medical recipe, passport in smartphone etc) sucks goat's dick and I will never betray the paper during my life. Imagine a young guy who just wanted to visit a football match or to pay bills online. He goes to Gosuslugi (literally government service if translate to English), successfully uses the app for some time as intended, and now the app make you to chose whether you want to die for Putin or just go to jail.

European digital autocracy does not want to kill you yet but I do not see any powerful stoppers for that. Autocracy is always bad even if it is just digital.
I thought what and when to cache was one of the hardest problems in computer science.
> The world doesn't come in perfectly structured data formats.

In Tao's case, the data was organized already, simply not given to him.

In any case, Tao, per the post, had to manually calculate to confirm that GPT-4 was correct in any case (he implies as much in a comment asking if he checked for correctness).
> Doesn't this give you more disadvantages than advantages?

No real disadvantages. Being a British citizen means I can live and work in the UK if I want. As I said, I’ve never been there-but you never know what the future holds.

Pre-Brexit, it let me live and work anywhere in the EU-not that I ever did that either. But I thought about it. My brother actually did it for a bit.

Maybe one day Scotland will become independent, and I’ll trade my British citizenship for Scottish, and then Scotland will rejoin the EU and I’ll get my EU citizenship back. A man can dream.

One drawback, is as a dual Australian citizen, the Australian constitution says I’m not allowed to run for (federal) Parliament. I doubt I’m ever going into politics, but if I was, I’d legally have to renounce my UK citizenship before nominating as a (federal) candidate. By contrast, the UK doesn’t bar dual citizens from Parliament-in fact, it even lets Australians vote, and run for Parliament-and I mean sole Australian citizens, who aren’t UK dual citizens.

> I'm surprised it's even possible; in other countries you have to have lived there for around 7 years or so until you get citizenship.

Due to the UK’s colonial/imperial history, its citizenship laws are insanely complex-arguably more complicated than any other nation on earth’s-full of all kinds of obscure complex exceptions-I’m one of those. You see, my mother was born in Scotland. My younger siblings, they inherited UK citizenship from her at birth. However, I was born when the old (pre-1983) law was still in force, which said legitimate children could only inherit British citizenship from their father (whereas, illegitimate children could only inherit it from their mother.) Since I was legitimate, and it was my mother not my father who was the UK citizen - no UK citizenship for me. Until, in my 20s, they changed the law so people in my situation could apply for citizenship by registration. Registration is legally equivalent to naturalisation - the ceremony is the same, the legal consequences are almost identical - the difference is, no residency requirements. So that’s how I got to go to my UK citizenship ceremony without ever having stepped foot in the UK in my life
What stack do you use? It sounds like you don't use a debugger, which is like hearing that someone is searching a dark cave without a flashlight.
I have applied for it. Great product space. Love to be part of it.
The key for getting a refund is to not deal with the company at all but rather initiate a credit card chargeback.
Isn’t this what graduate students are for?
You're describing habits. Plenty of things are habits but not rituals.
How are Java virtual threads compared to C# tasks? To me, they seem very similar.
credit to the Fabrizio and Inian on this one. I'm personally impressed how fast they were able to implement this since we shipped a major update to Storage last Launch Week.

From what I understand, the TUS protocol wasn't necessarily simple, but the TUS community has made it a lot easier with their node server which they recently converted to Typescript: https://github.com/tus/tus-node-server
BEVs almost never need new brakes. Regenerative braking means you rarely use the brake. There are only two times the actual physical brakes are applied: high speed deceleration and parking. And if you're doing the former that frequently you are a menace.

Mechanical issues are not maintenance. The drive train on a EV is so simple that manufacturers have to invent new tools and procedures. EV techs are more likely to have an electrician or computer background than a auto mechanic background.
Something like Mastodon is likely 90% reads, or even more. How often is the OP editing their post? When they post, cache it. Kind of like what I did by including it in my original post. Caching is a hard problem because sometimes invalidation results in serious consequences, therefore knowing when to invalidate becomes potentially intractable. In this case there would be few, if any.
The NYPD is bringing back its robot dog
A USB cable without data lines works too.
Sorry to hear your tinnitus got worse. The boosters had no effect on mine. Hey I believe you that the shots can increase these symptoms, and I agree it’s a touchy subject. I just wanted to be clear that even though it’s true (and happened to me), that still doesn’t mean the summary that the vaccine is a “serious risk” is correct, because there’s a high risk of tinnitus when you skip the vaccine and catch Covid.
This is huge. For one, it can decrease geopolitical risks for US-based firms. It also offers a chance to obtain higher-end silicon. Some companies can’t afford to use TSMC’s latest and greatest silicon because big companies have soaked up all the capacity. This offers an alternative route for them. Hopefully it will make the environment much more competitive.
complicated tasks are just a series of trivial tasks, wouldn't you agree?
Even if you have access to employee survey data, what constitutes a "morale crisis" exactly?

So a variety of metrics are down after layoffs, general online negativity, and bad press. In other news, water is wet. And doubtless execs are concerned. But is that really a "morale crisis" or just what to expect in a belt-tightening era at just about any company (and certainly one whose employees expected great stock appreciation and job stability and now don't have either)?
Security updates is carrying a lot of weight here. People are probably expecting feature updates, which is still not a guarantee.
> This trope that rich people are immune from prison is prevalent on Reddit and other social media every time someone wealthy is arrested for crimes

It's not a trope, it's a pretty logical thing, sadly. Maybe not entirely immune but, when caught, for any crime, rich people can afford expensive lawyers who'll be able to search for any technicality, loophole, problems with the arrest and so on. That's not even considering corruption like getting a friendly judge because your father/uncle or whatever went to college with the right people.

Imagine the exact same crime, let's say selling cocaine. One person grew up in the ghetto and has to use the free public prosecutor. The other is the son of a millionaire. Which one do think will do more prison time?
Thomas Jefferson literally sliced up a bible to produce a version of the Jesus narrative without all the miracles! The founders were busily questioning their own traditions at the time.

https://en.wikipedia.org/wiki/Jefferson_Bible?wprov=sfla1

Theodore Roosevelt was sworn in without a Bible:

https://guides.loc.gov/presidential-inaugurations/1897-1925#...
Interesting to know that "2nm" and "20A"(Armstrong) are just marketing names, they don't reflect physical sizes

- see: https://en.wikipedia.org/wiki/2_nm_process#:~:text=The%20ter...
> 18A will be half a node denser than N2, while also being 12 months earlier to market.

It would be interesting to hear what the consensus view is on Intel actually being able to meet this timetable. Surely a strong degree of scepticism is warranted given their recent record.
Intel’s first announcement when they decided to manufacture for third parties wasn’t ARM it was MediaTek.

Intel has a long way to go to prove they can catch up.

https://www.forbes.com/sites/patrickmoorhead/2022/08/10/inte...

Intel isn’t dabbing cutting edge chips from them
I think there was a guy that bought a lifetime 1st class plane ticket for 10.000 dollars and used for like 20 years.