skysight-inc/HackerNews huggingface dataset:
> an extreme proponent is Arthur Whitney (inventor of the K language) who writes very terse (almost incomprehensible to others) code

But k has a small set of built-in commands and a built-in database; it was made for fast analysis of stock information, so with that you have everything you need and you use the same semantics. The only thing you need to know is the data structure and you can build whatever you need.

So in this way, it's very likely that, given two tables A + B and 'bunch of operations' X on A and 'bunch of operations Y' on B where Y depends on the result of X, and given the tasks to;

- create X' = X

- create XY' = X + Y

to implement XY without knowing X already exists rather than figure out X exists and reuse it.

The problem with not k (or programs written in similar style; it doesn't really matter what the programming language is), that we have learned to use the second style from the article, and, more extreme, to separate everything out in layers. You cannot even reach the data model without going through a layer (or more) of abstractions which makes it necessary not only to know the datamodel in detail but also find the matching findXinAandApplyWithYToB(). Where X & Y & A & B are often some kind of ambiguous and badly named entities. And then there is of course badly designed databases which is also quite the norm as far as we see, so there is a much lower data integrity which means that if you create something without checking all the code that touches it, that you might change something and the data becomes inconsistent.

I notice the same when working on systems built with stored procedures on MSSQL/Postgres; it is far quicker to oversee and (at least basically) understand the datamodel (even with 1000+ tables, which is rather normal for systems we work with) than it is to understand even a fraction of a, let's say Go, codebase. So when asked to do do a task XY', you are usually just not searching for X'; you are simply reading the data used in X & Y and whop up a procedure/query/whatever yourself. It's simply much faster as you have a restricted work surface; the model and sql (I know, you can use almost any language in postgres, but let's not here) and you can reason about them and the tasks at hand when you shut off internet and just use your sql workbench.
This reminds me of what I call the "TF1 effect". TF1 is the biggest TV channel in France and, IIRC, in Europe. It's (now) a private channel, operated with ads. I use it as an example, but the point stands for all similar TV channels.

It doesn't need to satisfy its viewers a lot. It just needs to satisfy N users enough that they don't switch to another channel, and use their "brain availability time" (to use the words of TF1's former CEO) with them instead. This creates zero incentive to produce good content; only addictive, low cost, shitty content that many people will choose.
As a radiologist who looks at thoracoabdominal anatomy for a living I completely agree. That was also my initial reaction, I don't think I've ever read "caval hiatus" used in clinical text other than maybe during medical school.

It's not even correct, anatomically it's most correctly described as the caval foramen. Hiatus refers to a slit/gap, foramen refers to a circumscribed orifice. Caval hiatus is either misremembering or an archaic text. Clinically people use aperture, foramen or opening.

Other problems with this post:

I assume the incredibly poor way of prompting is attempting to simulate a user using a chat interface? If so, are they even using the right LLaMA model (at the very least chat fine-tuned, ideally also on the open medical conversation dataset)? What GPT model are we comparing with?

Is there system context provided for the prompt? If you were deploying this you wouldn't only pass the inputed user text in the prompt. ChatGPT's interface adds this so if you're going to make a fair comparison you should be doing the same.

It's still going to favor OpenAI for this specific use case (vague and poorly phrased short prompts of esoteric trivia) as they've had much more training in this domain.
> OKCupid, like the other acquisitions of Match.com, is now just another Tinder clone - see face, swipe left, see face, swipe right. A digital nightclub. And I just don’t expect to meet my wife in a nightclub.

I've never used any dating app or Web site... but plenty of people appear to have done just that.
>How is it that even his dying, it is somehow still about her, and not about him, his wishes, creativity, wants, needs, desires, in his last days? Somehow, this is getting overlooked.

I went and read the two parts and you're absolutely right. They speak of Jake as if he is an appliance, and his cancer as an incovenience to him being a personal proofchecker. Total lack of empathy.

And the writing, even at a time like this in their life, is totally vacuous collection of petty concerns (technically it's also repeative and lifeless, but that's the least of its problems given the lack of any substance and emotional core for what is not a technical post). If that's representative, maybe don't write at all. If you can't be moved by a parter dying, or can't express it while still writing about it and complaining about them not being able to do their usual support role, maybe writing shouldn't be the focus, becoming a better person should be a more urgent task (and by that I mean not self-work, but focusing on the other who runs on borrowed time).
Strange, the background image of the site's header shows a very nice cockpit font indeed, but the actual B612 font is quite different - for instance zeros have no line through them. Though the oxygen indicator seems to use this font.
>that I bet even the most seemingly iron-clad definition of religion will still have lots of weird and unexpected edge cases.

I'm sure there are plenty of edge cases, but this looks like a red herring to me. The OP in question doesn't actually believe people worship wokeism, view it as god, ultimate reality, divinity, or whatever. Their use was purely pejorative and dismissive in nature.
I appreciate it, sir! If you have any questions or feedback, please let us know.

The challenge of being a data provider is that you can use our data in a million ways, and we don't have coverage of all. So, when you come up with questions or ideas, we can help you better.

As you mentioned, audit logs. I highly recommend you look into the ASN field.

The ASN identifies an organization that owns a block of IP addresses. In my experience, I have found that the combination of ASN+Country is the most valuable information you can use in spam and fraud detection. You can fake the IP geolocation information with a VPN. However, it is not as easy to fake the ASN information of the IP address. So, when you use a combination of country + ASN, you can have a robust cybersecurity system.
Isn't that a public company / crown corporation?

(Not to be confused with a publicly-traded company)
It was a great OS experience for its time (mid-1990's).

Sometimes I think if it would make sense to have a remake of Project Oberon or Inferno, with Go instead of Oberon/Limbo (given its influences), but then I realize Go is quite bad at dynamic loading (heavily used on both platforms), and even if it was good at it, those OSes lack many features that we expect on modern times.
The author of the article that you're discussing in this thread is a counterexample to the only people you've encountered who think secularists were religious (as am I). The man is one of the top 3 candidates for the quintessential secularist.

Toyota Tacoma lovers aren't a religion, we agree on that. What about believing that you must kill a sizeable portion of the human population to save the mother earth? Could that be characterized as a religious view? Why or why not? What about the idea that a man can be a woman if he wills it so, and that those who don't agree are ~~blasphemers~~ bigots? Could that be characterized as a religious view? Why or why not?

In addition, what do these two statements have to do with secularism?

100%, in good faith I'm asking you these questions and hoping for a clear and honest answer. You have a genuine opportunity to change my mind on this topic.
Out of curiosity what stage are you in your medical training? You will never hear "caval hiatus" after pre-clerkship.
I doubt that it's a honeypot , they have been slowly banning private plex4shares for a while now this isn't new , they are all moving to other server/clients now
The seller that would be necessary is a legal non-profit foundation in the Netherlands, and currently for at least some important assets like the Godot trademark in the US, also a long-standing US 501(c)(3) public charity focused broadly on free software which is not controlled by the Godot team. These non-profits would usually not be legally allowed to subvert the purpose of the organization / the project in this way, based on their approved non-profit mission, and the relevant non-profit regulators could slap them down in court if they do.

Additionally the copyright isn’t even owned by those organizations but rather retained in full by all of the many individual contributors to Godot, without a Contributor License Agreement.

So any for-profit corporate acquirer would not be able to get the Godot name, and if they didn’t want to have to comply with the Godot copyright license, they’d have to get the agreement of every individual contributor whose work they don’t want to rewrite.

In short, they are safe from acquisition in the same way that Debian is, unlike most corporate-sponsored or small-team personally-owned “open source” projects that we see here on Hacker News.
Fixing memory management errors fixes some memory safety issues, I agree with that, I only disagreed with your quantitative claim that you can fix all memory safety issues this way.
Have you heard of long running holdbacks? Even if not, rest assured that for major features, they are very commonly run.
> Perhaps they didn't want to present blueprint-style raster diagrams in a future where humanity has galactic reach, space-folding tech and have invested all their resources and research capabilities on creating all the things we need for the year 2330. Just no binoculars, rovers, Google Maps and interplanetary video conferencing and email.

Nothing but landline phones and voice recorders. The landline phones are huge panel things that look like something from the 1970s (and/or Star Wars).

I think the lack of maps is heavily dependent on that weird tech baseline they were trying to hit. They seemed to have wanted "60s/70s tech plus FTL" and the Constellation 70s ideal of a smart watch (a space "diver's watch") to be nearly as "diegetic" for game UI as the Fallout "pipboy" as the grand central UI for everything. But then they waffled and included a ton of menus and couldn't decide how much to outright own that they seemed to have wanted a retro-future vision rather than true futurism. (But also possibly disagreed on that internally and never quite decided what they were trying to do with the tech level. It feels inconsistent from outside.)

It's very hard for me not to compare here to Outer Worlds with a similar team making similar technology decisions but actually owning them and following them to more absurd lengths. I feel like Outer Worlds had a lot more fun with its technology decisions because it knew it wanted to truly own "Fallout but Space Travel". Starfield has so many moments where it acts like it wants to be "Fallout but Space Travel" but then pulls some punches and just absolutely waffles. Maybe some of it is because they also wanted to add Cyberpunk elements from a decade or three later (the Ryujin storyline, for instance) and sticking to just one retro-future alone wasn't interesting enough for (some of) the team.

Had Starfield truly owned 60s/70s retro future maybe there would have been Alien/Aliens-style maps with all those cool, swooping simple green vectors (more Tron-like perhaps than the "pipboy" 40s/50s CRT maps). There's a lot to mine in real world NASA moon maps from the 60s, but those were all paper and many hand-drawn elements. (Relatedly, Outer Worlds gave us fun "paper" tourist maps as a part of their retro playfulness.) I think in waffling about whether or not Starfield was retro-future they couldn't figure out how maps would even look, because they couldn't decide on (or perhaps agree on?) the appropriate tech level in the first place, and gave up for "story reasons" that they couldn't fit in maps.
One of the ideas behind Pijul is that implicit vs explicit diffs does make an important difference sometimes: https://pijul.org/manual/why_pijul.html
Inertia is a helluva drug.
> people will return to apps they felt they had success with

So then the trick is to provide the illusion of successful relationships (but of course not ones that actually pan out in the long term).
I agree, sad state of affairs.
I think the fundamental problem is that, despite our wishes, there are programs which are inherently complex, and cannot be refactored into a simple, by-pieces testable, form. And if we try to do that anyway, all we end up with is just more fluff (mocking, I am mocking you) that hides the complexity.

The internal complexity doesn't necessarily come from complex abstractions. Take for example some implementation of a tax code, i.e. code calculating taxes. There is probably gonna be a lot of interdependencies, dealing with special cases. That's your typical "business logic". This code is not inherently complex because the primitives are complex, but because there is a lot of dependencies in the calculation. That fact in itself makes it difficult to unit test.

On the other end of the spectrum, we have something like a library of functions, for example, mathematical functions. The inner workings of how to calculate, say, a gamma function, can be very complex to understand, but the surface (API) of each of the function is very small, and that makes the library itself simple and easy to unit test.

We can make an analogy with books instead of programs. On one end, you have a novel, which despite being written in a plain language, has many interdependencies of the characters interacting. You cannot "unit test" a novel by reading a single chapter, you have to read it all. You can have a summary of the novel (like the top function in exhibit B in the OP's example), but the summary of the novel is not exactly the novel, you're not really testing the novel if you read just the summary.

On the other end, there are reference works like dictionary or encyclopedia. We can unit test these easily, since each entry should stand on its own (if you want to evaluate quality of a reference work, you can pick a few entries and test that, and it's gonna be pretty representative). They are not emergently complex like a novel is, despite the fact that entries might use specialized jargon and be harder to read.
Yes. I was, however, not arguing that every student of the field would have to understand the scientific method well. It's enough that there is a critical mass of leaders having such understanding, to ensure that students (including PhD students) work in ways that supports it.

What I was arguing was that there are almost nobody with this understanding in many fields outside stem.

As for your case, I don't know exactly what "probability theory" meant at your college. But in principle, but if it's teaching about probability density functions and how to do integration on them to calculate various probabilities, you're a long way towards a basic understanding of stats surpassing many "stats" courses taught to social science students.

I myself only took a single "stats" course before graduating, which was mostly calculus applied to probability theory, without applications such as hypothesis testing baked in. Then I went on to do a lot of physics that was essentially applied probability theory (statistical mechanics and quantum mechanics).

Around that time, my GF (who was a bit older than me) was teaching a course in scientific methodology to a class of MD students who wanted to become "real" doctors (PhD programme for Medical Doctors), and the math and logic part was kind of hard for her (physicians may not learn a lot of stats until this level, but most of the MD PhD students are quite smart). Anyway, with a proper STEM background, picking up these applications was really easy.

Since then, I've had many encounters with people from various backgrounds that try to grapple with stats or adjacant spaces (data mining, machine learning, etc), and it seems that those who do not have a Math or Physics background, or at least a quite theoretical/mathematical Computer Science or Economics background, struggle quite hard.

Especially if they have to deal with a problem that is not covered by the set of conjurations they've been taught in their basic stats classes, since they only learned to "how" but not the "why".
I effin love their IDEs too.

But I abhor YouTrack.

Id rather go with linear.app myself.
Seeing the paragraph below I almost thought the author would move on to discuss the particular engineering horror that is logarithms of non-dimensionless values, but it is probably all for the best that this practice remains hidden.

"A related limitation, which is not always made explicit in physics texts, is that transcendental mathematical functions such as {\sin} or {\exp} should only be applied to arguments that are dimensionless"
Everything you need to know about UAW’s targeted strike plans
Exactly. And bundlers are quite big monsters. Vite, for example is 32MB on disk.
And being the best game engine with C# as the main language.
Trustfall and cargo-semver-checks with Predrag Gruevski [audio]
I think it's better to just not allow custom text for links. It's the behavior people are accustomed to from years of using various social media platforms.
He’s expanding on how rates grow in proportion.

It can hardly be controversial to call this math.

But ok, it’s not “the mathematical reason” but rather “a mathematical explanation” - the math is a property of his explanation, and the reason is growth, churn and employee psychology; while well-explained mathematically, they aren’t math.

Somehow this seems to be besides the point, being: here is a common reason for plateau’ing.
I daresay Cornell West is more extreme left than a broader “extreme left” that simply feels that the Constitution is a deeply, perhaps irredeemably flawed document. Moreover, the Obama reelection was over a decade ago, and with the events of this last decade and changing American demographics, the Democrat youth vote at this moment is probably even more cynical about the American national mythology. A mainstream Democrat certainly wouldn’t outright disparage the Constitution, but praising the Constitution as a sacred and well-designed document, as used to be done by both parties and perpetuated in American civics classes, could only turn those voters off.
Useless, maybe. Bullshit, likely. There's definitely worse things, but that's not a sound argument.
It would be nice if the solution wasn't "restructure society" because if that's true what will really happen is nothing changes.
To your first question, this is addressed in the interview.

To your second question, yes. To address your statement after that, peer pressure is hell on a little kid.
Of course, there is a long tail of things that can't/won't migrate. I still see Python2.7 production code on a semi-regular basis (not network exposed, but very much at the core of critical business processes of major enterprises).

And I'm sure we'll have X11 desktops around for various purposes ten years from now.
Interestingly no distinction made in this article between socialising with coworkers because you want to, and Mandatory Cuddles, i.e. some unlikable dickbag organises a mandatory social team outing outside of 9-5. The moment it becomes an obligation, you've lost me. You already get 50% of my daily waking hours, and once a commute and chores are factored in, my daily leisure hours are even fewer. You want some of those too? Get lost.
9 out of 10 You'd spot Hannibal Lecter in seconds at a hack day. Your liver's safe
Fantastic work. I am looking forward to something like this being adopted in games.

Things are moving at a dizzying pace. I've been in tech for over 10 years, and went through many fads and trends, and had no problem keeping up.

LLM is challenging my comfort zone in an exciting way and I can't wait for the future.
The image shows a 0 without a line as well. Maybe the other one is a Ø? Or maybe there are conventions to use slashed zeroes in some places an non-slashed in other places?
Oh dear.

If there were no humans that reviewed this article and it was generated and published automatically and unattended, then it shows that not only AI systems can't be trusted, you still need at least 1 journalist to supervise and review the AI generated page before it gets published.

This is why fully replacing all humans with AI in lets say journalism won't happen anytime soon with rubbish like this although for sure there will be less human journalists needed.

But even worse if a human reviewed it and published this anyway. But again we don't know for sure.
It didn't load weights for me, So I tried umx.cpp but it failed to compile on mac.

I would recommend to polish umx.cpp and put converted weights on huggingface, make it as effortless to use as whisper.cpp etc.
>Even what to call the entities in these devices is fraught, says Chloe Romanis, a biolawyer at Durham Law School, UK. They’re not fetuses in the conventional sense because they are no longer in the womb, she says.

Is this an attempt to nullify all existing laws that use the word "fetus"?
Ohh wow, that's pretty damning then.
Thanks for the technical explanation. For a regulatory system however I would assume it’s important that a third-party that follows a standardized procedure can reproduce low emissions, otherwise who could verify that numbers were not forged?

If I bring my car to the testing to the accredited testing company in Germany, they test the exhaust fume profile and give me a certificate if it’s within range. I cannot just run my own testing regime and self-issue that.
I think the goal of the designers wasn't to recreate the font in the plane, but to create their own inspired high legibility font.
We have lovely page where you can see them

https://www.ikea.com/gb/en/p/frakta-carrier-bag-large-blue-1...
It does include the slashed zero, just not at the zero glyph place.
Is this just a final battle for the remaining scraps of money in a dying industry? Or is this a real, substantive negotiation that will push the industry to a better place?
Generative Image Dynamics
Entreprise is minimum 12k/yr but it's typically more than that. It absolutely should entitle you to no-bs customer support.

Big tech lowered the bar so much that y'all just have Stockholm syndrome...