skysight-inc/HackerNews huggingface dataset:
> They are moving towards quantum navigation (esp subs)

How does that help the merchant marine that is part of the logistical supply chain? Are container ships going to get this quantum nav boxes too? The US pays airlines a retainer to be a reserve fleet [1]: will they get these boxes as well in case of emergency?

What happens to all the civilian infrastructure that need navigation and timing signals?

Considering only the "military" ramifications of GNSS disruption is myopic.

[1] https://en.wikipedia.org/wiki/Civil_Reserve_Air_Fleet
I don't see any benefit in entertaining flat-Earthers in discussion.
> I leave You with a dilemma on how a Windows or macOS or Linux system running on the laptop/desktop behaves differently then FreeBSD here...

Not sure what the point is? Is it better, or is it as good as those other systems?
> Dark Forces apparently also used portals for culling, IIRC.

DF used BSP for culling. But, I made a mod level long ago playing with features and made a stairway in the middle of a room that you could only see from in front of it. It was some kind of free-standing portal with no surrounding support.

Fun fact: the creator of the DF engine told me he based it on a reverse engineering of a beta release of DOOM. Apparently, the final release of DOOM cut a lot of engine features to gain speed. But, DF shipped with them and maybe a few more.
No, because no ancient sources discuss anyone dying over irrational numbers. Did you read it? It’s not about whether it is hippasus. Sigh.
This is true, and unfortunately you can't say this to any colleagues at any of these companies without jeopardizing your future. Even still as the DEI programs are dying, the DEI social norms are still strong in most corporations
When I was unemployed in Boulder during the last recession, I wasn’t homeless but spent a lot of time in the library applying for jobs and browsing the internet around homeless people. I think volunteering helps people have a sense of community and keep sane during an isolating period.
Why is a drive for growth bad? Seems like the double-speak of saying growth is bad while happily profiting off of and simultaneously restricting it is whats bad.

Growing up in a prairie city I heard this sentiment from people who simply don't like other people constantly, and I'm like "When did you try growing, you stagnant deteriorated shithole!?", and sprawl doesn't count. They hate ambition, they hate people, they hate taxes, and have no interesting ideas. They hate traffic, but refuse to do anything but drive. Their healthcare system and infrastructure is failing, there is no new economic activity happening; get busy growing or get busy dying. It doesn't work though if you stop for 70 years and then try to catch up.
>People hate om commie blocks

people tend to hate on the decades old, usually cheap because under heavily financial constraints Eastern bloc version, but Finland relevant to the topic of the thread to this day is heavily inspired by that kind of architecture, and a lot of modern neighborhoods being built are basically the same thing... just nice and with a bit more cash on hand.[1]

It's an eminently sane way to house people, and I'm pretty certain a lot of people everywhere would take a nice, central apartment if they could actually see that it cuts their rent and energy bills in half. In places that are used to sprawl and high costs there's just too much inertia.

[1] https://cdn.thedesignstory.com/editor/editor-fflo-1645278651...
Packogame [0] makes a variety of games like that; I haven't played most of them but I can recommend Nut as well as Bus.

[0] https://Perplext.com
Calling gay people "mentally ill" is sane, but even implying that religious people are not all there being punishable is the "world becoming sane"?
Personal Finance made easy for teachers and students
Whats more surprising, imo, is that anyone is surprised by this.
Alternatively, 50% of that money that used to go into a local company is now going overseas to a foreigner. I guess it’s a matter of perspective, is it worth killing a particular local company or industry in order to get faster cheaper internet or better service in another industry?
I've always been able to merge pictures by focusing into the distance, and I thought that's how everyone did it. So I found confusing all the talk of crossing eyes. I tried your instructions and, within 30 seconds, was able to see the cat image by crossing my eyes.

The cross eyed method seems more amenable to different image sizes. With my regular method, I can't merge images if they're too large (unless I step back).
Add some trigonometry, and this superpower has historical military applications:

