skysight-inc/HackerNews huggingface dataset:
To be clear, the majority of bus takers in my experience (several large cities on the West Coast of the US) are perfectly nice people. But often enough as to be a nuisance there are individuals who are: severely mentally ill, openly using drugs or intoxicated, blasting music on their phones, hostile or aggressive, lecherous and intimidating towards female passengers.
Automatic manual tasks is how we worked our way up from unspeakable poverty and disease in last 250 years.

Each individual improvement was usually small and insignificant.
>We don't need a computer to solve these issues.

Awful jobs that pay bad wages seem exactly what we want to solve with machines.
IME you have to be willing to recalculate the summaries up to some kind of consistency window.

Yes you may be changing history and you may have a business reason not to address that revision immediately (you've already billed them?) - but the system can still learn it made a mistake and fix it (add activity from Jan 30 evening that comes in late to the Feb bill?)
Here’s the talk that this article comes from.

https://youtu.be/DAf-T3bFJFs
I think the important thing is that the first approach to converting complete sentences to an embedding was done by averaging all the embeddings of the tokens in the sentence. What ColBERT does is store the embeddings of all the tokens before then using dot products to identify the most relevant tokens to the query. Another comment in this thread says the same thing in a different way. Feels funny to post a stack exchange reference, but this is a great answer!

[1] https://stackoverflow.com/questions/57960995/how-are-the-tok...
AI has been drastically improving for the past couple decades, and if that continues then AI is obviously going to kill the software industry and many other industries.

Sure, maybe apparent exponential growth tails off into an S curve at some point, as often happens. But this blog post seems to assume that is guaranteed to happen, which is a big leap of faith, and also makes this not a very interesting blog post. Because it's basically just, "Well if I assume the best arguments against my position are wrong, then I don't even need to address them, and I can instead focus on lesser arguments that are easier for me to discuss".
I don't understand all the comments promoting the openness of twitter/x. There's a ton of friction to interact with X without an account. Meanwhile, the alternatives mostly allow third party apps, cross posting, and logged out access.

I can follow mastodon and threads accounts on my bluesky timeline using one of many bridge services: https://fed.brid.gy/

I can merge mastodon, bluesky, nostr, and threads one timeline using one of many third party apps: https://openvibe.social/

I can unsubscribe from the default bluesky moderation service and choose one run by a third party: https://bsky.social/about/blog/4-13-2023-moderation

The only differentiator for X is the content, and that's an easy choice.
Other reasons also include:

- less burden on the stdlib maintainers (which are already overworked!)

- faster iteration on those libraries, since you don't need to wait a new release of the compiler to get updates for those libraries (which would take at least 12-16 weeks depending on when the PR is merged)
I mean Russia for example has been busy sabotaging undersea cables and the likes already, it's not like kinetic conflict would necessary be needed for such a scenario. Especially considering there's no direct way of even finding out who did it - no physical presence needed - no tracking like with ships..
it's a good thing I'm a Web developer.

closest I come to working with files is localStorage, but that's thread safe.
Tons of households (even in the US) have access to 1G+ home internet connectivity and yet that seems to be most of what their usage is.

According to the FCC, in December 2023 something like 79% of all households had at least 100Mbit fixed internet, ~24% had 940Mbit or better. The NCTA claims 91% have access to gigabit or better. I do agree they're probably overselling that number (cable companies maps are often trash), but it wouldn't surprise me if it was really something more like 80% or more have some kind of access to gigabit but might just be cost prohibitive for what they care to spend.

https://www.fcc.gov/internet-access-services-reports

https://www.ncta.com/industry-data/91-of-us-homes-have-acces...

If these households aren't even really utilizing their gigabit connections very much today, what makes you think they're just waiting for 10 gigabit connectivity? What applications would they even really do with 10gig connectivity with hardware they'll have in the next five years, something normies would really care to do?

By and large people don't even care that much about 4K or ultra-high-quality video streaming. The two most popular Netflix plans are Standard and Standard with Ads. Blu-Rays are dead. VR acceptance is still pretty slow.

Even something like cloud gaming is really only using like 40-60Mbit of throughput for even a 4K gaming stream. Quadruple it, we're at 240Mbit. And even if we did ship 10gig home internet, it's not like we're just going to stop compressing the stream; a 4K 120Hz HDR stream is going to be ~32Gbit. Average household size in the US is about 3.23, so all three and a third people could be using 240Mbit and still have another 280Mbit of throughput.

Don't get me wrong, some percentage of home users would use a multi-gig home internet connection. But even though I can subscribe to a 5gig internet package and I'm more on the enthusiast end of things with a family with multiple kids and several 6E AP's with wired backhaul, hosting multiple applications and SDRs from my home, it's just not worth it to me to bother paying for it over the gigabit plan. Even if it was only $10/mo more I probably wouldn't jump to the higher plan. It wouldn't change my access or usage at all while costing another $120/yr.

Sell me on a 10gig home internet plan over a 1gig home internet plan. How is it going to radically change my usage with the kind of hardware most consumers actually buy and use? For that matter, sell me on a 1gig plan over a 500Mbit plan for a typical US household, let's say two adults and two teenage-ish kids. Would they really even see much of a difference in their day to day lives?

Back in the 90s it was pretty obvious what could be unlocked by having an always on multi-megabit internet connection over a single dial up connection for a household. It was just very prohibitively expensive for most people. I wouldn't say its anywhere near as obvious what benefits are to be had for a household today to jump from 500Mbit to 1gig or especially 1gig to 10gig.
I still have to facepalm at the sheer lengths we’ll go through to avoid building rail or better transit. Yes, let’s have hundreds of startups squandering billions of dollars in investment to replace the lowly bus driver. That’s way better than spending that money in, say, light rail and trolley car systems, expanding existing subway networks, completing desperately needed infrastructure projects, or modernizing and automating existing rail service.

Putting the soap box aside for just a moment however, I could see this being feasible for static bus routes, assuming your city maintains the roads and signals along that route so the ML algorithms piloting the multi-ton death machine on open roads isn’t distracted by a new pot hole or missing road stripe. Since no city in America actually does this though, these things seem about as reliable as the “self-driving” Teslas under Vegas. Then you throw in the need to retrain the algorithm every time the route changes, and the millions in expenses that’ll cost versus the few thousand it takes to retrain a human driver on a new route…

Yeah, nevermind, breaking out the soap box again. Stop trying to short-change infrastructure investments and just invest in the infrastructure already. It won’t make some SV VC fund richer, sure, but it’ll at least go towards something useful and necessary for the city’s occupants.
> Depends how far they are expected to go.

Once you give them a small in they'll keep expanding the scope endlessly
> most of these trans women are interested only in people similar to themselves. IE, queer, non binary, trans

That sounds kind of odd to me. I don’t have any experience or insight to people’s experiences here but I would assume that most trans people are trans because they want to be the opposite sex, not because they want to be trans specifically. This statement here suggests they’re identifying as trans more so than the gender they’re transitioning to.

Where am I mistaken?
> interesting choice

No serious alternative
Maybe some EE will step up and make a dongle that converts kia to a fake tesla plug :) “How is the same id number charging at 100 places at the same time?!”
Yeah. Once you understand the configuration it's really nice, it is also well documented.
CRDT is really only useful when inconsistencies could be acceptable in some situations and so it depends on the application.

