skysight-inc/HackerNews huggingface dataset:
That is correct. The problem is only triggered by very particular patterns of integer operations which happen to get lowered to C-- where an operand is bound to a local register; this register then gets inappropriately mutated by the code generated by the backend.

As you say, GHC, like most language implementations, has an extensive [testsuite](https://gitlab.haskell.org/ghc/ghc/-/tree/master/testsuite) (10k tests which result in over 30k testcases). Sadly, none of these tests covered this particular case.

Moreover, we also have a systematic [property testing framework](https://gitlab.haskell.org/ghc/test-primops) testing the backends and primitive operations provided by the compiler. This testsuite also didn't test this form of program since it focuses on testing the expression fragment of the Cmm language (and therefore won't generate local register bindings). This is a blind spot that I am going to look into addressing.
There is so much ignorance and misinformation around webauthn. I don't understand why people aren't jumping on it.

Passwords suck. Password managers make passwords more manageable but they still suck. Why not move on?
Do you think that formal specifications might alleviate logical bugs to an extent?

Yes, it appears that companies won't budget that at all.
Many seem to ship fast, fix later.
It is also on the customer, really.

Some people expecting software developers to deliver high quality software (with near 100 % code coverage and exceptional performance), but paying them less and less, is not fair.
No wonder, some devs are incentivized to skip unit tests or error handling.
Because some employer or some customer won't pay for it.

This is the status quo that makes me pessimistic.
It appears that software development is gluing things together and make it somehow work.

This ain't fun for me.
Neckties are uncomfortable only if the shirt collar doesn't fit properly when buttoned.

(That's one advantage of having dress shirts custom-made: You can have the collar made to an exact fit — and also have the sleeves made to the exact length needed to peek from the sleeves of your suit jacket without your having to "shoot your cuffs" à la Daniel Craig's James Bond.)
100% rent-based business. the computers do all the work, the owners just collect the money.

the societal mistake is to regard this as 'wealth production'; it's not. this is rent. this is where creative productivity (arguably real actual wealth) goes to die.
What about the issue it mentions of replies to SMS coming over RCS and never arriving in SMS apps? I'm inclined to agree with the assessment that all 3rd-party SMS on Android are toast. Eventually only the device's/carrier's stock messanger will be reliable.
This is actually really interesting to hear.

I always hear the argument "you don't need a fancy website or UI, when I started my site/app looked like ___"

These people created MVPs in 2010. You're now competing with MVPs that can be built with way more features, the latest tech stacks, and more in the same period of time.
Laugh at them. Who are they to you? If they want it free they're not customers, if they want the app's code they can write their own app, so they're not your customers.
Third-party ECUs to the rescue. Problem solved.
Got some benchmarks?
Their result is "We found a slightly better method after someone told us where to look."

It's very common in mathematics for simpler proofs and extensions of results to follow an initial ground-breaking paper. People looking at this preprint as a refutation of the ML techniques have it exactly backwards.
Well put. Reminds me of these guys:

https://en.wikipedia.org/wiki/Brotherhood_of_Sleeping_Car_Po...
huh… its been so long since I’ve found this kind of thing controversial

Just had a little flashback to 2008 me
> who can't afford to carry around luxury phones.

The solution is to buy an older iPhone second-hand.
The right way to job hop
Who are they extracting rent from?
Solution: The EU should mandate that all chat messages be yellow with black text. (Coming off the success of USB-C, now is the time for them to maintain their momentum!)
https://www.startupdaily.net/advice/builtwith-is-perhaps-one...

He was supposedly making $14M/yr seven years ago too.

and dangrossman was complaining about the spam back then too: https://news.ycombinator.com/item?id=10316060
"Science is not a competition!" - it kind of is though
Tell me again how MacOS is more locked down than Windows and why most people should care?
The W usually stands for "western," not "white" lol
https://twitter.com/UN_News_Centre/status/158029096416534118...

Against (5):
- Belarus
- North Korea
- Nicaragua
- Russia
- Syria

Abstain (35):
- Algeria
- Armenia
- Bolivia
- Burundi
- Central African Rep.
- China
- Congo
- Cuba
- Eritrea
- Eswatini
- Ethiopia
- Guinea
- Honduras
- India
- Kazakhstan
- Kyrgyzstan
- Lao
- Lesotho
- Mali
- Mongolia
- Mozambique
- Namibia
- Pakistan
- South Africa
- South Sudan
- Sri Lanka
- Sudan
- Tajikistan
- Thailand
- Togo
- Uganda
- Tanzania
- Uzbekistan
- Vietnam
- Zimbabwe
> The biggest problem they're going to run into is: Who has deeper pockets? Since often in the US legal system that can decide the winner/loser.

Seems like the big mapping companies you mention should file amicus briefs in his favour.
I'm guessing. Though I'm in the US but also in grad school. With a large number of foreign students there are similarly a large number of WhatsApp, Telegram, and WeChat users. I suspect this problem is very Americentric. India was able to get all its old people to use WhatsApp and multiple apps, I think there is a bit of an overreaction going on here. You'd think the world is ending for a feature most people didn't know existed (despite it being a prompt during signup).
No, it's not "simply false". It's something that many of us have repeatedly observed happening and probably done ourselves at some point. There are of course exceptions, but it's not really fair to bluntly dismiss it.

One of your greatest desires should be to have strong propietry technology that you control

Yes – and you should be investing your time in making that "strong proprietary technology" more effective, and spending as little time as possible doing all the bits that your competitors didn't have to do because they picked an off-the-shelf solution that did most of it to a "good enough" level.
Oh no, the "did you remember to lock the door to the auditorium" messages I send to my boss may be unencrypted. The humanity.

What do you purists use to talk to all the random people around you? Do you reply "I'm sorry, it's too insecure for me to answer that, you'll have to install Signal first" messages when more distant colleagues ask you if you're at your desk right now? Do you teach your grandmother to use WhatsApp so her birthday greetings won't be intercepted by the NSA?

(Admittedly, the email situation at work being utter trash may be coloring my opinion here.)
Real answer: They allow 3rd-party browsers because there would be public outcry against them if they disallowed Firefox/Chrome. That's it. That's the reason. They'd probably block them, too, if they could get away with it cleanly.
>Sweden, where this facility is supposed to be built, hardly has any fossil fuel electricity production.

That would make their process suitable for countries that barely produce any iron to begin with. Unlike countries actually responsible for a big chunk of the world's iron production¹, and heavily reliant on fossil fuels; such as China, Japan, India, Russia.

>Also you should compare the natural gas hydrogen process to the currently used coke process.

No, I shouldn't. For three reasons: a) everybody knows that the "traditional" coke process is nasty, and is looking for alternatives; b) other alternatives already exist, as syngas-based³; and 3) the resulting iron is slightly different in properties.

Could the method from the link become more attractive in the future? Sure. Even then I strongly suggest everyone to hold their horses before going "WOOO THAT BIZNIZ SAID THAT THEY'RE CHANGING THE WORLD!!1". There's no "exciting" development yet.

_____________

1. Source: https://en.wikipedia.org/wiki/Iron#Industrial_production

2. Refer to https://ourworldindata.org/grapher/exports/share-electricity...

3. Note that syngas still uses coke, but as a DRI method it uses it more efficiently.
> make lots of his supporters think that was the intention all along

His listeners believe that the literal devil controls the government, Hollywood, and the minds of liberal minded people. His listeners believe that Klaus Schwab secretly controls the United States and that his goal is to feminize men and cut off children's sex organs. His listeners believe that Sandy Hook never happened and the parents are crisis actors. His listeners will believe all kinds of insane things but that has nothing to do whether justice should be served or not.
> A browser extension for example.

The BuiltWith browser extension was how I found out about them years ago.

I was under the impression that the extension is what enabled them to collect a big chunk of their data, at least initially.
good advice, but you may still be req. by law to identify yourself
I believe you, I'm trying to counter the narrative that there is some way you could have misinterpreted otherwise "normal" administrative disciplinary communication
Now I'm curious what sort of argument could be made about not using the Framework laptop.
This looks like what APL needed.
you are overlooking the motives of a power-tripping California Board for Professional Engineers member, is what you are overlooking. those people (power-tripping people) do not make decisions based on intelligence or good judgement; they have the power to enforce a rule and they are going to enforce it no matter what the consequences are.

if you think this is not possible or is unlikely, I recommend you work in a small office somewhere for a year. even the slightest hint of an idea that a person has power over you will often make that person absolutely drunk with power.

what this Engineering organization is trying to do was tried a few years ago by some other Engineer organization somewhere and the engineer organization in question said something to the effect of "only engineers are allowed to do this, and we say who gets to call themselves engineers" and they lost quite resoundingly. it was wonderful, truly.

in that state and that field, neither of which I can remember now (getting old) anyone can say they are an engineer and be hired to do the work that this organization for engineers controlled for so long. they got a big head, they squeezed the wrong person, and they lost it all in court. they no longer are able to control who can call themselves an engineer; the state redefined it as "one who practices engineering" or something like that.

I hope that happens in this case as well.
Would love to know why this of all things was downvoted
I'm glad I started my professional career working on a large Django app, I think learning about its abstractions and organization gave me a really good starting point in building my mental model of all the problems sufficiently complex web applications end up having to solve. Now I often find I prefer, or am in a situation where the companies architecture dictates writing projects and services with much simpler dependency graphs, I've also found the prospect of deploying web applications with python a lot less appealing, but there are many reasons the opinionated all-in frameworks like Django and Rails were and are awesome.
It is not 20% of the Job Cuts are in Sales and Marketing, which is what your sentence could implied. But up to 20% of Sales and Marketing department being cut, which represent majority of the 1000s of job cuts.

I am pretty sure there are lots of bloats at Intel that requires trimming down.
Yup. Nvidia is also based in Santa Clara.

AMD for a long time had been headquartered in Sunnyvale, CA, but they moved just a few years ago. They are now building homes at the former AMD site.
Avoiding the use of a framework does not preclude someone else from duplicating your work in two months by using a framework. It just means that you wasted a whole lot of time hand-rolling things that didn't need hand-rolling.

Most businesses are not successful by virtue of the technologies they choose. Facebook is probably the foremost example here; they started with PHP and moved over time to leverage additional technologies (some homegrown like hack and react, others just additional languages like C++).

There are plenty of facebook clones in plenty of languages. The technology isn't the reason Facebook hasn't been supplanted by a competitor with the exact same product.
No, the eyeball tracking means you can move around and get the depth perception as you move. It seems like potentially very cool technology, I don’t understand this negativity.
I dream of day apple watch can trackbar path/speed and respond to optimal reps.
Apple is probably the biggest bully of a company in the world. They absolutely don't just make more money. They use their power to ensure they make more money.
Any feedback or application possible application suggestions very welcome.
I largely agree with you, but it may be a situation where a disclaimer on the plans themselves would assuage the professional board.

The site itself includes a disclaimer (“THIS IS NOT A LEGAL SURVEY, NOR IS IT INTENDED TO BE OR REPLACE ONE.” ).

However, at least on the sample plans the site shows[1][2], there does not seem to be any disclaimer. A reasonable person may be mislead into thinking that the plans produced by that website are legal surveys - they have the appearance of a typical surveyor/engineer produced CAD drawing.

In all the engineering drawings I've seen, the title block is essentially your only way of ensuring contextual information is always associated with the drawing. Including relevant disclaimers in the title block is critical.

If the sample drawings shown are representative of the output of the site, they could do a better job by including reasonable disclaimers on each drawing.

[1] https://www.mysiteplan.com/en-ca/products/simple-plot-plan?v...

[2] https://www.mysiteplan.com/products/plot-plan-showing-struct...
Compared to electric motors, internal combustion engines provide relatively little torque, over a relatively narrow range of RPM. An typical electric motor can apply its maximum torque, constantly, from zero RPM to its normal RPM.

A gas engine just cannot do that. At low RPM it has little torque and power. At high RPM, you can't really transfer that full power with a transmission in the lowest gear, because now it's too much torque. (Stripped gears and/or snapped belts were pretty common before computer-controlled automatic transmissions.)

This (idealized) chart may help explain: https://www.researchgate.net/profile/Ronghui-Zhang-2/publica...
You should say thank you for localization system.
Sounds like a jumped up petty bureaucrat decided to flex their muscles, and have now landed their department in a world of pain. When will these people learn?
You forgot maybe the most horrible of all this. You create a website and through ads and sells you make a ton of money out of it.
Use NextDNS everywhere you use Tailscale
This really feels like a "spirit of the law" vs "letter of the law" situation - requiring that only a licensed surveyor "depict the location of property lines" seems totally reasonable as to prevent the "location of property lines" from eroding legally, but banning a site loaded with "THIS IS NOT A SURVEY" disclaimers does not.

A discrepancy between requirements from building departments and planning and platting departments is par for the course. Everywhere I have ever lived, the building department will accept an informal description of boundaries to determine whether or not a plan interferes with setback requirements, while a planning department or platting recorder will demand an officially certified survey to determine the actual parcel boundaries.

I think this site's "If your building department DOES NOT require a Surveyor, Engineer, or Architect Stamp our plans are just what you need!" disclaimer is quite spot-on and it is rather frustrating that they are getting targeted.

My own county (Boulder County, CO) offer a county-sponsored GIS service which is not surveyor-approved, with similar disclaimers. My surveyed parcel at my current household differed from their assessment by 5% and at my last household, by 10%. While this is a significant number, for building purposes, it isn't unreasonable - just a few degrees either way in the projection of edges. I think these sites should be allowed to stand with the acceptance that a suit based on the material contained in these sites would be bogus.
There’s a seamless ability to add runtime checks in TypeScript and has been for a long time: type guards. It’s not built into the type system because no one actually wants that in TS or any other language, even when they think they do, at least without control over when it’s used. That is type guards.

What everyone who asks for runtime checking actually wants is:

- define once

- declaratively

- with clear validation and deserialization at boundaries where data types aren’t known

- without overhead for internal types which are well known

- without an additional build step like codegen

That is type guards! They just have to be granular and composable, and well tested at a granular and composable level. Libraries like zod and io-ts have shown how to do it. You can just use them, or many others like them, you don’t need anything new. Or you can pretty trivially build your own custom solution if they don’t scratch your particular itch.

You aren’t missing seamless runtime checks. You’re just not using them.
Twitter is still going strong for Web3 people. Tiktok won 2 years ago already. another winner is youtube over netflix
But outside of Apple, ARM processors aren’t really that great
I prefer straight-laced. Please afford me distance and dignity. I have my own friends. Let me make money then log off.
> Using libraries and frameworks is like a business outsourcing things that aren't its core competency and also aren't competitive differentiators.

Adopting frameworks is a variation on the the Build vs Buy question, even when there's no money involved. Does the framework provide some features that are necessary for the technology but not core to what your business does? It's probably OK to use. A company that adopts a framework for its core business is essentially giving up any competitive edge, because any company that uses that same framework with the at least the same skill as your team will end up being a viable competitor.
The vast majority of domain names are .com - it’s a fair assumption to make, isn’t it?
Well then, why not use whatsapp or whatever the rest of the world is using?
It has more features, reviews generally indicate improvements, and consumers are choosing it.

Anyone claiming that it is getting worse is making an extraordinary claim that needs data to support it.
Have to agree.

Just the framework itself usually requires maintenance, unless the developer prioritizes backwards compatibility, which is rarely the case.
No disagreement there, but cargo-culting the iPhone isn't going to give poor kids rich parents
Yes it is possible to build multimillion $ companies with a very small team. imagine all the time you save in meetings.
How to Concentrate (1930)
There has been a lot of buzz about this recently, and I'm surprised at the ignorance. Building a POC in a hackathon demonstrates none of the hard parts about bidding on and executing a government contract, especially one related to border security, personal information, etc. As you say, maybe they overpaid, and government procurement is broken, but these silly comparisons don't get into that at all.

"Tell me you have never worked on a government contract without telling me you've never worked on a government contract" might be a good summary.

Do the hackathon participants have security clearances? That would be the first in a massive list of things that make projects like this cost way more than what you would pay a kid to make for you on the weekend.
Right after CHIPs?
Vídeo games are not just contemporary art - they are THE dominant contemporary artwork of our age.

Yes some people choose to ignore it but having studied the arts - painting, writing, even filmmaking at this stage are more and more subservient to videogames. Virtually everything that’s new and exciting in art in the last 20 years have been videogames.

If you’re brilliant and you want to make art these days you generally go for videogames I’d say.

As a Filmmaker myself it’s interesting that reading the history of film it similarly wasn’t recognised as the dominant artform of its age / in fact quite the opposite it was considered commercial product only. It was only with a Frederico Fellini film being banned for instance that freedom of expression was allowed in film. That was because in breaking with precedent courts decided that film was art! It took Fellini to make them do that. Or so goes the history I’ve heard.
Companies ready hire a huge number of lawyers and pay off a large number of lobbyist, especially at the large enterprise size. We already know the answer is you have less bargaining power and get paid less.
It is! Zod is great. I don’t mean to undersell its value. But it’s more of a reference manual of how to effectively use the language features it uses, than something novel filling in gaps in the language.
I think the problem is that he's selling the maps as a service. A homeowner doing it for themself is different from hiring a professional service to do it.
On Instagram I follow a gentleman who still thatches roofs in England, marvellous craftsmanship, but only for the wealthy elite heritage graded property owners.

I recall the old saying; humans are the only computer that can be mass produced with unskilled labour.
Hey don't give up. You're gonna make it, just keep pushing irons into the fire, it's inevitable. I believe in you.
Intel’s newest chips have efficiency cores alongside performance cores. They are actually somewhat competitive to M1 now
One thing I think would be super fascinating to have is a system that can take AI image training sets and reverse engineer which pictures were used to make the output. Take the bunny. I bet there were a lot of bunny pictures in the training set that looked very similar to the generated one. It would be interesting to have a system pick the one that is closest and display it next to it. It would be show how original (or unoriginal) these images are.
"Not being usable" is an odd phrasing. 1) if they asked, after my initial shock of "omg, 1936 called" I'd happily license it to them, and 2) by the time you're in an armed resistance software copyright is the least of your concerns.

But more importantly, people being able to have varying opinions does not make all opinions correct, just, or even respectable. Ethics are universal: they are the framework from which we judge the actions of both ourselves and others. An assertion that "Doing good is doing what you think is good" is a cop-out, and an (absurd) ethical argument in of itself. Evil people are perfectly capable of rationalizing evil to themselves, they don't need radical subjectivists cheerleading from the sidelines.
I wonder if kids will grow out of bubble tribalism as they get older the same way youth ditched FB.
AMD's CPUs, including the latest Ryzen and Epyc processors, are immune to:

Meltdown (Spectre v3)
Spectre v3a
LazyFPU
TLBleed
Spectre v1.2
L1TF/Foreshadow
SPOILER
SpectreRSB
MDS attacks (ZombieLoad, Fallout, RIDL)
SWAPGS

https://www.tomshardware.com/features/intel-amd-most-secure-...
simple proof that you can't get better than O(n^2) is that you need to produce an n x n matrix with O(n^2) distinct values, so you need at least O(n^2) just to print the result.