https://en.wikipedia.org/wiki/Stereoscopic_rangefinder
https://www.youtube.com/watch?v=cbXyAzGtIX8
Tempo is a traces server. Prometheus is a metrics server.

Grafana, the same company that develops and sells Tempo created a horizontally scalable version of Prometheus called Mimir.

OpenTelemetry is an ecosystem, not just 1 app. It’s protocols, libraries, specs, a Collector (which acts as a clearinghouse for metrics+traces+logs data). It’s bigger than just Tempo. The intention of Patel seems to be to decouple the protocol from the app by having adapters for all of the pieces.
Yep, this is exactly what came to mind with this "newly unlocked superpower".

I wonder if OP is aware they made a joke about the inability to use this superpower to identify a sailboat in a 90s indie movie.
But by their own admission, other than for two states they don’t uniquely count people, it’s counting admissions. That could skew the numbers meaningfully.
I have always disliked and told people I disliked land acknowledgements because they are designed to earn the social capital of giving the land back without ever having any intention of doing anything close to that.
The Insurance Crisis That Will Follow the California Fires
https://archive.ph/xOyhq
In 2003 I was first unknowingly introduced to Takeshi Kitano on MXC on Spike. That fall in a Japanese film class I saw him in Sonatine which remains one of my favorite movies. Then in the spring of 2004 Zatoichi was released and I saw it in theaters. I had a year in my life where Takeshi Kitano was *everywhere*.
That’s not necessarily true. In fact, by not having DEI programs, companies could, because of leaders’ own biases, reject better suppliers based on owners or employees being minorities.
Honey, you can't math.

That 2023 number is roughly a thousand larger than that 2019 number. The changes to all of the numbers you're quoting are in the noise as far as considering changes to the cost of housing.
> Semver should never be treated as anything more than some tired programmer's shrug and prayer that nobody else notices the breakages they didn't notice themselves.

That's precisely my point, but you said it better :).

I have had _mixed_ results getting auto instrumentation working reliably with packages that are - technically - supported.
Just Present the First Draft!
I'm sorry for sounding obtuse but why do you need a fridge when the outside temperature is already -20°F?
I suspect people are just upvoting Wine based on name recognition, and 10.0 seems like a big release. If you don’t see HN every day you might not realize how many OP is submitting.

In fact looking at submission history OP is submitting tons of open source software release announcements.
"You are whatever you pretend to be, so you had better like who you pretend to be." - paraphrased from Kurt Vonnegut.
>Reddit comments show our fixes make Phi-4 inference much better

I’d like to try ‘Reddit comments show my fixes make app better’ in my next review
> The radio spectrum is far more limited, so the more people use it, the slower it should get.

As radio hardware gets better able to distinguish frequencies, this won’t be an issue. There’s a lot of bandwidth out there once radios can tune into a band so narrow it needs several decimals to delineate.
The name is perfect, Data DOG.
Ok taking it back. Bosch already has built this as a visor. https://www.bosch-presse.de/pressportal/de/en/safe-eyes-save...
Entirely accurate, in ex-communist eastern europe some sort of math/engineering job was about the only way to live somewhat decent, so anyone remotely ambitious would go into that.
I might be misunderstanding what timewizard is saying, but it seem to me that they're saying "One doesn't need to lead a good, moral, and upstanding lifestyle to qualify for life, liberty, and the pursuit of happiness. That's just what you get for being alive.".
> that leads to a lot of resentment (both by the people directly affected and by other members of the same class that observe both the discrimination and the silencing).

Agreed. This is the fundamental flaw of a lot of social theories borne out of academia when they land in the real world. They thrive in an academic world where hierarchy is bought into by students eagerly and are transplanted into a world where people must accept hierarchy to survive.

> I'd say that resentment is justified

Resentment never makes anything better, no matter how justified. Unfortunately.
Definitely, I'm playing fast and loose with "lightweight formal method here", thanks for making it clear.

I was mentioning it in the same context as e.g. the Amazon paper on lightweight formal methods [0] where they use property-based testing to test that the implementation conforms to the model specification.