For something that is trying to solve the general problem of consistent single ground-truth log, you can't really do much better than Spanner.
Self-driving vehicles are too stupid to drive in the snow. They can't handle variable traction (down to approximately 0 traction on black ice), they can't handle when road markings are entirely obscured by snow pack, they can't handle the general intelligence required to negotiate with humans in the same situation.
New book-sorting algorithm almost reaches perfection
> Algebraic data types excel at data modeling.

Any good resources you can point to for this?
> I’m not sure if it’s feasible: an AI tool (LLM) that generates multiple name suggestions based on your input and automatically checks if the .com domains are available.

About 15 years ago I made a tool that checked every domain availability starting from single letter ones. After a few days I got a nice 3 letter one that I still keep. It's certainly feasible, an LLM can even make the code to do it, but I wouldn't expect to find anything shorter that 5-6 letters.
> And how else would you explain that first the borders were constantly flooded with illegal immigrants, and now not anymore?

It could just be the news coverage. Maybe they wanted people scared before the election. Do you have sources with actual numbers? What is the percentage decrease?

> It seems this topic is heavily being censored

Then how are the illegal migrants "easily" getting citizenship finding out about it?
The rust-crypto sha1 crate has four direct dependencies

cfg-if - a tiny library making it easier to use different implementations on different platforms. Maintained by the official rust-lang libs team. Also used by the rust std library. No recursive dependencies.

