skysight-inc/HackerNews huggingface dataset:
What a phenomenal waste of carbon. Arguing with stupid people is like trying to push the waves back out to sea. They will always be there. Give up!
Yes, TFA says the issue is because "12345" sorts before "9888"

My solution avoids that.
One time, I set a self-checkout machine to French to immerse myself in French training in Canada. This happened to set the payment terminal to French as well, which must have set a bit in the on-card chip.

Now, all my pay-at-the-pump interactions at gas stations are all in French. A website I was purchasing from flipped to French when I entered my card info. There were a few surprise interactions where my language preference was clearly derived from my bank card setting.

I’m just hoping that being classed as bilingual is doing wonders for my “social” score at some clandestine data clearinghouse.
Some people love this, some think it’s a necessary sacrifice - a rite of passage to endure in order to produce ”optimal” software.

Others try Odin or C3 instead.
just move to other platforms like x shere you got more freedom regardless of how overboard your podcast is
Theoretically, you could also take advantage of two's complement arithmetic:

00011011 (27)
x 01010101 (-0.333...)
------------------------
11110111 (-9)

invert and add one:

00001001 (9, like we wanted)

I'd be interested in extending this to non-exact multiples, but if that's possible I don't know how.
Slow deployment causes meetings (2015)
Was the spyware persistent? That is, would a reboot clear it? Not that it matters. Presumably, the attackers were so motivated they would re-infect the device the moment they saw it go dark.
I never said Facebook is the responsible party. I’m saying these workers deserve our sympathy and I’m saying it’s not a case of people who had a simple choice but willingly chose a job that caused them PTSD.

I don’t think Facebook is blameless though. They practically brag about their $40B of AI spend per year and absolutely brag about how advanced their AI is. You can’t focus some of your R&D to flag content that’s instantly recognizable as disgusting content, like pedophilia, necrophilia, and beastiality? There’s already a ton of pre-labeled data they can use from all these workers. No, they don’t get a pass on that. I think it’s shameful they focus all their AI compute and engineering on improving targeted ads and not put a major focus on solving this specific problem that’s directly hurting so many people.
you should check dozzle. Collect logs from containers and display them in a browser.
Does Rust make RCE impossible?, I don't think it does.

There is the option of not having data and code sharing the same stack, that seems like a better solution to me but that's such an option is not usually talked about.
We are working on a version for the ZX Spectrum that connects via the expansion bus.

This work is part of a much larger push to create a generic bus interface.

If you can help, please join the discord. :)
Lean is AI adjacent.
What was the tipping point that made you want to work on Lean?
I first read it as a joke, but come to think of it...this would be actually quite awesome for malware isolation and sandboxing. Giving software/apps different fake profiles that look like different identities on the filesystem would be quite the feature.

You would have to have some kind of launcher where you can select the isolated chroot/sandbox you want to run that specific program in.