In a similar spirit, linearizability checkers like Porcupine [1] are a nice mix of formalism and usability.

I really like those because they are incredibly powerful, don't require a model and verify the actual implementation - obviously as you mention they are not exhaustive.

[0] https://assets.amazon.science/77/5e/4a7c238f4ce890efdc325df8...

[1] https://github.com/anishathalye/porcupine
I don't care whether who made the products I use is "diverse". I care about their quality, which has been sacrificed at the altar of DEI for far too long. Not surprising to see this happen once the population realised the truth. Finally a slow return to sanity.
Older injustice still has ramifications today.

Take redlining for instance. That happened a long time ago. Redlining systematically and intentionally deprived non-white families of home ownership, while helping white families to own homes. But wealth begets wealth, so owning a home lets someone borrow money against it to start a business. When these people die, their children will inherit their wealth. As a result, the (grand)children of a family are still denied opportunities that they would've gotten, if not for redlining.

The creator of VeggieTales has a great video on this! https://www.youtube.com/watch?v=AGUwcs9qJXY

P.S. Yes, a family who was able to get a home loan (redlining didn't affect them) might have squandered this wealth gambling, or maybe they didn't pass it onto their children, so some people unaffected by redlining may still end up in a similar place. Similarly, some families that were affected by redlining have still managed to accumulate wealth in spite of redlining. My claim is that the family that squandered their money still got the chance to squander was was given to them, and the injustice is that the redlined family was denied that opportunity.
do people really believe this claim up front?

providing active junkies:

1) completely free units to destroy
2) 24/7 emergency care teams
3) completely free healthcare and mental healthcare
4) no sobriety expectations of any sort
5) no possibility to be kicked out of the program for any reason

is going to be cheaper than putting them in jail or an institution? wow sounds almost too good to be true

it would be interesting (or funny) to get a summary on exactly how they are deriving the cost metric for this. i would just about guarantee they've taken creative liberties to make the numbers fit.

according to HUD[0] infestations, flooding, and fires are "typical behavior problems" in housing first programs. only in "extreme circumstances" does this warrant switching them to another unit. there is no way these are cheap damages to fix.

housing first programs are often mixed into ordinary developments too. i bet families living near or adjacent to these units really enjoy living next to completely unstable addicts. housing first programs explicitly prioritize the least stable, most mentally ill addicts too. but it's the humane thing to do at everyone else's expense.

a lot of cities in the US have a housing first program, among many other programs in a similar vein (ie safe injection sites). take san francisco for example. they spend billions of dollars every year on programs for the homeless. from what i hear the situation is still terrible. there are even businesses moving out of SF directly citing quality of life.

the cost of living in my city is so expensive that there are adults that work full time who have to have roommates to live at subsistence level. there are also housing first programs here that give junkies units for free to continue getting high in indefinitely. this is a ridiculous situation. either way i would rather it cost more to have people institutionalized or put in jail for breaking the law. this would also do good for actually having resources to help the ones who are actually down on their luck.

[0]https://www.huduser.gov/portal/publications/hsgfirst.pdf
They've been doing FIRIS flights over the fires under the call sign INTEL 24
> groceries and convenience stores and so on will naturally appear

I'm sorry, but that's not how that works. not if you really want it to happen. There's conversations between high level government officials and corporate execs to make things happen. negotiations are had, and contracts are signed. theres a city planning agency that has a CPC.

All of that is to say, there's entire industry just in the planning of cities. while we're building housing for the homeless, let's also engage them and build a viable town and start with that, and not just build the center square with hope and wishes. (Hope is not a strategy.)
Same here, i've always wondered what other people see. An optometrist once said that I see everything as if viewing a tv screen through my eyes, but having no point of reference it looks normal to me. I am pretty bad at parallel parking though, perhaps that's my lack of 'native' depth perception.
Some additional points of interest: Quake level designers could use "hint" brushes to help the BSP compiler determine where to create cells. Starting with Quake II, designers were able to place "area portals" which are portals programmers could toggle at runtime (think disabling a doorway portal when the door is closed).
Almost nothing from mainland Europe, Scandinavia, Japan and other places (often, even Canada!) is transplantable to the USA. Yet these articles keep cropping up.

