skysight-inc/HackerNews huggingface dataset:
It's a pretty useful distinction. Additionally, a lot of the communication differences that drive engineers nuts (eg. selling a project as nearly done when actually it needs significant work, representing that there's widespread consensus among stakeholders when in fact there is no such consensus) are examples of epistemic vs. deontic reality. A manager's responsibility is to make what should be actually come about, and so their job includes moving people - sometimes with lies - such that reality changes in the desired way. An engineer's responsibility is dealing with reality.

Ideally there's enough trust between manager and engineer that both parties can bend and the goals can become something actually achievable, while reality becomes something desirable to the organization.

The way for engineers to reclaim epistemic power, though, is to realize that it's not your responsibility to protect upper management from the consequences of their decisions. If you trust management to be rational, sure, up-level your concerns about reality and hope that they adjust their "should". But if they still insist on something that you know is unworkable, go quit and work on a project where you can actually achieve something useful. Either you'll be replaced and your replacement can achieve management's goals (in which case, more power to them) or management will be forced to inhabit epistemic reality.
Dang is a massive cunt
Even for a quick script this worries me about copilot; if it suggests this, then more people use it and think this is right, commit it, and then copilot suggests this more - that’s a bad feedback loop. At least in StackOverflow you get someone commenting why it’s bad and showing how to use a dictionary instead
Indeed, I was lampooning their terrible decision to remove the headphone jack and their gall to refer to it as "courage." I'm still salty about the whole ordeal.
Desktop applications have plenty of use cases not covered by Web on enterprise scenarios like factory automation, life science robots, data readers, air gaped environments.

Not everything can be done as PWAs, as proven by Electron garbage.
You may as well say that rejection of violence is a basic tenet of Americans too, given that violence is outlawed except in the case of self-defense.
Twitter finally returned the option to make the feed chronological again and I’m starting to like Twitter a lot more again. It was way more political and contentious with the smart feed on.

FB should explore these options more. It sounds like there has to be more done here than just turning off the smart feed entirely.
Me too - by chance I was an early adopter and am now kindly grandfathered in to the fully functional app, it seems.

Only thing I wish for is better handling of my comment history: it would be good to have a threaded view of old comments and any replies (as on the website) and maybe even the option to be notified of a reply.
Oh snap. There was a pretty broad dismissal of URLs making real inroads in the world in the recent Roy Fielding's Misappropriated ReST Dissertation[1]. Everyone seemed to agree that this core, fundamental part of HATEOS was basically dead, unloved, & going no-where, was my read.

I mentioned Marcel Weiher (@mpweiher) In-process ReST[2] in that thread[3], and admitted indeed this is something we don't see a lot of. But I personally think it's enormously worth doing. Rather than having entities implicitly be of some entity, merely floating identifiers, I think there's enormous value in having infrastructure & systems that refer to each other the same way clients refer to information... via urls, as real resources.

Which is what Tim Bray got Lambdas doing, way back when. And it's paying off well. Tim Bray, trying to cite Tim Berners-Lee, pulled this choice quote:

> "On the Web, a resource is a unit of information or service."

Tim's doing a good job talking to a lot of hopes I still have. If anyone's curious for more, I cannot recommend enough TimBL's "URIs - Axioms of Web Architecture"[4], which is still the only sensible basis I've heard for online information. Thanks for this incredibly timely share @HB.

> "Any resource anywhere can be given a URI" "Any resource of significance should be given a URI."

has indeed flowed well into Tim Bray's conclusion:

> "But to be honest, all of that comes more or less for free once you decide that everything you might want to integrate is a resource and thus should be identified by a Uniform Resource Identifier. I recommend this design pattern."

[1] https://news.ycombinator.com/item?id=29009729

[2] https://news.ycombinator.com/item?id=21560626

[3] https://news.ycombinator.com/item?id=29014181

[4] https://www.w3.org/DesignIssues/Axioms.html
The founder of TSMC is essentially stating the obvious that Intel wants a big chunk of the $52 billion chip subsidies.

