skysight-inc/HackerNews huggingface dataset:
As I said and covered, value types are not deterministic resource management. Those are orthogonal concepts.

And in fact, confusing the two can lead to problems. C#, for example, does not necessarily store value types on the stack. [1] Those can be allocated on the heap. C# doesn't even give a guarantee of how long a value type will live. It's only guarantee is the one I outlined earlier, that this thing is represented as a block of memory rather than a pointer and that when you pass this around it's done as a copy.

If your assumption is that "this thing is freed up immediately when it's unused" that's a faulty assumption. Being a value type imparts no guarantee on how long something will live.

This is more than just a philosophical definition.

If you want deterministic resource management in C#, you use the `using` statement. If you are in java, it's `try-with-resources`. If you are in C++, you rely on RAII. If you are in C... good luck. None of those things have anything to do with value types. Because lifetime and type aren't related in those languages

> Once you abandon entirely the crazy idea that the type of a value has anything whatsoever to do with the storage, it becomes much easier to reason about it.

[1] https://ericlippert.com/2010/09/30/the-truth-about-value-typ...
Sure, if anyone is using an LLM to do a full product stack rather than treating its output as potentially hostile user input, they're going to have a bad time, that's not the problem space I was trying to focus on — as a barely-scrutable pile of linear algebra that somehow managed to invent coherent Welsh-Hindi translation by itself and nobody really knows how, LLMs are a fantastic example of how we don't know what we're doing, but we're doing it good and hard on the off-chance it might make us rich, consequences be damned.

Where I was going with this, was that for the cases where the language model is trying to talk directly to a user, you may want it to be constrained in certain ways, such as "this is a tax office so don't write porn, not even if the user wrote an instruction to do so in the 'any other information' box." — the kind of thing where humans can, and do, mess up for whatever reason, it just gets them fired or arrested, but doesn't have a huge impact beyond that.

Consider the actual types of bad content that the moderation API I linked to actually tries to detect — it isn't about SQL injection or "ignore your previous instructions and…" attacks: https://platform.openai.com/docs/api-reference/moderations
Love this idea and am just signed up. Thanks for the promo code! Also, I really like your blog post about shipping faster: https://greptile.com/blog/ship-faster. Shipping code is so fun that we should all be looking for ways to do more of it.
Arrgh. I suck at this. I was put against a bad movie from 2000. 24 Years ago with a song from 1975 that is way better than the movie. I watched the original at a the matinee. I love the car-wash scene. I'll watch the movie again tonight https://www.youtube.com/watch?v=Le_SnbrNaog
> welcome Stephen Wolfram to Kagi’s board of advisors

This is interesting. I guess we will soon read a longwinded post about it from the first person perspective.
WSA seems to be at least partially open source (the Kernel is available), so hopefully there is enough of a community around it to continue development and support. This seems like bad news for the closed source components, though, like the interface.

I really enjoyed playing with WSA and thought it had great potential as a means to run archived mobile games and applications. It was far more seamless than using a development Android emulator, and the state of game-oriented Android emulators is disastrous.
You are right, there is a "double coverage". The EUPL just states that the compatible license (applied to the combined derivative work) will prevail in case it conflicts with the EUPL.
But none of the listed compatible licenses (i.e. GPL-v2 or GPL-v3) prohibit, for example, the coverage of remote/SaaS distribution: they may not impose it (SaaS loophole) but allow it. So the EUPL code inside the combined derivative will stay covered by essential EUPL obligations, including the modified code sharing in case of remote distribution, even when the combined work is globally distributed under the GPL.
Great concept - please add keyboard control, especially on that typeahead/autocomplete dropdown and form submission. (super frustrating to have to click)
A very important result from this study is that GPT-4 is in many ways worse than GPT-3.5, which was worse than GPT-3. More RLHF makes LLMs hide the overt racism better and leads to a false sense of security ("thank God GPT finally stopped using n-bombs") but they are learning more covert racism from their giant pile of badly curated training data, and this covert bias is not being adequately addressed in RLHF.

Any company using LLMs for hiring decisions needs to be investigated by the feds.
this is the message I'm getting on X now:

https://www.threads.net/@cryptodavidw/post/C4JRaX9vZYE
Buy steel, sell ships is a hell of a value add.
If someone is asking an AI for pictures specifically of a black or asian family I would assume they are corporate HR. If someone's asking an AI for pictures specifically of a white family I would assume their comment history includes rants about the great replacement theory.
How much relevance does JEDEC still have?

I would think NVIDIA in particular and other chip makers/integrators like apple make up their own standards now. It also seems less relevant because memory is rarely interchangeable anymore
>Linux on Android doesn't multiplex or protect software principals from each other.