> national strategy, driven by a “Housing First” approach, which provides people experiencing homelessness with immediate, independent, permanent housing, rather than temporary accommodation

Homeless --- pardon me, unhoused --- from America, would trash that shit faster than you can "vodka, tar and sauna".
Well, in the non-DEI world, we'll soon find out if the reason this happens was solely because of policies or if low educational attainment seeps into one's college, ones preparedness for a job, one's ability to get a job, etc.
Arrow Lake-U is an updated Meteor Lake on Intel 3.

"The Intel Core Ultra 200U series processors utilize the Redwood Cove (P-core) architecture, which originally debuted in Intel Core Ultra Series 1 processors and Crestmont (E-core) architecture that is found throughout the Intel Core Ultra Series 2 family of processors,” an Intel spokesman said in an email. “However, the Intel Core Ultra 200U series is built on the Intel 3 process node, rather than the Intel 4 process used for Intel Core Ultra Series 1 processors, which helps improve performance of the processor overall."[0]

[0] https://www.pcworld.com/article/2568168/intel-debuts-arrow-l...
It's just a solution to garbage distributed cloud service logs and devs that don't know how to log an application.
You do not understand the difference between inspiration and copyright infringement, do you? Inspiration is using an idea from another work to create something new by using your own skill, labor, judgment, and effort, while copyright infringement is copying a substantial part of someone else's work.
> I know others who lost an entire day staring at it wondering what's wrong with it. I saw it on X recently as "99% of C programmers will not be able to find the bug."

Both gcc and clang give a warning[1] for that code with just "-Wall", so I's hard to imagine it being a real problem these days.

[1] https://godbolt.org/z/vfPzhc596
Maybe you got better at your profession. Maybe they are discriminating non whites now. Or a position just opened that’s great for someone like you.
With formal verification, what you want is correct statement of invariants / things to prove. As long as these are understandable, the readibility of proof doesn't matter much - it's the program job to verify that the proof is correct.
...and $10,000 in incentives on a 2025 Kia EV6, which stack with the $7,500 federal tax rebate as well:

https://www.carsdirect.com/deals-articles/2024-kia-ev6-rebat...
I am so remarkably one-eye dominant (my left) that the first image just looks like the right cat to me about 98% of the time. Every once in a bit I'll see the flicker, but even then it's faint and hard to notice.
What I’m saying is either the value or the error can be discarded. If it was an error, the exception mechanism can be used since at that point you’re in the Python wrapper. It would probably be a little slower though, but Python is already slow. That way the error doesn’t need to be in the API at all.
I haven't heard that but in general tactics and threats could get your labelled terrorist? You may feel you have a just cause but it doesn't mean your goal justifies your actions.
I don't have to be invested in a cause to know that diversity in problem solving can be a key component to success hence global technology companies, or that promoting the ideas of equity and inclusion are things most humans can benefit from. DEI is not about change or solving a particular problem, it's about awareness of perspective and seeking to understand others.
Hee, hee. "Imperial Library of Trantor."
Half hour? Try a two day video on lesson.
I can do magic eyes, but this technique doesn't work for me. My left eye is dominant enough that the whole image just looks like what my left eye is seeing.
Yep. One might ask what happens if you don't have a functioning economy? Well, this kind of state. A massive failure for anyone but those who don't have theirs.
Those planes are simply amazing.

No comment on the drone.
Not only that, but more resources and more stability help foster successful relationships. If you want more two-parent households, make it a lot easier to have and care for a child.
Another part of it is the (somewhat justified) worry that "inconvenient" people will declared mentally incompetent and effectively imprisoned in mental hospitals (or -worse- mental hospitals that know they're being used to jail "inconvenient" people, so they don't really bother to provide actual treatment).