Intel has been compensating their management very well over the last two decades. Now subsidies will come to their rescue.
yup, this is just conservative propaganda.
Especially with newer hardware, Linux support lags behind Windows quite a bit or is missing some features.

Regarding old devices, in many cases it just makes more sense to replace it with a newer device, than to spend time figuring out how to make old device work, unless this is a hobby to you (totally valid, but this only applies to a few people.)
Polio vaccines are not a cure. They do not treat the infection nor the after-effects.

Also, people who have been vaccinated can still, in principle, contract polio. Like people with immunity from previous infection, generally they get a very mild and asymptomatic case that clears almost immediately.
> Hispanics have been here since Manifest Destiny ran into them way back when. Yet they haven't assimilated like other groups sourced from Europe, or ones that remain at non-threatening numbers.

Hispanics assimilate quite rapidly. 50% of second generation hispanics consider themselves "white". The issue is the flood of new hispanics is sufficiently large so as to hide the corresponding flood of assimilation. Florida turned red on the back of hispanic voters.
When Apple finally ditches Lightning on the iPhone, people are going to raise holy hell. That's probably the only reason it's still there.
You should only be worried if you just copy and paste boilerplate between files. If you're actually able to solve problems and design things there's nothing to be worried about
Indeed, lets write everything in pure Win32 C, with windowsx message crackers and STRICT mode, lets make Windows safe again.
It does that by abusing a term that isn't directly applicable, and meanwhile there is no serious ambiguity: when people say "state-level actors", nobody thinks they're talking about Nebraska. People talk about "statecraft", not about "nation-statecraft".
It's not just true, but blatantly obvious. Compare the design language of Big Sur with GTK 3.38 which predated it, and as the other anon mentioned, Windows 11 is effectively just GNOME with Dash-to-dock enabled. Whether or not Microsoft knowingly copied it is a different argument, but I find it hard to believe that their designers weren't at least inspired by the touch-friendly, reactive desktop UIs built with GTK.
This HN page is #4 at the moment. It hasn't tripped Google Trends yet though.
That makes a lot of sense, thanks for sharing that.
Modern medicine often got its start in 1800s monasteries.
Replaced the Retina 2012 15" MBP battery fairly recently, as well as the SSD a long while ago (with an adapter) and took maybe 8 minutes, minus the screws, each time. The worry is the 3rd party batteries won't last long or will swell sooner than OEM parts.
Really cool project. Love it. Would like to be able to also test against system fonts, like the SF Mono, Monaco, etc. As an Apple user, those are not only on my system, but are very well professionally designed (and no need for a web font!). So it would be great to throw them into the mix. I imagine Windows users would want similar with the Microsoft fonts.
I can't see any attribution, first checkin message is " created a basic language!" with 409 new files in the repository. The author also changed the license to GPL which I think a MIT license doesn't allow.
Great site! Just ended up discovering a new font that I like :)
I think the simpler explanation is that good PCB CAD tools are extremely difficult and require a lot of developer effort.

KiCAD is very good for an open-source tool that can produce basic PCBs. However, modern paid CAD tools are on a different level entirely. The differences may not be obvious for simple boards with low speed connections, but it’s a world of difference to use one of the high end CAD tools on a complex board with high speed traces.

KiCAD has recently reached a point where I feel like I can execute most of the designs I want with enough effort expenditure, but the paid tools still make certain tasks much faster and easier.
Automatically format and lint code with pre-commit
I would comment as follows.

Iron Man - sort novel for setting marvel tone but mostly banal action movie

Iron Man 2 - banal action movie

Thor - banal action movie

Captain America: The First Avenger - particularly banal action movie

Marvel's The Avengers - banal action movie

Iron Man 3 - banal action movie, sort of interesting to see protagonist suffering PTSD anxiety from being a superhero

Thor: The Dark World - banal action movie

Captain America: The Winter Soldier - first interesting take. Patriotism is not the same as government obedience. Real fight choreography approaching a soft john wick.

Guardians of the Galaxy - Early rock and roll aesthetic pretty interesting