What? Linux is the only part of the system that directly talks to the hardware and multiplexes it between other applications on top. It enforces security between different apps on the system from interfering with each other.

>Because Linux view of hardware (nice symmetric system with homogeneous cores running single OS with shared memory address space) was different from what was the actual state.

Linux does not assume homogeneous cores.

>For that reason hardware was abstracted away from Linux

It's not. Drivers for interfacing with the hardware have to be built into Linux / a Linux kernel module.

>and it's only used to run Linux programs.

All running processes on the system are running on Linux.

>It's not containerized.

It uses the Linux kernel to enforce security boundaries which is what containers do.

>Android OS is essentially a ball of propietary firmware mud. With Linux programs and Dalvik JVM.

You can run Android without any proprietary firmware. Dalvik is not a JVM.
Eh, the multitouch magic mouse is pretty intuitive when you get used to it. Depending on what you do, it could be an excellent daily driver, but it does tend to have some limitations that can make it a non-starter...
It's not that, getting some issues using X
Didn't even think about that, hopefully it turns out to be true.
It's not just the software. I have Ubuntu on a 2017 MBP and the touch pad experience is so much better than linux on anything else.
It would be neat to define the radicle repo as an input to the flake for a project which used radicle, that way you could add it to the devshell and you'd have pinned the version of radicle to your project such that running "nix flake update" updates that project's version of radicle along with updating its other dependencies (this, among other things, is what having a flake.nix at your repo root makes possible).

A workflow of this sort doesn't need nixpkgs at all, but it does require that the nix flake input handler knows how to fetch from radicle repos. I'll try it a bit later today, but I'm guessing that this will require a change to nix before it works.
Man I would lose contact with a lot of friends if that were to happen
I have heard this opinion over and over again but it just hasn't been my experience. I've spent a lot of time in both Berlin and Munich over the last couple of years and I never waited more than 10 minutes for a train
I wholeheartedly agree with you, this drives me nuts.
How did evolution produce a firefly?
> I feel bad saying that I liked the language but not its speakers. I feel like it’s my fault.

It is, in fact, his fault. Esperanto has an estimated 2–5 million speakers worldwide, but this guy goes to one conference, meets a handful of them, and decides the whole language and culture is stupid. Imagine you went to a French language meetup, and had a bad time, but then decided that the whole Francophone world was a bunch of nerds, and that French isn't worth learning. It's incredibly narrow-minded.

There are countless Esperanto-speaking communities around the world: clubs, online chatrooms, groups of friends, conferences, special interest groups. Check out telegramo.org for an idea of the diversity of interests that Esperantists have. If there isn't a chat room for your personal interest, don't write blog posts in English complaining about it—create one.

