skysight-inc/HackerNews huggingface dataset:
Obviously the poster meant to write inference. Maybe autocorrect messed up the headline?

It wouldn't be the first time autocorrect has messed up a headline on HN.

EDIT: dang fixed the headline. Thanks dang!
Im not sure what the rules about uniforms are, and for the record, I dont think cops should wear uniforms when moonlighting either.

Military do retain many privileges in private roles.

For example, having a verified secret security clearance is often a big advantage in a second occupation in private industry.

With respect to police, I assume the "privilege" is being able to act as an off duty cop and make arrests. This is a ability the people have given cops because we want them to do it. It is a good thing if they arrest a dangerous person off duty.

This brings us back to the problem. We shouldn't have laws on the books requiring the employment of off duty cops. If a company really needs someone with police power, they should contract with the police department.

If they dont needed it, they should be free to contract with whom they choose.

A bouncer or traffic director does not need the ability to arrest people.
I credit a lot of that to not being part of the homeland security culture: they work for the post office, their job is keeping the idea that you do NOT mess with US mail. I think a lot of the problems with cop culture come back to the idea that they’re basically soldiers separate from the community and doing such an important job that some collateral abuse just has to be expected.
Pyre, written in OCaml, is the closest thing that's stable. It has been discussed on HN a couple of times. Here is the 2021 discussion: https://news.ycombinator.com/item?id=27107647.