cpufeatures - a tiny library for detecting CPU features maintained by the rust-crypto people, with a recursive dependency only on libc (which is maintained by rust-lang and used by the standard library).

digest - a library providing traits abstracting over different hash functions, maintained by the rust-crypto-people. In turn digest depends blockbuffer (some code to minimize boundchecks) and cryptocommon (more traits for abstracting), both maintained by the rust-crypto people. Both in turn depend on

- typenum, a third party library for compile time math, no dependencies.

- generic-array, a third library for fixed length arrays with lengths computed by typenum, typenum is its only dependency.

- version_check, a third party library for checking what features the rustc being used supports (only block-buffer depends on this one).

sha1-asm - A library with a faster assembly implementation of sha1, maintained by the rust-crypto people. Dependent only on cc (c compiler support), maintained by rust-lang, used in building the rust compiler. cc is itself in turn dependent only on

- shlex, a third party library for splitting things the same way a shell does. So this tree ends in an actual third party dependency, but one you're already indirectly dependent on by simply using the rust compiler at all.

Oh, and in the next release

sha1-asm is being removed

The crypto common dependencies are being replaced with hybrid-array, which is a replacement for generic-array maintained by the rust-crypto people, and is only dependent on typenum.

The version_check dependency is being dropped.

---

So what's going on is

1. This is a faster implementation of sha1, using all the tricks to have different implementations on different platforms. This resulted in 2 third party dependencies, down to 1 in the next release.

2. This is fitting into a trait ecosystem, and is using tricks to abstract over them without degrading performance. This resulted in 2 third party dependencies, down to 1 in the next release.

3. The count of non-third party dependencies is inflated because rust-crypto has split up its code into multiple crates, and the rust-lang team has split its code up into multiple crates.

4. It's not 40, it's 9.

Is it worth the extra code? I guess that depends on how many times you are hashing things and how much you care about the performance and environmental impact of extra code. Or if you're doing something where you want to be generic over hash functions.
That would require actually understanding types. GPTs don't understand anything - not really. They know the words and how the words connect to each other, and that's all.

What you want - what everybody wants - is a GPT plus. In this case, GPT plus a compiler's parsing ability. I don't think that's what we have, though. What we have is a GPT that was trained on more and better code snippets. That's not good enough.
Counterintuitively, I would be likelier to take the bus if it were more expensive.

My original comment is not about “the poors” and I am not a tech worker nor do I make “the big bucks”. Lower the pitchforks, please.
* within a partition
Let’s chat after you receive your first astronomical out-of-network health insurance bill or experience the joy of joining the 30% of health claims routinely denied by U.S. insurance companies....Unless, of course, you’re a VP of something. In that case, your effort to pass yourself off as the quintessential 'regular Joe' is comedy gold.
Sure, except the machines some ten years in and who knows how many (tr)(b)illions of dollars still don't work.
Thorsten Ball (Zed) to Join Sourcegraph
Not really a bold claim. The performance impact and additional expense of ECC RAM is not really worth it for most consumer applications, like gaming.