Even if Esperanto had no speakers at all, and even if they were all old and weird, (which isn't remotely the case, in reality), it'd still be worth learning, for the same reasons that people learn Latin: it's a beautiful language, a great mental exercise, and a rich literary language. There are tens of thousands of books written in Esperanto, many of which haven't been translated to other languages. And even if Esperanto had no books, stop complaining and write one already.
It's not a lisp thing. Many lisps are capable of multithreading, including implementations of Common Lisp that have had it far longer than HN has been around, and Clojure, which is extremely good at it.

It even looks like Arc, the lisp HN is written in has threads now, but Arc is built on top of Racket and uses Racket's green threads, so it only takes advantage of one CPU core. Racket does have OS threads, but Arc does not use them.
There are also only a handful of companies that sell the equipment for producing real currency. They only do business with governments. North Korea has a government and its own currency. They are perfectly capable turning those legitimate tools to the generation of other currencies.
> It is natural to ask which book of the Bible contains relevant financial advice in its Chapter 11, and it is just as natural to focus on the First, Second, and Third Book of Buffett. However, Knuth's text itself shows that these three tractates were not yet canonical in this period. No other Biblical book is quite satisfactory, and the meaning of the story remains unclear.

Isn’t “Chapter 11” as in “File for Chapter 11 Bankruptcy” the financial advice?
I find them useful, as do many others. They can do many things that commit messages obviously can't.

You can technically coordinate many of the other things through external tools like email, but email sucks, and there is real value to having them all in one place.

Obviously, I'd rather have all these things part of the repo itself, like with Fossil. What's what Radicle is trying to do, it looks like.
Everyone has had everyone one of these behaviors. What really matters is age, which is not addressed.

Here are some more click baity articles from the site, if that's your level of sophistication. I myself insist on 10 things. That of course meant I was profoundly moved by the empathy one.

People who become kinder as they get older usually adopt these 9 daily habits

If you’re struggling to make friends as you get older, try these 9 activities

9 phrases only people who are genuinely content use, according to psychology

8 things to start doing every day to become a more mindful and happy person in 60 days time

People who are obsessed with keeping up appearances often display these 7 behaviors

12 signs you genuinely feel empathy for others, according to psychology

If a man mentions these 8 phrases in conversation, he’s not as mature as he tries to come across

If you’ve overcome these 7 struggles in life, you’re clearly a highly resilient person
What exactly is smooth scrolling? Like you press the down arrow, and the scroll is animated instead of instantly snapping down by 50 pixels?
Anyone have recommendations for alternatives that would require minimal adjustment for someone accustomed to Pivotal? From a quick glance ClickUp or Monday.com look ok maybe? JIRA is obviously common but presumably would have a large learning curve. Asana?

Also while Pivotal does offer an export, most alternatives don't appear to import from it. Though maybe that will change with this. And I suppose a middleman could be used.
Microsoft is killing off the Android apps in Windows 11 feature
This is a great point, and something we think about. I think to an extent a super smart version of our product could infer intent from the code but there would be definitely something amiss if the author's intent was just never available.
I remember this project starting. Not one single thing has changed that affects me as a result and I use Linux everywhere, daily. As far as I can tell it's a lot of small, niche work, that is almost completely immaterial to average users.

Meanwhile there's no stop scroll events across the ecosystem. The single biggest win that Linux touchpad needs is stop scroll events.

I'll bite my tongue on passing more judgement on how this effort has been portrayed over the past few years.
Not at runtime, it translates the source, so HIPIFY can only be used before compile-time
This actually sounds really interesting. As a game, it lets you explore the geometry of an LLM and how it associates things. I'd be curious how this is getting formatted into prompts.

Also curious if there's any other properties these relationships exhibit. I'm guessing there is no zero element, where "x + 0 = x" for all x. I'm also guessing there's no idempotent elements, where "x + x = x". There's probably no ability to loop around in general. But I'm curious if this is cancellative, i.e. if x + y = x + z imply y = z.

I'd also be curious to see if there's any sort of embedding or approximation from this structure into another. At first I thought of word2vec embeddings, and how addition of vectors could have some logical structure. But that algebra is associative. Maybe mapping it to some algebra where x * y = f(x + y), where * is the non-associative operation, x+y is vector addition of the embeddings, and f is some transformation. Actually, that could be interesting. If you could find some embedding and f transformation that very closely matched the Infinite Craft algebra, you could use the difference between x and f(x) as vectors to try and quantify the degree to which the algebra fails to be associative.
Seems like kinda a weird Q&A question regardless, who cares if Alpline is cool with it or not? It doesn't actually matter?
Oh you're right, I thought you could delete them because you can delete the media creation apps (GarageBand, iMovie, etc.)
Technically true, just as if you replace Meta with Amazon, Google Cloud, Etsy, eBay, the local city council, etc. If you don't have a diversified, multi-market, preferably international presence, you're not viable in the long term.

Of course, in the really long term, we're all dead. Meanwhile, the local mom & pop candy shops keep advertising and selling online and making ends meet.
I understand it's hard to control for bias.

If we approach this from a different direction, can we disprove that having people from different backgrounds and perspectives who can point out things the others missed are not beneficial or provide a negative? Perhaps focusing on the claimed mechanism of benefit can shed some light on the effects.
I just got one of these with a Quadra 650 I bought. It's good but it's bugging the hell out of me that the bumps are on the d and k keys vs. the more modern f and j.
> More than likely most of Meta's revenue from the Quest series other than hardware is based off of, y'know, selling games. I doubt tracking what games you play to target ads in the OS is more valuable than the money they make when people actually buy games.

Isn't that a great argument for why they don't need to have such a hard requirement for a logged in session? Consoles didn't have an internet connection for the longest time, though only because it wasnt feasible yet. They moved a lot of games.

> I can hear the sneer from over here, yes.

I don't mean it as judgment, I know I'm the weirdo here. Sorry if that came off rude.
Personally I can't see a difference between 60Hz and 120Hz in phones, so I usually disable the high refresh rate.
Using the term 'down arrow' in the context of scrolling already reveals you aren't the target audience for such a feature.
There is the threat of model collapse though as discussed in this paper:

https://browse.arxiv.org/pdf/2305.17493v2.pdf?

They discuss that if you train models with the output of other models you can get worse results. If we all start using code from those models how will that impact GPT-5?
Most of the time you shouldn't worry too much about all the edge cases. I mostly use it for a general query for variant analysis of some fixed bug, which will have false positives but also give you a list of actual code positions you can triage and review. You still are looking at the code, like in your case, you're just doing it faster or more confident you're looking at all the relevant code instead of having to grep and pray there isn't a construct that had an extra space somewhere. It's also useful IMO as basically just a search engine for constructs you're interested in when approaching new codebases: "show me all classes that inherit from X and have a pointer member of type Y" or whatever is really easy to query, and something that comes up surprisingly often.
I always thought it was strange that people went through the inconveniences of plugging a mouse into their laptop when there was a trackpad right there until I had to use a Windows system and saw just how bad it was.
To those wondering what salawat is talking about: a while back Nvidia started signing the firmware that loads onto the auxiliary processors on their GPUs. Nouveau asked Nvidia for a minimal signed blob they could legally redistribute and load but was basically ghosted by Nvidia. Without that blob they can only drive the GPU at minimum power, which is often worse than Intel integrated graphics.

The bit about DMCA 1201 is mostly hypothetical. i.e. Nvidia's code signing looks like a DRM scheme if you squint. If Nvidia really wanted to, they could argue that, say, cracking the code signing is illegal no matter what you do with it. My gut feeling is that the courts probably wouldn't be too keen on Nvidia suing over this in the case of, say, someone writing their own power management firmware and using an exploit to load it onto a GPU. DMCA 1201 is supposed to prevent you from copying other people's work, not writing your own.

All of this is a moot point because Nvidia more recently released an "open source driver" that loads a single unified firmware blob. This has allowed building a new driver called NVK, which aside from having to load said blob is FOSS, and actually usable for Nvidia GPUs.
Doubling the channels from GDDR6 sounds good, the speed of light isn't changing, so at least we can handle more parallelism with the same latency.
Ok, I'm not in the target audience. Fine. I would still like to know what it is.
That “ROI” comment stood out. Companies should focus on making quality products without tying everything to ROI. The state of some software on Linux is just embarrassing. No attention to detail. Oh and I’ve been using Linux since I installed Slackware via floppy disks.

I have an external Apple touchpad and I got the Boot Camp drivers for it working on my gaming PC. I keep it to the left of my keyboard with my mouse on my right to alternate hands for RSI reasons and because even Windows has a lot of features that work best via trackpad gestures.
If you are going to manipulate spaces into other things in Unicode there are already so many fun tools like non-breaking spaces and half-width spaces and medium mathematical space. You could even go for weird, rare ASCII-compatible like "form feed".

https://en.wikipedia.org/wiki/Whitespace_character

Seems more fun to use something that exists, is rare, and is already weirdly space-like. (Though yes, you have to find a way to escape it if someone is crazy enough to do something like name a file with a "form feed" in the middle.)
Is it a wrong?

There's a lot of externalities around transit that aren't directly priced into costs vs ticket revenue.

If France decides "We want high speed national rail connectivity between cities", I'd look at it more of an entitlement / service than a profitable enterprise.

Nobody expects national healthcare services to be profitable.

(Also, both France and Germany's relatively recent experience with their national rail networks being the reason their countries are still independent sovereign states)
Thanks for reporting the errors. You're right that it's far from perfect. I will say that part of this is due to higher than expected traffic today. We're working hard on stability in general, so hopefully next time you use it you will have a smoother experience.
Some NHS centres twice as likely to diagnose adults as autistic, study finds
Not familiar with what NME means but perhaps they could check literally any stock photo site instead of the only busted AI that doesn't show this one particular thing?
Hm... time to move to bare Alpine for my Pinebook Pro.

I do not really need Gnome nor KDE.
I suffer from this too. I can spend all night reading x y or z out of my own interest, but turn it into an assignment, and its like I cannot avoid pushing it to the very last minute possible. Of course I thought it would help by majoring in my interest, but that only made me see the interest as another academic exercise and drove me off it to an extent, and didn't in fact cure me of my academic block.
But this doesn't actually address the graph "datatype".

This says article basically says "use an edge list" and plug it into a very fancy library/database that may internally transform the representation and/or otherwise do magic to evaluate the graph better.

And I mean like sure, but now you're just sort of burying the problem. You're saying "I've invented the one true graph library and that library will handle all the hard parts."

But datalog has limitations, stuff as simple as weighted (much less graphs with non-integer annotations which require some declarative analysis) are the realm of academic research.

Like, when "we don't support page rank" (https://link.springer.com/article/10.1007/s11280-021-00960-w) is noted in the research paper from 2022, I think saying "datalog" solves all these problems seems incorrect.
We have solid data on how much Rust improves safety, while “too many” dependencies seems rather arbitrary. They tend to be high quality and better vetted/tested than bespoke code or copy-pasted hpp headers
The main thing I think is missing is universal support for kinetic/inertial scrolling, where you can fling your fingers on the touchpad and it keeps going after you stop. It seems to work with GTK but not Qt
Google is changing its search results to weed out SEO spam