Avengers: Age of Ultron - banal action movie, perhaps mcu lowpoint

Ant-Man - superhero heist movie, literally deconstructs larger than life superhero tropes. I think thumbs up

Captain America: Civil War - by this point doing the mcu's own thing, which is novel, but probably not interesting outside

Doctor Strange - banal action movie

Guardians of the Galaxy Vol. 2 - aesthetic still feels mostly fresh.

Spider-Man: Homecoming - super down to earth high school drama, frustrated working class villains suffering the fallout of superheroes, seems interesting to me

Thor: Ragnarok - great film, very genre savvy. Rare achievement to make godly strength brutes feel really engaging to watch. Taika Waititi is a genius.

Black Panther - pretty good. interesting aesthetic. directly addressing racial tensions.

Avengers: Infinity War & Endgame - Mostly fan service and not too surprising but honestly still novel.

Ant-Man and the Wasp - Ehhh I really don't remember

Captain Marvel - Beginning had some great hard sci fi imo. Thought the ending message of newly apotheosizied female not needing to prove herself to her evil male mentor was a solid take, whereas a classic "mano a mano" kind of showdown would be so typical of the genre

Spider-Man: Far From Home - Villain emphasizing themes of the power of deceptive media? heck yeah.

Wandavision - Really bizarre and interesting start. Unfortunately non-self-aware conclusion

Falcon and Winter Soldier - Active discussions of race and the problematic nature of superheroes being supremacists? Very good.

Loki - kind of a super cliche topic (time cops) that is also somehow really rare? eh.

honorable mentions for Logan and Deadpool for being just great; and the Amazing Spiderman for its excellent aesthetics despite terrible writing.
I think it will take several years before smaller desktop projects like Mate will move to Wayland, until then I'm happy to use X.org

There is nothing Wayland puts on the table that makes me compelled to go out of my way to use it.
Amnesty has heard of Assange ? I haven't heard of them doing any reporting on this matter. The search function on the site does not work on (my) mobile (chrome).
> When your title is "Chief Design Officer", the design buck stops with you.

That's only because in your ignorant reality you have made it so.

The actual reality is that what constitutes a product is so much more than just the design. For example it includes what features should and shouldn't be there. And that is a decision largely coming from the Product team. Or how it works. Which comes from Hardware Engineering team.
Open your shop at 0900 UTC
Lots of discussion at https://news.ycombinator.com/item?id=28989846 . Different link though.
> Further, enabling uploading won't work if the cloud account is full (as is currently the case).

> Turning off connectivity prevents the upload and scanning from occurring.

Client side scanning which happens as part of the upload, so these apply to that as well as to server-side scanning.

So your complaint is only "battery life"?
You are not the only one. I've used proportional fonts exclusively for 10-15 years and will never go back to monospaced.

In the past I used Verdana, Georgia, and Trebuchet MS. That last one may seem like an odd choice, but I really like the way it renders on a high-DPI display, with thick readable strokes and easily distinguished "confusable" characters.

Trebuchet MS does have some flaws, so I started customizing it into what I call Trebuchet++. What got me started on this was the poor tilde in TMS. I swapped in a better one with FontForge, and then started experimenting with a few other things.

One thing that bothered me in particular about proportional fonts is that the underscore character is so much wider than a period. This creates the wrong visual grouping in something like this:

name_with_underscores.method_with_underscores()

The default spacing causes "underscores.method" to be bound tighter visually than the individual names on each side.

So I edited the underscore to add negative spacing while keeping the underscore itself fairly wide. And I added positive spacing around the period. This makes it more clear visually that "name_with_underscores" and "method_with_underscores" are individual names separated by the dot.

The next tweak I plan on is adding some positive spacing after a "(" and before a ")" and similarly with [] and {}. It makes me sad that modern coding standards prohibit spaces inside (), [], and {}, even though it makes so much sense logically to have spaces inside them.

If I can't fix my company's mandatory code formatter, at least with a proportional font I can adjust it to put just a bit of whitespace there.
Well I only mentioned the McDonald’s case because of the similar public relations attack by the food industry, you are trying to distinguish the damages.