Implementation-wise this could actually be done with eBPF, as most if not all syscalls can be intercepted and "farbled" (Brave's terminology) there. Features-wise this would probably be a separate filesystem for each program context, plus the things that firejail implements in userspace. Shared libraries would have to be loaded separately into memory, and glibc would have to be changed to not use any environment variables or debugging related function calls.

Welp, maybe docker+xorg is easier.
Same in the Netherlands. It gave me everything in Dutch, even after I logged in.
The Change Problem video of Algorithmic Toolbox course on Coursera briefly mentioned about the origins of Dynamic Programming which was wonderful to know.
https://www.coursera.org/lecture/algorithmic-toolbox/change-...
Meta net profit 2023 was $40B. Revenue is not profit.

AT&T has 100M customers, 40k customer service reps, avg wage $20/hr full time, i.e., $40k/year each.

If you simply scale this 5B customers would need 2M customer service reps. That’s $80B in wages. With no legal need, and since people use their services more by choice more than just about any other company’s product on the planet, it would seem they’re doing just fine.
I'm surprised that no one has yet commented on the inherent reporting bias here. Waymo commissioned a study, conducted by Waymo employees, for Waymo to study Waymo's own safety record, and found that Waymo is safer than human drivers. Has this finding ever been independently verified?
Unless I am missing something, as far as the work of Turing and Church is concerned, their answers are actually quite clear on this question of "can", namely the class of partial recursive functions. This is precisely what a Turing machine can compute. It is also possible to build up to these functions in a concrete way using the simpler class of primitive recursive functions. Rogers book on recursive functions and computability is a great reference on this topic.
It seems like most of the exploits come down to blowing up a parser of one data format or another. Myriad from which to choose, they are written in C for historical reasons, and probably play fast and loose with validation in the name of performance.
And how do you guys deal with a cold start problem then? Suppose the repo is new and has very few previous comments?
Hmm, and 2D sort-into-piles is done even in kindergarten. Including one axis being ordered. Especially 2x2 sorts.

Oddly, ordering both axes is very rare - size-vs-color yes, and color-vs-numberOfHoles, but not size-vs-numberOfHoles. Which was a puzzle when considering xkcd-ish discrete Ashby charts for K.

Sort-within-cell is also uncommon.
It’s math. They don’t need me to believe anything.

They provide support in India to meet local laws.
You know if you take a metal plate bolted down at it's center, throw some salt on it and bow the edge with a violin bow. It makes stable patterns depending on the frequency of the tone playing

Now take this plate and turn it into a 3d sphere and that's spherical harmonica more or less. Electronsike to form them
It doesn't have to be blocking fingerprint, just whatever garbage data that works and the cat/mouse game will continue as usual.
It helps to write down every task that won't be solved immediately, before doing it. This is also great when you're doing multiple things in parallel.
Embedded has been doing just that for their platform for ages. they don't care about most of the things you list though.

not that your point is wrong, but for mose uses it doesn't matter. It would be better if they had it but they don't need it.
Do the math (which I did for another in this post).

Saying nonsense to basic arithmetic is ignorant.

Don’t like the service, don’t use it. Same as every company.
I disagree with the examples in the second idea. The "bad" example is easier to understand and maintain at a glance in my opinion. Looking at the RegisterUser method, I can immediately see the steps it takes to register a user, whereas the "good" example I have to think about it a bit more. Of course, this is a simple example so not much thinking needs to be done, but in a more realistic application I think this would hold much more truth. In projects I've worked on I've seen methods get incredibly bloated due to this. I certainly do agree that "splitting things up for the sake of splitting them up" can be bad practice, I'm just not sure this is the best example to demonstrate that.
there is a certain type of person that can survive being around Trump for a long time - Stone/Miller/… fit that mold.
This is wonderful. Great job.
We're trying for intellectual curiosity here.

https://news.ycombinator.com/newsguidelines.html
Nobody has a right to be published.
It's a problem when you don't verify the identity of your users and hold them responsible for illegal things. If Facebook verified you were John D SSN 123-45-6789 they could report you for uploading CSAM and otherwise permanently block you from using the site if uploading objectionable material; meaning only exposure to horrific things is only necessary once per banned user. I would expect that to be orders of magnitude less than what they deal with today.
Very cool. Shared with some friends as well. Overall risk score at the top is nebulous - not sure what 8.75 means. Maybe a little context would be helpful. From a UI perspective things are quite large and too much space between elements. Can definitely condense down so we can see all the metrics in one glance. Mouseovers on pills (ie Mortgage Rate -> "High") the popup gets cut off so you cant fully read the text.
Polyglot-HTML-Zip-PNG: Learn How to Create HTML/Zip/PNG Files in JavaScript
I don't live within 200 miles of a apple store
We live in an era where companies are trying to claw back data (open APIs) that were made public with altruistic intentions and is now being used in ways they don’t like (LLMs). Obviously not directly applicable here—no one is training an AI on your logs. But my personal policy is rooted against oversharing. You can’t use the data in ways I don’t anticipate if you simply don’t have the data. If I’m doing the work to produce that information, I am going to ensure that it used is entirely to my advantage.
Connected car data addresses traffic congestion andsafety:data privacy a concern
https://archive.ph/gt3pL
> limitations re the number of blocking rules in Manifest V3

Which of course was the whole purpose for google pushing for this v3, to benefits ads and hurt users.
The concern that jumps out at me is: what about flags that affect code generation? Some are tied to the subarch (e.g. "does this amd64 have avx2?" - relevant if the cache is backed up and restored to a slightly different machine, or sometimes even if it reboots with a different kernel config), others to java's own flags (does compressed pointers affect codegen? disabling intrinsics?).
That would work as well. I'm not sure if extraction of a file by filename from a compressed tarball is particularly efficient or not.
It's safe to say that Android is definitely moving away from Java in terms of new language features. I mean, if you want to support older Android versions and use modern Java features or newer parts of standard libraries, you'll usually have to rely on desugaring or making sure you're using classes that are supported in Android.

IMO, Android is moving away from modern versions of Java. Java and its underlying standard library will always play a big role in Android development.

The way I see it, Kotlin makes a lot of sense for Android development because Kotlin can introduce new things in its standard library that make older versions of Java look ancient. It's not like you can use new Java features in Android, so using Kotlin makes people not care as much about new features of Java that are only available in modern versions of Java.
I mean it could also have been a sound stage in Hollywood /s
Isn't dynamic programming just using a table that you fill gradually? So far, all examples of dynamic programming I saw just do that
You'll be surprised by how many already mistake AI generated content for human creation[0], when the tech is still so young. And it cuts both ways since people also mistake human creations for AI content [1]. I see no reason why it won't eventually get to the point where they're fully indistinguishable, given AI is continually being trained to be better. Bits are bits, whether arranged by man or AI.

[0] https://www.nature.com/articles/s41598-024-76900-1
[1] https://arstechnica.com/ai/2024/06/this-photo-got-3rd-in-an-...
Photopea on Puter
Why was the solution not to get rid of the linked list and replace it with a red/black tree?
But it does suck because drivers are expensive. Seattle is struggling to find drivers. It's a constant battle to identify the most used routes and keep them staffed but that's why there's not a critical mass of riders to pay enough fares to hire drivers.
As a remote worker, it would be really cool to have something running locally that had access to my Zoom logs/meeting transcripts, Slack, email, calendar, etc.

Then take that and have it summarized what I did all day on the computer.
>(Signature spots are mimicking pen signatures. Why not avoid that, or generate them based on the digital signature, eg as a visual / printable representation then digital signature, the way a QR code carries bits? Make something that survives printing!)

That's the actual unsolved problem of digital documents.

Regulatory technofetishism requires digital signatures strongly tied to identifiable person (natural or otherwise). eIDAS solves that perfectly, as long you have a digital id issued by your government of residence (the one expecting to connect the document through the signature to a primary key in their database). Nobody except a few governments here and there actually use it and when they do it's mostly a closed system with controlled access anyway.

What people actually need (i.e. how people really work with documents) is a PDF with a signature visible in all PDF viewers, that you can also print and bring to a local government office if they for some reason have in-person process for it. Now in theory, you can have PDF fields and fill them with digital signatures produced by your eIDAS-compatible qualified id. Nobody (almost) ever does that, because your typical workflow doesn't require extracting strong identity from the signed document. The fact that adobe viewer operates on a different chain of trust compared to eIDAS doesn't help.

So what people do is adding signatures as content to the document, than signing it digitally with pdf fields sequentially. It works fine, but you can't add another content-signature on top for obvious reasons and you can't counter sign if the field wasn't present before (and document is locked).

Add: to even start properly solving this, one needs to understand how documents generally work, how (federated) governments work, read the actual law, also understand cryptograrphy and PDF format and after all that make a nice UX. And people who can mostly understand all of above have better things to be busy with, as there is no money in it anyway.
Same with row-major vs. column major, accessing contiguous data is faster than non-contiguous data, so you should align your algorithms and data structures.
I do something like this and it's helpful.

I tend to forget about a task once it's in the past, so I just put one line per task in a text file every day. Sometimes it would be the same line ("2024.12.21 Worked on xyz feature") for several days in a row, but at review time, it was easy to see what I'd accomplished.
That's the tragic consequence of being human. Either the people you care about leave first or you do, but in the end, everyone goes. We are blessed and cursed with the knowledge to understand this. We should try to maximize the time we spend with those that are important to us.
BuildSafe
Oh, I didn't mean to imply something will change. I am simply concurring with the parent while observing that limitation turned into a strength by established a certain ecosystem early on that fits the modern architectural developments well. I don't think that is going to change now, but had nogil been the original, it could have led to a different style of libraries being designed.
How did that go away, if people only do what they're brought up to do?
I called a bank to increase my ATM limit. The agent sent me an SMS code to verify my identity and wanted me to read it back to him. The message said not to give the code to any human. Sigh.
Neat idea! I’d love to use my current RSS feed reader (NetNewsWire) to follow links that come across my Mastodon feed. I can already follow individual accounts or tags with the .rss pages Mastodon generates.

It should be possible to create a service that produces personalized RSS feeds, something like: https://codeberg.org/gedankenstuecke/mastolink2rss
At least you didn't get these: https://www.telegraph.co.uk/multimedia/archive/02072/carrots...

Fun fact, they evolved to fill the niches normally filled by rodents. As such, they were once the most common prey of the native owl ruru/morepork. Life is cool.
(Founder) Yes we should create a video, thanks for the feedback.

In the meantime, checkout this quickstart which will have to streaming Star Wars with the S2 CLI and give you a pretty good sense of things https://s2.dev/docs/quickstart#get-started-with-the-cli

(You will have to apply to join the preview, but we are approving quickly)
In Japan, some sushi bars keep live fish in tanks that you can order to have served to you as sushi/sashimi.

The chefs butcher and serve the fish right in front of you, and because it was alive merely seconds ago the meat will still be twitching when you get it. If they also serve the rest of the fish as decoration, the fish might still be gasping for oxygen.

Japanese don't really think much of it, they're used to it and acknowledge the fleeting nature of life and that eating something means you are taking another life to sustain your own.

The same environment will likely leave most westerners squeamish or perhaps even gag simply because the west goes out of its way to hide where food comes from, even though that simply is the reality we all live in.

Personally, I enjoy meats respecting and appreciating the fact that the steak or sashimi or whatever in front of me was a live animal at one point just like me. Salads too, those vegetables were (are?) just as alive as I am.
A parade shooting is bad, very bad, but is still tame compared to the sorts of things to which website moderators are exposed on a daily/hourly basis. Footage of people being shot is actually allowed on many platforms. Just think of all the war footage that is so common these days. The dark stuff that moderators see is way way worse.
I don't know what his reasons are but it makes sense to me. Yes, there are incredible results coming out of the AI world but the methods aren't necessarily that interesting (i.e. intellectually stimulating) and it can be frustrating working in a field with this much noise.
>If you own a copy signed by you, and a copy signed by another person, as we have the proof of the content of each one, you know that it is the same contract that was agreed...

Then you need to show a third party the contract signed by both sides. On paper or sent by fax. When you say digital document trust services eIDAS, the party replied that it's not a participant in the trust architecture (as defined by eIDAS-implementing law) and didn't buy the license for software needed to verify it. The party is a judge, so they are right and you are wrong. True story that did actually happen and nobody was even disputing the fact of document being signed.
I think we both agree Uber drivers aren't the worst drivers on the road but your assertion is that Uber drivers are professionals and so somehow better drivers than the average. But they aren't. They're actually average drivers. So a self-driving car actually has a very low bar to clear.
how about if it can work at a job? people can do that, can o3 do it?
I think you've hit the nail on the head there. If these systems of reasoning are truly general then they should be able to perform consistently in the same way a human does across similar tasks, baring some variance.
signrequest.com is still free, you can't beat that.
> The vast majority, for instance, do not want rogue AI to take over or destroy humanity, because they are part of humanity.

A rogue AI destroying humanity (whatever that means) is not a likely outcome. That's just movie stuff.

What is more likely is a modern oligarchy and serfdom that emerge as AI devalues most labor, with no commensurate redistribution of power and resources to the masses, due to capture of government by owners of AI and hence capital.

Are you sure people won't go along with that?
“Items” is not an Apple jargon term for AirTags. AirTags are not the only thing that can show up in this list. Third-party FindMy-compatible devices are quite common.

Since you frankly seem to have a bee in your bonnet about Apple, I’d suggest that you actually look into these. They might be more to your taste.
A few may be interested in developing a relationship. The vast majority though is only interested in consuming content and moving on. I fail to see how that preference makes one a "soulless machine". But maybe I'm already a lost cause shrugs.
I think the title should be changed, Coda acquired Grammarly. No?
BTW, this part is not entirely true:
> Every single instruction is a vector instruction that is executed on all threads in the CUDA block simultaneously (unless it is a no-op due to divergent branching).

It is true that at one point instructions were executed in SIMT lockstep in warps, which are equal-size groups of CUDA cores (with each core mapping to one thread) that subdivide blocks and are the fundamental unit of execution on the hardware.

However, since Volta (2017), the execution model is allowed to move threads in a warp forward in any order, even in the absence of conditional code. Although from what I have seen, for now it appears that threads still move forward in SIMT lockstep and only diverge into active-inactive subsets at branches. That said, there is no guarantee on when the subsets may re-converge, and this is also only behavior which is done for efficiency by the hardware (https://stackoverflow.com/a/58122848/4151721) rather than in order to comply with any published programming model, e.g. it's implementation-specific behavior that could change at any time.

This is why the NVIDIA documentation (https://developer.nvidia.com/blog/using-cuda-warp-level-prim...) says to use __syncwarp() for operations with intra-warp dependencies and to not assume lockstep execution.
If I were to cook a pork chop in the kitchen of some of my middle eastern relatives they would feel sick and would probably throw out the pan I cooked it with (and me from their house as well).

Isn't this similar to why people unfamiliar with that style of seafood would feel sick -- cultural views on what is and is not normal food -- and not because of their view of mortality?