skysight-inc/HackerNews huggingface dataset:
I think OP wants transitive exhaustiveness checks while supporting partial base functions.

My suggestion:

Must you have partial functions? Maybe you can model your data more tightly? If your conditions are too complex, maybe you could decompose them?

A big reason I like ADTs with concise syntax is to model data with nearly¹ no room for invalid or useless data. Then all¹ functions are total and matches are checked for exhaustiveness. A nice matching syntax on top makes mistakes easy to spot.

Not sure how to help with formal verification or exhaustiveness on partial functions.

¹ I don't model everything absolutely precisely, but deviations are more of an exception rather than the rule. Then they can be made apparent and reasoned about.
What about VAT then? Value added tax as levied in the EU is not a sales tax. It's also a very popular fraud mechanism...
One day I'll get my hands on both an A40 and an A100 and I'll maybe get an answer to the question: does the 5120bits memory bus help that much? The A100 has less cuda cores, around 1/4 more tensor cores but seems to be the preferred 'compute' and 'ai training' option all around. What gives?
The problem with politics today is how they are covered. Nobody wants to watch how sausage is made, but they will watch the sausage factory burning down. All you hear about is conflict and partisanship, but if you look at polls you see that the vast majority of the country holds beliefs firmly in the middle of the political spectrum, most people are reasonable, and will not run over your BLM or MAGA lawn sign. Unfortunately that doesn’t make for good entertainment, so we are being forced to only see and talk about the extremely partisan positions and actions on both sides.
So that's the reason why they didn't make a demo available. They must be trying to collect subscriptions now to get the revenue to make improvements, and hope no one notices the transitionary period.
>2,000 years ago even the plebeians had the right to vote

2,000 years ago they voted in meaningless elections while the emperor was nondemocratic. And before that when the elections weren't meaningless, the plebians of Rome could vote while anyone outside if Rome was barred.
Sure, but politicians running for national level positions (i.e. President) run a single campaign, and they have to select a single position set for that campaign (1).

You're right that the game theory is more complicated than it would be in a national popular vote contest, but I suspect that the optimal position isn't all that far off from where it would be in a single nationwide Hotelling game.

(1) Mostly, at least, I know they can of course run different ads and given different speeches in different states, flip flop, etc, but their reputation and messaging is inevitably going to bleed across state lines / time quite a bit.
Oh man thanks for this link. Hadn't heard of this project. I only had Harmy's despecialized. I'll definitely compare them.
I still think that’s a big ask. I’d bet that the group of people that want full remote also includes a large number of people who hate the idea of company retreats. I’d rather finish work at 5pm and have fun on my own terms than a week of proscribed company “fun”.
Generally, people are willing to completely disrupt their lives by revolting, when they are starving and/or homeless. We let a lot slide because overall, many of our lives are good enough to not want to risk it all through action.
And wear sunscreen!

(Your post has a similarly uplifting energy)
The common parlance is just wrong. Soldiers do not serve on ships
I'd love to hear more about this, sounds fascinating.
Ziglang. We looked at it Tracy so we confirmed that having a counter and a pointer is bad relative to having just a pointer. We don't want bounds checks because they are 1) expensive (remember, silly numerical computation challenge) and 2) we overshoot the end of the array anyways to be able to aggressively unroll as many writes as possible at compile time, don't worry, we make sure to allocate extra slots that are mathematically guaranteed to be sufficient beforehand.
Hacker, Hustler, Desginer
author here: yes its a work in progress. Still creating the veralog code with a friend
Is a Wikipedia author participating in a business when they update an article, thus contributing to the service of a better encyclopedia? Is an open-source programmer doing business when they post their GPLed source on the web? Is gift-giving (offering a good) business?

That definition seems to be a bit too broad. So maybe there needs to be compensation. But then the determinists would say that even gift-giving has compensation (in the form of reciprocity) and thus isn't much different from credit. So the compensation should be something closer to monetary compensation. But then barter economies have no businesses. Etc.
My biggest issue is with the noise pollution. These things should be banned, period.
There's some real value to this. I think a lot of folks on the left failed to understand that Trump is a heel, and were caught completely off-guard that every single scandal ("grab 'em by the pussy!") not only flopped, but energized his base. To this day, a lot of press seems focused on "orange man bad" without any recognition that they're supporting his political standing.
Do you think there are no cons for employers?
author here: Not yet, still a work in progress
Army has soldiers, Navy has Seamen/sailors, Air Force has airmen, Marines has marines, coast guard has coast guardsmen.
It feels especially jarring to me because I first came across this article via space Twitter, where it sort of fits into a broader recent collection of articles (from Sheetz, but also from Eric Berger at Ars Technica and others) generally railing on Bob Smith and his terrible management of Blue Origin, and I didn't really even register this article as being about WFH per se, as opposed to the poor handling of WFH policies just being the latest example among many of managerial ineptitude. I confess I don't really understand this being the one thing that catches the HN crowd's attention.
That's pretty arguable. There are many things that I find useful that I wouldn't pay for.
"To date Apple have responded only with silence,"