If you actually read the complaint then you wouldn’t try comparing the damages resulting from a negligence case and this case for:

1. Violation of the NY consumer statue act;

2. Negligent misrepresentation;

3. Breach of implied merchantability; and

4. Unjust enrichment.

Also please cite from the complaint exactly where you got you initial quotation that the plaintiffs “thought pop tarts would prevent cancer.” Or why you would have made that up after reading the complaint?
I think they were referring to places whereas owning a car is a burden and that the op didn't like. Not places where the need for a vehicle is paramount.
Did you even read the comment I replied to? BS like "we're throwing this post in your feed because one of your friends liked/commented on it" is not part of what people have been asking for, but that was still part of their "no algorithm" test.

All they did was get rid of the ranking, but that's only part of the issue.
They were also quite good killing C++/CX with C++/WinRT, a framework that to this day lacks VS tooling support beyond a couple of bare bones project templates.
It could be handy to have some sort of novelty scoring mechanism.
They say the key to innovation (i.e., creativity) is scarcity. Low budget is obviously a form of scarcity.

It certainly would be interesting to see a sample of albums, the studio bill, the marketing bill, and then the sales / revenue. I'm sure there are exceptions but I bet big bets correlate with big busts :)
My own experience working on X server, clean ccache-based rebuild is a couple minutes faster on meson compared to autotools. These minutes add up quickly, switching my workflow to meson paid for itself the same day.
> my guess is that these design changes did not sneak under his radar

Ive is part of the Senior Leadership Team.

No major decision in the company sneaks under his radar.

But that doesn't mean he is responsible for every decision.
How did Florida end up with one of the best Covid-19 case and death rates
Yes, it's a mixed bag no matter how one slices it. (mixed metaphor too, apparently)
The answer is yes. Not sure how you took GPs response as no.

Unless you're interpreting the question as "does anyone that isn't AWS provide all AWS services" which is obviously not going to be true.
I've found that for large codebases of dynamic typed interpreted languages Test Coverage is very useful at preventing typos or subtle bugs that wouldn't be caught otherwise.
I joined the waitlist at the end of June and got an invite yesterday. So 4 months?

However, I imagine a lot of people signed up just before me, so I was probably at the end of a long list. The wait wouldn't be this long if you sign up today, I reckon. I'm just guessing though.
this is exactly the thing we need to get users to stay away in droves, and/or find age proxies
Once a month you get asked to patch if you're using your computer during non active hours. Otherwise, it will reboot on its own during inactive hours. Or you know, if its the second tuesday of the month, when you go on lunch or go grab a snack, you can click update and restart - in Windows 11 the updates are usually slipstreamed and happen quickly.

Rebooting once a month isn't a problem for anyone I know. My phones typically get 3+ major updates a year and a monthly update and reboots itself at night.
In my opinion, dependent type systems are that way.

A dependent type is a type that depends on a value. What something is depends on something else; What something is is derived from something else – with computation. What dependent types are are calculations of type structure.

Unbounded, this becomes intractable like all unbounded computational expressivity. So that’s what modern dependent type systems need to solve—and they do. There exist formal results that frame the computational expressivity of dependent type systems and make perfectly feasible and tractable the task of deriving significantly complex types. Automatically.

The Idris language is a great example of where we’re heading.

The reason I’m more interested in this sort of thing rather than Copilot is that dependent type systems are based on formally rigorous methods. You end up with formally verified programs, by way of the same mechanisms that allow you to derive them automatically. They’re also easier to compose, for the same reasons.

Edwin Brady’s Idris demonstratons on Youtube show a bit of what’s possible. In one, the compiler automatically writes a formally-correct type-directed matrix multiplication function. In another, run-length encoding and decoding functions are generated from a type definition.

The book Type-Driven Development with Idris is a great read. Mind-expanding.

Programming is automation. The automation of automation is… dependent types.
Right but how is that different from now?