It's especially not worth it if you're storing all your critical data on cloud services that already run on server-grade hardware.

Why do I care about ECC memory if the source of truth of my data is in cloud services like S3 that have impossibly high durability standards?

We can even back it up a bit and say, how do you know that data loss isn't acceptable to me?

Is ECC memory really more protective compared to a 3-2-1 backup system? ECC memory can't stop my house from burning down or having water intrusion destroy my system. I think a lot of those "natural" causes of data loss are more statistically probable.

Finally, it's my understanding that filesystems with checksums can essentially mitigate this problem or warn you very early of issues.
I was also wondering how well it would look in stereo. My guess is it would still look strange (the "depth map" would also appear dithered) but the effect would be interesting to experiment with.
If I'm a sensible person running a police department, with full knowledge of the here-described bugs and hazards as well as the deep experience all police get in the general "people being jerks" spectrum, it's gonna take a lot more than someone on the phone saying "my car manufacturer's app says the car is in there" to bust down the doors of some random place.
this is sort of what tooling is suppose to be like right? llm isn’t great at X task so regulates it to a proven capable tool like a calendar
I believe you want "one log" in the logical sense. In theory, you could have "one log" per user or group of users, or whatever sharding technique makes sense for multi tenancy model. It can also be "one log" per bounded context - e.g. the entire payment pipeline in one log.
The whole software ecosystem is built on bubblegum, tape, and prayers.
There is nothing to coordinate for the application, because, yes, the log coordinates everything. But not globally, on the level of a single event handler execution, or a single key.

That has been proven to scale well - the way we implement that in Restate is classical shared nothing physical partitioning, with indexing on a key granularity.

So nothing like a shared mutex unless you want to access the same key, which otherwise your database synchronizes, if you want any reasonable level of consistency.
It really doesn't have to be. Your standard zigbee smart lightbulb, for example, behaves exactly the same as non-smart lightbulb - you flip a switch to turn it on and off. You have the option of integrating it with automations and services fully under your control and even disconnected from the broader internet, if you like.