So business as usual for Apple.

I suppose they have no fear of losing market share from losing their "privacy" moniker. Too many folks that are locked in to the brand, and who will now happily switch to saying Apple's data collection is 'better/ok'.
Thanks for your interest! I wasn't aware of SQLModel, thanks for bringing it to my attention.

Looks like SQLModel uses SQLAlchemy under the hood, so it should be readily compatible! You've given me the idea to try creating different "flavors" or branches of this template, with different integrations available.
> Matt Taibbi (and others) compare it to Pro Wrestling.

Kayfabe. And yeah, Hate Inc, was such a good book, I listened to it 3 times in 2 years and it's scary how closely this resembles most of the political theater that takes place around the World.

It's not just the US, though its the most visible, it's a systemic issue that is ultimately incredibly effective: it's the same formula that reality TV used but on steroids and for much higher stakes and with mentally sick participants (sociopaths willing to do anything for power and control).

As a long time channer, 4 and then 8 before things got incredibly violent, I highly recommend the Q: Into the Storm to see exactly what 'type of people' buy into these types of conspiracies.

Like most of the BS that went on chans, larping was always for the lulz, so whether it was John Titor, or the Time Traveler who predicted Bitcoin would destroy the Earth it's there for entertainment purposes to fill the void between the boring parts of life (think: something to read while waiting for a bus or taking an uber).

Instead it was taken seriously by a cohort of the population who were entirely destroyed economically and disenfranchised since the Reagan era in the US (and abroad) and it shows the perils of how basic the current Human Condition is when a pervasive narrative that suits your desired reality eventually becomes your entire reality.

It also underscores the reasons why Social Media is and has been a major source for anxiety, depression and suicide: the Human mind is just not optimized for that much input, so when coupled with low intellect, wide-spread loneliness and a need to feel accepted at all costs due to a loss of community it's not hard to see how this all turns out.