Note that Pyre does not support Windows (https://github.com/facebook/pyre-check/issues/554) and only provides wheels for x86_64 Linux and macOS (https://pypi.org/project/pyre-check/0.9.18/#files). While I don't use Windows, it makes me reluctant to adopt it. First, I want Windows users to be able to contribute to my projects that work on Windows. Mypy and (predictably) Pyright won't create an obstacle for Windows users. Second, the limited number of platforms makes Pyre seem a little internal-toolish.

It may still be worth it. As of today, actually, one of my projects has a Pyre branch. I want to see what it is like developing with it.
Yeah that's it. Sorry for not linking it, I originally wrote that comment on mobile
Yes, they can. But it's not going to end well:

https://www.nu.nl/economie/6285728/drie-jaar-cel-geeist-tege...

The USA is at least as good at discovering these tricks as the Dutch are.
I want a VCS with better merge support over time.

We have frameworks and project generators that could be repos you fork. The main advantage being more help with upgrading to versions with breaking changes (generators are terrible at this, and I end up faking this myself to see the diffs).
Quite a bit more boring, but a co-worker once paid a contractor to install some blinds in his house, for a few thousand dollars. Dude took a down payment and then never delivered/installed the product, wouldn’t return their calls, etc.

My coworker went to the local police, who wouldn’t do anything, but then his lawyer advised him to go to the postal inspector (he had mailed the check to the contractor.)

The contractor ended up getting five years in federal prison for mail fraud.
Yet every year the US spends a trillion dollars on the military, which has killed half a million civilians since 9/11.

Meanwhile our nuclear energy and space programs are total jokes.
> Uncomputable functions exist because the halting problem exists.

Uncomputable functions exist because there are only countably many Turing machines. There are problems that stay uncomputable even if the halting problem were computable.
How to Sort Unicode Strings Alphabetically in Python – Real Python
Komfy: Stream your video content from your phone directly to your PC or Mac
Can you give some examples of what you consider legislating from the bench?
Because HN applies various adjustments to submitted post titles - without notifying the poster. A more honest approach would be to have a two-phase submission process, where the submittee is allowed to fix any mistakes made by the algo.
Save a wee bit of money and get the SetApp license. Most of the stuff there is of varying quality, but between cleanshotx, pathfinder, tableplus, dash, and bartender, it pays for itself
I doubt you’re to find good statistics on domestic abuse in the 1950s.
Yeah, the Nuclear reactors are atleast a decade away. Do they plan on continuing on fossil fuels until the reactors are online?
Huh. They’re sorted by rating. And like 7 of the top 10 Godot games are about cats.
And are a preliminary to war.
> That attitude has already fallen apart though.

Yes it has. I don't think any antitrust action could be "one and done" in a way that wouldn't allow future abuse of a monopoly position. "Ma Bell" was broken up, but its children have re-coalesed into monopoly-ish companies over time. That's why it's so annoying that US antitrust has been napping for the last 2 decades instead of continuing to monitor and ensure market fairness.
I was thinking that, get the in memory map.

For some reason I’d like to see this played in Quake, although there’s not much to it, but the first person perspective would be good.
> You are missing my point here.

Not at all! Talk about losing the trees for the forest... Even the blind guy knows, viscerally, that what he is hugging is not the "entire universe," or that stepping off a cliff would result in a dramatic experience; that a sighted person (and a philosopher) can see "a bigger picture" does not change the facts; indeed, a focus on "a bigger picture" can be deceiving (think of quantum vs. classical mechanics).

> my dog's name is not knowledge

We are going in circles. Mathematics is not just "names."

> the non-wobbly stool is not related to three

It is. You have a class of non-wobbly stools with a matching number of legs. You have a class of girls with a matching number of eyes that boys like more than others. Examples abound.

> how I would find the ordinals in nature

The early bird may get the worm, but it's the second mouse who gets the cheese.

See also https://byjus.com/maths/ordinal-numbers/
Yeah $25k a year for five years or more would be very hard to justify, that's leaving at least half a million dollars on the table in terms of lost earning potential.

I think I do have a unique perspective and a pretty respectable level of knowledge and ability for CS research, obviously I wouldn't know for sure until I tried to enter the field. For example I've written a typed UI system based on monadic coroutines, with typed embedding of invariants around focus behavior, scrolling, and responsive display ... I've seen papers and theses on typed UI programming in Haskell which seemed pretty similar in terms of scope and sophistication.

I was kind of hoping there would be more paths between industry and academia in CS, because the industry is so large compared with other research fields like math or physics.
Just as in tech we build things that will get refactored and thrown away, it should be expected certain private sector components might be eventually deprecated when government steps in to provide as a public good.
Basically everything is criminal in the eyes of the right prosecutor. Narrowly avoiding their gaze is about all you can do.
>I understand what the parent is saying.

Respectfully, I think you're still missing the point as demonstrated by your last sentence.

>You can't just think about how to weave a basket and be a good basket weaver. You have to actually weave baskets and practice.

... right. Which is why OP was saying that it's a mistake to look to a basket weaving executive for their opinions on Ukraine vs Russia. Having skills necessary to succeed in your field of work, or your hobby, doesn't mean that you're smart in every other area. Yes, you are intelligent at a generally high level, but OP was referring to how successful execs are put on pedestals and whose opinions on all kinds of subjects well outside of their wheelhouse are often sought after.
> Tell that to the current tech layoffs - while there's some middle management heads rolling there's very little "top level" layoffs.

From an organizational efficiency standpoint: If a large company lays off 15% of its work force, it'll still need its top level people. It hasn't suddenly removed the need for a COO, etc. So what you're proposing doesn't really make sense.
Laborers need and want protection and laws too. The vast majority of what police actually do is serving labor.
> I will say this plainly: Freedom for Hong Kong. Freedom for Taiwan.

Freedom for China would be nice too.
We've changed the title now to use language from the article itself.

(submitted title was "ExecuTorch: Enabling On-Device interference for embedded devices")

Edit: I switched "anywhere" to "mobile and edge devices" per https://pytorch.org/blog/pytorch-edge/. One does not get away with saying things like "anywhere" in HN titles...
Cool Things You Can Do with the Functools Module
Demographically I'm not sure China will be in a position to fight a war with the US in 30 years?
I think I have something to offer you: Tomatoes are a sign of a court-boullion, or a 'couvillion'. https://www.deepsouthdish.com/2010/03/cajun-courtbouillon.ht...

Gumbo - as I was raised - doesn't include seafood. It's chicken and sausage. I do acknowledge 'seafood gumbo', and enjoy it heartily but when we teach it we teach the non-seafood gumbo first. I was told seafood in gumbo was a Northern influence, because we have other dishes like shrimp etoufee and jambalaya where seafood is well represented. I would say gumbo made with a roux is most common nowadays. I didn't know the file-based gumbo was probably how it originated based on seasonal availability. Sassafras grass, wow. :) I didn't know.
soothe from Old English soðian ... from soð "true" (see sooth).

The sense of "quiet, comfort, restore to tranquility," in reference to a person or
animal, is by 1690s, via the notion of "to assuage one by asserting that what
he says is true,"

https://www.etymonline.com/word/soothe
Yes. Did you happen to work with the AllAdvantage anti-fraud team, or know someone in Course 2 at MIT who dropped out of school writing poker bots and AllAdvantage bots?
I tried this a few times as a little kid to see if it would work. If I sent it from my home, it didn't work and I got it returned with red pen notes on it explaining how to send it properly. I am sure it looked like a little kids writing, so they gave me the benefit of the doubt. Next I mailed it from the post office and that actually worked, as long as it was being sent locally.
You just painted 1B+ people with the same broad brush, on account of something that they likely had very little choice in. Unacceptable, really.
Test if system is VAX?
I guess I will find out, blocking TicTok seems pretty straight forward until highschool
It's pretty eye opening to watch every bill pushed through in the name of firearm safety turning out to have massive exemptions for off duty and retired cops. They're such a powerful political force that it's outright expected they should have a disproportionate ability to deliver force even after they're retired.
No half time is stuff like this but its probably better to call it all drum and bass: https://soundcloud.com/noise-london/pessimist-livenoise-test...
will it have embedded links to google.com like https://dmv.ca.gov ?

(for example, this irs page links to googletagmanager)
Albert Einstein being a perfect example.
The SF Police Department bombed the mayor's house in 1975:

"In early August 1975, the SFPD went on strike over a pay dispute, violating a California law prohibiting police from striking. The city quickly obtained a court order declaring the strike illegal and enjoining the SFPD back to work. The court messenger delivering the order was met with violence and the SFPD continued to strike...

The ACLU obtained a court order prohibiting strikers from carrying their service revolvers. Again, the SFPD ignored the court order. On August 20, a bomb detonated at the Mayor's home with a sign reading "Don't Threaten Us" left on his lawn. On August 21, Mayor Alioto advised the San Francisco Board of Supervisors that they should concede to the strikers' demands."

https://en.wikipedia.org/wiki/History_of_the_San_Francisco_P...
3 days a week in office starting next summer for most Roblox employees.

Sounds like severance will be decent for people who choose not to go though.
>The all search now returns nothing.

There is a workaround for that:

https://news.ycombinator.com/item?id=37883876
DALL-E 3 Can Correct Text in Images When Prompted
Have used for a similar purpose as well (make sure a code path breaks).
My basic security measures for a simple wordpress site is to rename wp-admin to something else, rename the admin account to something else, and change the ssh port to something else. That already confuses 99% of login attempts / lazy bots.
I think it's more like 60% with a stated preference for single family home over a walkability to amenities.

But this is stated preference, not the true preference as revealed by having to put money on the line. And markets prove time and time again that opinion polls do not match up with actual behavior. IMHO, I would suspect more people would choose walkability over SFH than the polls suggest, but I could also be wrong and maybe it would swing the other way.

In any case, the market is not allowed to meet consumer demand because of the ubiquity of apartment bans in cities.

I have a feeling that if we did more voting rather than backroom deals with a veneer of "public input" where the only people who provide input are busybodies, then we would not have apartment bans at 90% of land area in most cities. (I say "busybody" as a busybody myself, I had to start being one to push back against the housing policy that was causing so many of my friends to move away!)
Yup, starting with earnings/revenue as a person or saas and ultimately what you keep/save
My IQ is 125 and I feel the same......I love solving problems but only if I feel like they are real world problems.

I did extremely well in algo classes in school.....but since then I have built actual applications that run businesses and haven't used algorithms at all.

Grinding leetcode feels like running on a hamster wheel for me.
So someone who plays the game and who doesn't know it's embedded in an iframe and the site is actually stealing the game is shown a shock image?

In my opinion that's wrong.
Half of the net CO2 added to the atmosphere since the start of the Industrial Revolution has been in the past thirty years. I'm not saying we need more domestic manufacturing, I'm saying we need less petroleum production, worldwide. That will mean less manufacturing in general, all over the world. Perpetual economic growth is a physical and logical impossibility, and pursuing it is a danger to the individual livelihood of every human being on Earth.
> Find me one contemporary example (ANSI C) with a disassembled screenshot.

Here in godbolt, clang compiling C simply deletes the code in the function past and including the null pointer dereference.

https://godbolt.org/z/9aqWPazsP

> This is writing sizeof(char) (== 1 almost everywhere)

1 everywhere. sizeof's unit is "how many chars". For instance there was a cray machine that could only access 64bit words. sizeof(char) is still 1, with 64bit chars.

> zero to address zero. It is not using a NULL macro or other predefined symbol.

NULL is defined as literal 0.
Big difference between "can do this" and "will do this." More than 99% of people are consumers, not creators. And the field only narrows the farther you go in a specialty.

I do agree that the comment you're replying to is asking for too much -- "verify" and "geometric" are very strong words. But I also agree with the implication that LLMs are making it a lot easier for a person with grit to get farther, which might cross that person's personal threshold (using "threshold" as used in TFA).
The ability to restrict results to stories has been there all along.
> if we use it for banking (which is much more critical than voting), why is it a problem if we use electronic technology for voting?

If a bank makes a significant mistake, the average person WILL notice and the bank can resolve it through extensive audit logs and other records. This isn't the case with voting where any audit logs are purposefully anonymized.

The average person can't identify electronic voting fraud or even honest mistakes/bugs while anyone can be present during ballot counts, re-counts and add up the numbers as long as they have a calculator. A process as fundamental as voting should be completely transparent, simple to understand for the average person and shouldn't require blind trust in "experts" and institutions.
Siddha Yoga (Tax Exempt) owns 30 properties in North Oakland. Half are vacant
Reading through the web page actually got me more interested than I thought I'd be but at the end of the day my browser reigns supreme. I can modify web pages with extensions, I can put my tabs anywhere, and I have access to everything in one big "pile" which I see as an advantage. I'd drive myself crazy trying to remember which app the tab I'm thinking of is open in (Did I open that from slack or from my email?). I also think this takes a level of buy-in that I'm just not willing to do.

If I wasn't programming then I might be more interested in this but I need the full browser for my work and looking up docs or help on an error I'm getting doesn't seem like it'd play well with this. I do like the integrations with you calendar/agenda but it's just not for me.
But the slanted history point of view is that he started fires, so he can buy the distressed property. hospitals don't have an incentive to give you a heart attack.
I hope this is good! I've been happily using FreeTaxUSA for the last several years, which has a small price for state tax submissions and no gotchas after H&R block jumped me with over a hundred dollars in fees at the end.
Not really. It's not that a whole lot of people are needed to sack someone. While a couple of people might be involved the ultimate decision will most often be made by a single person - and that is true regardless where you are in the hierarchy.
Before everyone gets too excited: This will probably only apply to simple tax situations: If you have more than these, you might not be able use it:

#Income reporting

W-2 wage income

Social Security and railroad retirement income

Unemployment compensation

Interest of $1,500 or less

#Credits

Earned Income Tax Credit

Child Tax Credit

Credit for Other Dependents

#Deductions

Standard deduction

Student loan interest

Educator expenses
That seems like an overly broad statement. If the companies producing tax filing software were solving a problem for their users then why shouldn't they exist. Even with this new option being offered by the IRS there is still likely room for private companies to solve the same problem (tax filing) in a way which is perceived as better by some users and so still justify their existence.
Omg! One random comment that did not only made my day, but my WEEK :-P
"A layoff by any other name...
Downvotes are welcome but lots of research out there.

Financial literacy opens up more than one way for something to be true.
I'm not necessarily complaining about the decisionmaking of being practical. It strikes a balance.

I was riding my bicycle four days ago, and while turning on a street, ran over some loose gravel from road construction. The bike went out from under me, and I slammed my face into the concrete. Concussion, possible sinus fracture, and sore teeth/nerves. I'm seeing some specialists this week.

Shit happens. Would I mandate full-face helmets for weekend bike rides? No. Would I sue the city for not properly sweeping a road after they patch a part of it? No. Shit happens.

That said, I hope my brain doesn't deteriorate too much more - this is head injury #4 that I'm aware of.
Can someone explain to me why this super complicated method was needed?

They must limit IP address purchased on a per org / person basis?
Ren'Py is also extremely popular, if not for the short of thing you did not mean :) It's the most popular OSS engine according to SteamDB.

https://steamdb.info/tech/Engine/RenPy/
Yup, copyright law is a civil matter (you as copyright holder have to pursue it), obscenity / pornography is something else (the government will go after you).
The tragedy and irony is that even if every "reasonable person" wants the right things, with some combination of socio-technical inertia, incentive misalignment, power maximization, and ignorance, sprinkled with unreasonableness or malice or plain bad luck or what have you, we can still hit the rocks anyway.

This is Moloch, or a wicked multi-polar trap, or the metacrisis, call it whatever you like. For a species in the thrall of an energy windfall of massive proportions, concurrent with an intelligence (if perhaps less a wisdom) explosion, it's the problem.
I've been using FreeTaxUSA for a while now to do my taxes, and I like it very much. (If you use TurboTax or H&R Block or something, I strongly recommend giving FreeTaxUSA a look). I was sort of wondering if the IRS would just buy them wholesale and use that as the free file software, since it's already "finished" and making another one would be duplicated effort. But is there precedent for that, the government just buying a private company for its IP?
Softbank is a curious company for sure!
I recommend having a separate account where important data is stored (Gmail, photos) and another for everything else (search, youtube, hangouts, etc.). I also still keep personal backups of all import data (see takeout.google.com).
> Shipping architecture-optimized shader replacements is basically required nowadays.

That's strange to me. Why care at all about what individual games do? A GPU driver includes a shader compiler anyway, why can't it do a good enough job at optimizing the shader for the particular GPU architecture? It's kinda the same reason almost no one writes assembly any more, because modern compilers are so good at generating optimized machine code.
I remember doing that in octal for the PDP-11 - and it was really pretty wonderful. Everything was laid out so cleanly.
It'll only apply to simple tax situations for this initial pilot launch.
Or you could just, y'know, NOT make the world a worse place for no reason.

Be aware that beyond being spammy garbage behavior, this kind of thing is also literally illegal in some regions since paid advertising needs to be disclosed.
To support the debt service they have now, the numbers need to go up not down or sideways.
I am a licensed locksmith and consult on auto theft. If you have dealt with a dealership that provided unlock codes without proper paperwork feel free to shoot me an email (in my profile) and I will get it escalated up to the manufacturer.
Would also be interesting to run-length-decode the final file and compress that, to see how much (or how little) the RLE help.

Though I don’t think it’s super useful over the wire, LZ4 could also be an interesting thing to look at.
Maybe. Or maybe a lot of people will leave refunds on the table because the software will be bad at helping people identify their deductions.

Also, my wife paid a joint filing online under my SSN, and the system couldn't figure that out and claimed we were in arrears. I'm not hopeful.
>If the companies producing tax filing software were solving a problem for their users then why shouldn't they exist

Because the "problem" they're solving has been solved in other countries without a profitable middleman. Intuit's continued existence in this space is dependent on their lobbying team.