Building up a "smart" home where you have control of everything is radically different from off-the-shelf IOT crapware that turns into a paperweight when some company decides to pull the plug.
This would be too risky IMHO ie in eastern Europe (I don't mean sh*thole of russia where this is even much worse, just eastern EU).

The general attitude is less tolerant. Most people in general population of course have 'live and let live' attitude, but small part of each country does actively attack such people, ie skinheads or other far right groups.
John Conway was amazing. Such a loss that he died of COVID.

As well as the game of life, surreal numbers and other famous things, he also produced one of my favourite lesser-known proofs ever - the proof that 91 is the smallest number that looks prime, but isn’t https://youtu.be/S75VTAGKQpk?si=IW791RaeCsXSOrrK “This is an important theorem and a discovery that I’m very proud of”.
Much more expensive to build, will face more political opposition, will take years to complete.
Somehow the companies find that they spur a lot of complex issues, but it's never their responsibility for those issues

(I guess they'll say it's the government's or something like that)

Anyway, I laughed thinking of Anduril bot. Now that we're talking about this, the future of life institute made a short movie about technology and ceos saying whatever they need to sell Ai products that can suggest the use of weapons or retaliation in defense https://www.youtube.com/watch?v=w9npWiTOHX0
Wish Roccat would offer replacement parts. Their mice are priced decently and super nice but their reliability has seen better days...
Buying Wikipedia
Don't show this to your favorite fascist billionaire!
This can work if the platform instills a culture of pseudonymity and takes privacy seriously. There exist platforms on the darkweb where far more sensitive data is exchanged.

I believe that you are fully right, but your concerns can be mitigated.
> Google also points to a new feature added to YouTube last year that enables certain users to add contextual notes to videos, saying that it “has significant potential.” This program is similar to X’s Community Notes and, likely, whatever fresh hell Meta is cooking up.

First Meta and now Google is copying X's community notes now.
> Hiring disparity is a metric that's measured at a much higher level than any individual organization.

And how do we know if the hiring disparity is due to bias? The details of the hiring process are absolutely relevant, because the notion that the hiring disparity is due to bias is a claim about the details of the hiring process.

My main issue with a lot of DEI programs is that they don't try to eliminate bias. They just assume disparities are due to bias and work towards "fixing" those assumed biases with explicit discrimination. The problem is that when you actually try to measure and quantify bias in tech, the results often aren't what DEI advocates assume. E.g. https://www.pnas.org/doi/10.1073/pnas.1418878112

This is why there's such a a strong pushback against anonymizing interviews and other bias mitigation measures. What happens if your interviews and applications are all anonymized and the hiring disparity remains? The justification for "fixing" the representation is now a lot weaker since it's harder to claim it's due to bias. "Let's address bias in our hiring process" is a lot more popular than "let's set quotas". So the people who want quotas try to claim that they're just fixing bias by setting quotas.

You don't eliminate biases by focusing on the gender ratio of the orchestra. You eliminate biases by putting a veil between the auditioner and the evaluators. We all know this, but some people feel compelled to pretend that they're working towards eliminating biases when in reality they're working towards achieving certain demographics outcomes.
Twitter used to be open, but being open doesn't make you a lot of money. Thanks to the upcoming AI industry running on (scraping) user generated content, being open costs more and cuts into profits. The service went downhill fast once they needed to make a healthy profit.
Pixelfed Launches Kickstarter: Building Ethical Social Networks for Everyone
The best I could find was Samsung TVs connecting to a nearby unsecured hotspot (some routers used to have that by default).

OTOH, if during setup you agree to them sending telemetry, they might just use a cheap cellular modem with arrangements with local telcos for low-traffic data connections with a lower QoS than telephony, the same way some cars do OTA updates even though you don't give their on-board computers access to your phone or home.
Yes, exactly right. One log per logical entity, here "payment ID".

The way our open source project implements that is with a partitioned log and indexes at key-granularity, so it is like virtually a log per key.
> more loss-making - easier for car drivers to lobby politicians to kill them off.

This logic only holds if you assume public services must make money and this is not a universal rule. Tons of public services hemorrhage money. It's called "spending money to get things" and we as a society have been doing it for basically as long as money has existed.

> If there's a lack of funding, and there's a tech that will make buses cheaper, it's a no-brainer to adopt it.

A regular car retrofitted to operate "autonomously" costs upwards of 100k by a quick google, and we're not talking a Mercedes here, we're talking a bog standard crossover. Busses cost near 6 times what that "autonomous" car costs for a boring one that a person drives, how much do you think a robo one will cost?

Also worth noting, the prototype pictured in the article looks to move WAY fewer people than a standard city bus.
If anyone else was curious about the final image and the `x÷` button: http://www.vintagecalculators.com/html/sharp_el-8.html

----

> The keyboard on this calculator has the number of keys reduced to the minimum by the use of only three function keys, including a combined "x÷" key.

> Here, pressing "x÷" gives the multiplication function if "+=" is subsequently pressed to give the answer, and gives the division function if "-=" is subsequently pressed to give the answer, so:

> 4 x÷ 2 += gives the answer 8.

> 4 x÷ 2 -= gives the answer 2.
How do you do GDPR takedowns?
No, but they have deniability. “We checked, and they weren't in your state as far as we can tall”.

Slightly aside, if you filter like this for any reason it is safer to check that the request is NOT coming from some other location – that way your main failure mode is accidentally screening someone in a state you don't need to, not accidentally letting someone in that you could face legal action for, though this is a harder check to make.

The blocked people that use VPNs may well appear to be coming from a non-US location too which probably makes the denial slightly safer.