I do that every day on HN
Why? I haven't used it but it seems like the only reason it is good at repeating common snippets of code is because it is so clever. I don't think a simpler solution would be possible because it isn't exactly repeating code (except in contrived examples). It's adapting it to the context.
>I use my machine in closed clamshell around 90% of the time which means the battery is usually in pretty terrible shape after a couple years of use.

For those of us who usually use our MacBooks attached to the wall, deep discharging (AKA "calibration"; <https://www.newertech.com/batteries/power-calibration-guide/>) on a regular basis is a substitute, but is annoying to do.

I similarly went through batteries every couple of years. I now use FruitJuice (on the App Store) as the menu bar battery indicator. If it finds that the computer hasn't been used on battery long enough, about once a month the app guides me through running a maintenance cycle to run it down to 20%. I presume that following FruitJuice's advice is why my latest third-party battery is still at 103% health after more than a year.
Some eye colors are dominant. We still have a lot of different eye colors.
Seems like the mutation kills male embryos.

https://www.science.org/doi/10.1126/science.abe7389

> Survey data revealed tusk-inheritance patterns consistent with an X chromosome–linked dominant, male-lethal trait. Whole-genome scans implicated two candidate genes with known roles in mammalian tooth development (AMELX and MEP1a), including the formation of enamel, dentin, cementum, and the periodontium. One of these loci (AMELX) is associated with an X-linked dominant, male-lethal syndrome in humans that diminishes the growth of maxillary lateral incisors (homologous to elephant tusks).
There is always the route of "fiction inspired by real-life." Use your stories, but change them. Maybe add a more coherent narrative that doesn't exist in the vignettes of a lived-life.
If you want to learn Scala, learn it for fun. Its use in the industry is minuscule compared to Java.

Another benefit of Java: it's similar to C#, so most any company hiring for a C# dev would be open to hiring a Java dev. Learning Java simply opens more job opportunities.
Self-driving horse.
Eh, there's a league of difference between "does fine" and "does well".

I'm willing to bet she's had many doctors suggest modern alternatives and that she's tried alternatives, not the least because iron lungs are generally not produced anymore so they're more difficult to maintain and can't easily be replaced.

However, if she truly prefers it and it's therapeutic and she's able to maintain the device... what's the problem? "This other thing is a newer treatment," isn't really a description of efficacy or appropriateness or therapeutic benefit or patient comfort or outcome.

Just because something is old doesn't mean it's bad. A treatment that's proven to be effective for 50+ years shouldn't be discarded out-of-hand because newer treatments exist.
That's a theoretical difference, but in practice nothing will happen if your laptop consider a transaction as invalid. The only non-miner validators that count are exchanges, and those are almost as concentrated as miners. If miners are mining an invalid chain, and big exchanges are accepting it, your individual “validation” has no more value than when protesting against the Fed about how they should not do QE.

The only “validation” in the bitcoin protocol occurs at mining time (and ironically enough, it's not even mandatory so invalid blocks have been mined by Antpool before), everything else is just social convention (and assume that laypeople can have access to an untampered bitcoin executable: what if Google Chrome, or Windows, or whatever software running on the same machine replaced it with an alternative binary on behalf of the NSA?).

As a side note, Bitcoin, like all p2p protocols, is extremely brittle if run only by benevolent individuals. It's only secure because it's more of a federated ecosystem of players with pockets deep enough and a relational network between one another to cooperate.

For bitcoin, this federated network is fairly adversarial, and nobody ever managed to get a dangerous leadership on it. But if you look at Ethereum, you'll see a very hierarchical social structure, where Vitalik & Al. have almost complete power over the so called “distributed” network. (rolling back transactions, or completely changing the protocol at the expense of the miners with their move to proof of stake).
Haha, I mean, tpope has been working on vim plugins since 2005/2006 from my IRC memories, but there were vim plugins before that too.
So instead of going to the ground floor of my appartment building, opening my mail box, taking my package and going back home, I have to take a 7 minute walk to the train station, hope that it's open, take my package, and go back home.

That's a worse service than what I got before.