Cullen Hoback was recently on Joe Rogan and it was super insightful to hear his views on the entire thing (seeing Hotwheels' drama was utter insanity as I checkedout entirely from channing after the mass shootings) after watching it in utter disbelief when this documentary came out detailing how this whole thing took place and who was involved.
Rewrite: New study reveals privacy and security are an abstraction of how person lives life.
> The alternate domination of one faction over another, sharpened by the spirit of revenge, natural to party dissension, which in different ages and countries has perpetrated the most horrid enormities, is itself a frightful despotism. But this leads at length to a more formal and permanent despotism. The disorders and miseries which result gradually incline the minds of men to seek security and repose in the absolute power of an individual; and sooner or later the chief of some prevailing faction, more able or more fortunate than his competitors, turns this disposition to the purposes of his own elevation, on the ruins of public liberty.

--- George Washington, Farewell Address
I work on a video game that's approaching 20 years old. I don't think in our case that this distribution would hold, because for instance if you took our top engine programmer, he probably wouldn't know off-hand how to work with our texture pipeline. Nor our web store. Nor our customer support tools.

He'd probably be capable of figuring any of them out, but in terms of "knowledge at rest", I doubt anyone knows even a third of everything there is to know, even if we constrain ourselves only to knowledge of things within the engineering discipline.
> Consider what would happen if rather than voting for your favorite you subtracted points from the candidate you disliked the most.

Would that work? If there are only two candidates, then it’s equivalent to casting the inverse votes for. If there’s three candidates, and one is literally horrid, then would people give all of their negative votes to the horrid candidate in fear of destruction and leave very few votes to differentiate the top two? Or, would voters cast all negative votes for one of the top two and hope enough _other people_ downvote the horrible candidate?

Sorry, I know your comment wasn’t meant to be serious, but it’s an interesting thought experiment.
Reminds me of slang.
They are slower than ballistic missiles, but fly more unpredictably. Ballistic missiles fly a parabolic trajectory and therefore an intercept can be calculated, whereas hypersonic missiles fly in the atmosphere at high speeds and can change their direction
One way of thinking is that it's not that bad. The elites have to provide a minimum quality of life for everyone. People will naturally want more and more so that bar will rise over time. So long as elites provide this their reward is corruptly embezzling money and avoiding taxes.

Obviously I'd prefer it if they obeyed the laws and faced justice, but that seems not to be the world we live in. I'm not going to risk my comfortable life rebelling against them to make it more likely either. Instead, maybe the right move is to just keep pushing the quality bar higher.
> The average person is simply unable to evaluate competence, especially from news clips and "debates". The median voter is not a highly competitive white collar knowledge worker with a background in STEM necessary to evaluate complex topics with objectivity. Instead its the fry cook, the retail worker, the warehouse stocker, blue collar tradesman, liberal arts graduate, etc.

This reads like parody.
I think you're reading "It's mostly cons for employers", when I wrote "most of the cons are the employers".
I will tell my wife, next time she asks, that my pile of electronic junk will lead to us and our offspring having "more resources, power, and the resulting reproductive success."

Wish me luck.
When I was at GE we straight up ignored the division CTO and just worked from home when we felt like it...a whole org team under him (he specifically banned WFH more than 1 day a week, most of us worked at least two or three). We scheduled meetings in rooms at the office and came in on those days when we felt the need. It worked fine.

Most companies I have been at just ignored the CEOs stupid out-of-touch WFH proclaimations. This was tech though. The other departments usually obeyed on a case by case basis.
New things just break the law in new ways, the amount of law breaking does not change, so what you have now is the same people breaking other laws. Bicycles and pedestrians are so close to each other there is always going to be friction minimizing that does need infrastructure. In the end even if the situation in 10x worse than before the pandemic, you are still in less danger if your streets have less cars on them. Air polution from cars kills more people than accidents, and it is legal.
> We don't know too much as for China
https://en.wikipedia.org/wiki/DF-ZF
> And before that when the elections weren't meaningless, the plebians of Rome could vote while anyone outside if Rome was barred.

They voted with their daggers
What does the median even mean in this context? The whole point of a median is taking the element that is greater than 50% of other elements in a strictly-ordered set, but since when have people or voters been strictly-ordered?

Some people care about climate change (or lack thereof) and others about women's rights (or lack thereof), so even if voters could be quantified, it would at least be a multi dimensional problem.
Would you even want to tell yourself advice learned from ten years of experience?

If I learn from the past ten years and then go back and tell myself two outcomes are possible. My past self listens and changes my future self or my past self doesn't listen and then end up who I was anyway. If my future self changes then they no longer exist to tell my past self and a time paradox is set up where they can't tell my past self advice.

With all that has been gained by the present self would you really want to give that up?

If I had told myself that I can live a life free of afflictive emotions, emotions of attachment, free of ego ten years ago, I would never have learned how to do this or how it is possible.
Drivers should be the domain of the manufacturers. If they can't write drivers, who can?

Historically, they've only supplied drivers for MSFT and Apple. (Intellectual property - closed source drivers). If MSFT starts using (say) BSD as the underlying OS, you'll immediately see those drivers appear.

The graphic stack (wayland/X.Org) is also completely different, this would require a complete rewrite of the Windows UI. Could also take years.

Why should MSFT have to use the Wayland or X.org GUI system? They already have their own GUI system, just as Apple have their own GUI system. In the near-term, they would just need to write an interface layer between the the current GUI and (as above) the BSD underlying OS. Over time they would streamline the interface between their GUI and BSD, eventually getting rid of the interface layer altogether.
All actually deployed systems are nuclear capable, for them aiming is not a huge concern because the boom is very big.

What the US is playing at with their strictly conventional warheads is anyone's guess, the overall impression is a of a "we want that toy too!" program.
pretty much all of air travel had direct government subsidy in the form of postal contracts in its early days and later price controls. automakers also had a huge subsidy in the form of the massive capital expenditure on highways that were free to use.

developing technologies at taxpayer expense for strategic purposes is nothing new. if private airlines were left to their own devices we probably won't ever move away from the basic shape of subsonic, fossil-fueled jet travel. as it is, the airplane manufacturer duopoly is half kept afloat by defense spending, and it remains to be seen whether or not the full financial cost of 737MAX will result in requiring taxpayer bailout.
A Hybrid That Comes Up Short
Can you explain why people would want a heel to make decisions about their lives and freedoms? I assume you’re implying that heels gain popularity through drawing emotion, but likely has an inverse correlation to being a good leader? Heels are self-obsessed generally, right?
Actually, the non-football sections in redcafe, which is the biggest online community of soccer club manchester united supporters (full of well behaved neutrals and oppos), are pretty good and widely opinionated… much more interesting than the main football section!
I also like The Guardian. That article goes in the opposite direction of what they usually publish.
“I think your home is too small.”

Thanks this is incredible insight
I’m gonna fix that right away
I'll admit that I'm not following politics very closely, but surely I would have heard of a proposal to triple the population of the US.
Not sure why this would be downed; it's a real issue, e.g. https://www.economist.com/britain/an-anti-green-backlash-cou...

In a way, it really is a bit of a "no shit" observation: actually effective climate action is incompatible with democracy unless quality of life is broadly maintained or improved. And people shouldn't point at warm-and-fuzzy nonsense like polls claiming to show 80+% support for "saving the climate" and similarly vague statements. Imma just leave this here: https://ballotpedia.org/Washington_Initiative_1631,_Carbon_E...

In fucking Washington. By those margins. Support for climate action disintegrates as soon as people see the personal downside, so we need to figure out how to develop and present lifestyle-positive climate interventions (like the revenue-neutrality of this Austrian thing!) if we want any serious motion in the West. I'm starting to look at the more self-flagellatory proposals as likely false flags from those opposed to serious change: as long as the burden of decarbonization falls on the little guy and his evil evil burgers, they can rest assured knowing that no serious action will ever pass anywhere important.
Profession by Isaac Asimov (1957) [pdf]
Apple’s pivot to privacy has more to do with marketing than with actual functionality.
> Not so. AAMs/SAM can only pull anywhere close to 50g at gigantic cost in drag and can only do that once and briefly. It is a question of kinetic energy because the missile that can regenerate kinetic energy and that loses the least kinetic energy relative to it's mass is at a massive advantage.

Except since the interceptor has only one chance at interception, the situations of the interceptor and the missile are not symmetrical. "Doing that once and briefly" seems quite acceptable for the interceptor. The missile pretty much must regenerate kinetic energy, or its subsequent suboptimal flight regime might make it even more vulnerable to the second interceptor incoming, or the third one after that.

> The window for interception is pretty short.

With early detection (orbital, for example), the window seems to be as long as the range of the longest-range applicable interceptor missile.

> It would have to do evasive maneuvers at maybe 4G for maybe 30 seconds

That definitely seems to be a "too little, too late" kind of situation. Especially in a point defense scenario where maneuvering away from your line to target means not hitting the target in the first place (which is as good as a successful hit of the interceptor), and where being close to the target really favors the short-range defense systems.

> Remember that you have no way of estimating distance.

You may very well have that way in the end if SpaceX's/L3Harris's system gets implemented.
Rather I think separating out pros and cons between employees and employers makes little sense in most cases, including this one.

There are certainly both pros and cons of remote work, but the total cost/benefit will end up being a mutual one, in the same direction and of similar scale for both the employee and the employer.
Sibyl – Prediction Service at DoorDash
The idea that politics is a function of wealth, power, and marketing is cheap cynicism.

Also, the idea that being rich is bad pervades your post. I see this idea expressed more and more commonly. The truth is that, unlike you, the populace doesn't view politics as class warfare. Middle class American does not feel that only a middle class politician can represent them. As far as I'm concerned, this is a good thing.
This is a false equivalency that I see pop up pretty often. Like Use Types or Go Fast? Why are those the only options? Why does using types make you slower? If you're a slow typist then I suppose writing the types can take a little longer. Why is the comparison not Go Fast or Write Tests? A test suite with reasonable coverage is many times the amount of code that adding types takes.

Here's a great tool, https://quicktype.io/typescript . You can paste in JSON objects and it will spit out useful type definitions for your objects. The reality is that types exist in JavaScript and any other untyped language, they're just implicit. You have to read the code to know what they are. Then to help yourself or people who work with you, you will start writing examples either in the docs or in tests, and now you've informally specified your types. Or you don't do either then every time you or anyone else goes to edit a piece of code you have to read, understand, manually find all places you used that code and make sure you didn't break anything.

The purpose of a static type system is to find bugs, or issues with your code without even running it. The compiler will let you know if you make a change to the code which breaks the type you set. It can do a lot of the above mentioned work completely automatically.

You end up saving a lot of time not repeating work. One time working in python I had a problem that took me an hour to figure out. I had to look through a bunch of project code, then library code, and then I figured out that I just had put in the wrong shape of data. In a typed language it would have take me 30 seconds. The compiler would have complained and told me how I was wrong and then I would have fixed and moved on. At that moment I said "I'm getting too old for this shit", and then have never looked back from working with typed languages.

Secondly, TypeScript is not Java/C/C++. TypeScript has type inference and expressive type system. This means that you do not need to manually write the type for every single variable. Most you can omit because TypeScript is clever enough to figure it out.

Secondly, Structural typing is exactly how duck typing works in JavaScript and Python. Unlike those older languages you don't need to build huge class based hierarchies to make types that work in many situations. Define a minimal interface that you need for a function. Any object that has those properties will type check and work.

Check out Effective TypeScript, or Programming TypeScript. As a seasoned node developer I assure you that if you ever have teammates, types will help them contribute to a code base faster and with more confidence.
There’s nothing especially sane about combining and testing code for the first time ever from different maintainers who weren’t even talking to each other. I’m glad that we don’t have to hire anyone full-time to do that from scratch just for us.