IMO, I'd rather have to mitigate that hazard if it meant we got actual, effective treatment for folks with super fucked-up brains than have what we have today in the US... but I'm in no position to change the country's policies.
>I rather have 1,000 million $ companies than a billion $ one

Except in the real world the bn $ company will dump and outright buy the puny million dollar companies. It will do everything in its power, which is a lot, legally and illegally, to destroy the competition. That's just the way capitalism works.
Select M.*, V.* from Measurement as M left outer join Value_table as V…

You end up with nulls again.
Those are kind of ugly, at least for MacBooks.

Rain Design's mStand is my favorite, blends in perfectly.
> In 2024, Google made over 100,000 commits to Chromium, accounting for ~94 percent of contributions.
Insofar as Europe has "forgotten" about the Nazis, you might want to check out how Israel legged into this in the early 60s, basically getting Germany to back any of their militaristic objectives in return for full diplomatic engagement with all the symbolic power that implied.

Every government wants to "forget". France maintained a viewpoint that Vichy was a "few bad apples" until the evidence of deporting Jews until their death was undeniable.
Yep very contextual as replies show!

Ex: I'd not expect a code commit to happen at a bank or most gov places, eg, you might be waiting for clearance for months to even see the real data!

There are many ways to set the tone, and code does speak. Great interns, senior engineers, PhDs, etc I have worked with have managed to get bits flowing the first day and week in great teams & companies environments I've worked with, and it's a pretty sure fire way to set the tone & build team trust. Multiple people often start at the same time, and everyone sees the difference. I've seen other folks do other things too, so it's not the only way. Whatever way, what you do, and not do, is a decision.

Other folks here are right to point out that not all Senior (Software) Engineers contribute code. Ex: The more senior you go, you get more differentiated titles than a generic senior eng, and part of that is splitting between management vs engineering. What an effective staff eng at Facebook vs Microsoft vs openai does on week 1 is an interesting question -- at an early stage startup, they would already be ramping up to deliver, so both the soft & hard side.
The DEI policies were effective, particularly the Diverse Slate Approach. But it's legally risky to continue with it under the current administration since it was a race and gender conscious policy. People can argue as to whether it was "discrimination" but it absolutely was conscious of candidate's protected class.
Dang, his kids are right behind him. Anyone of them could keel over tomorrow.
V&V doesn't really mean formal verification, unless you're doing some extremely cutting edge stuff. It's so much cheaper to do the basic boundary testing, fuzzing, unit & integration tests than to spend the time and find the talent who can not just formally specify but also code proofs of your requirements being met.

Formal verification is just not as common as you might think in these highly regulated industries; the expertise isn't as prevalent as your average HN reader would think.
I’ve been working with a large European company and it surprises me that they insist on using “master”. They even make other master named branches on the repos as well.
Cost of housing is influenced by much more than labor and raw material.
The big tech leaders easily have enough money to walk away but they choose not to
Is there something unreasonable or discriminatory in taking care of children and elderly in need? I'm not sure what I said that would lead you to this uncharitable conclusion. Of course I don't think they should "roam free," but that doesn't mean I think your comparison is fair. Are mentally ill people automatically feeble to the point of requiring full guardianship?

If you're not quite sure what I'm getting at then you should examine the practice of institutionalization that used to occur in the United States and all the many great reasons we have not continued with it. Or the many famous examples of writers attempting to become involuntarily committed so they can detail just how difficult it is to get out and prove to these often unaccountable organizations that you are not, in fact, "severely mentally ill."

I wonder about the jurisprudence of other nations that use these practices in ways which a US citizen might find decidedly uncomfortable, as was pointed out by the OP, particularly when it comes to the nature of involuntary patient /treatment/ and not just simple social separations for the good of the community.
Yes, absolutely. I would be shocked to learn of a jurisdiction in which that is not already the case that seems bizarre.
import os; while True: eval(input())