skysight-inc/HackerNews huggingface dataset:
> Governments are not designed (nor should they be) for efficiency. They are designed for safety, accountability, transparency, and universality.

This is in some ways talking about two different things.

Suppose you run the DMV like this. To do anything you need an appointment, to get an appointment takes 45 days, and appointments are scheduled back to back so even when you come for your appointment you have to wait for hours because previous appointments may have run over. In terms of minimizing the number of government workers this solution might be almost optimal -- they're all busy all of the time -- but in terms of wasting the public's time it's idiotic.

Now suppose you do the opposite. No appointments so you have to show up at 8AM and wait all day until someone can see you, because everyone shows up at 8AM, because if you show up at 3PM they'll be closed before you get in. This is also miserable.

What you really want is to allow appointments but not require them, and then give appointments priority. Then some proportion of slots would be unscheduled and filled with walk-ins, but those would also prevent anyone with an appointment from having to wait because they get priority, and appointments would be available two or three days out instead of weeks because you don't need a fully-packed schedule to prevent idle workers when any unscheduled slot just means they take one from the walk-in queue. Meanwhile if you absolutely have to get in today, you still have the option to get in line at 8AM.

Doing either of the dumber alternatives is the kind of government inefficiency that really pisses people off, and yet all three are basically the same in terms of how many government workers you need, because all three have them fully occupied with some combination of appointments and walk-ins.

Likewise, a lot of inefficiency comes from bad laws. Laws and regulations run the gamut from the obviously good (criminal penalties for homicide, ban on leaded gasoline) to the needlessly over-complicated (tax code, many business regulations), to the corrupt (certificate of need laws, many aspects of building/zoning codes, exclusionary financial regulations). The inefficiency here isn't just that you need too many government bureaucrats, though the more needless complexity there is the worse that gets. It's that the inefficiency bleeds into what the public has to do to comply with it, like wasting your time at the DMV. The government requires you to hire excessively many accountants and lawyers and compliance officers, or prohibits or bankrupts societally net-positive endeavors.

A body whose purpose is to ferret out and eliminate those kinds of inefficiencies has the potential to do good, because the government doesn't otherwise have a great accountability mechanism to prevent them, as evidenced by their widespread proliferation.
Shadowbanned means "in the sense that the server sees the domain and automatically flags the post," as you said, which is the behavior described in my original comment.

I'm not sure what you are getting at.
> Apple is the only company that makes integrated GPUs that are actually any good

I will reiterate; if you have used AMD or Intel iGPUs recently you would know this is just plain wrong. AMD's iGPUs often outperform Apple's for the price, and come with a featureset that isn't intentionally gimped and supports "professional" features like Vulkan conformance. People condemn Apple's GPUs for having a featureset too simple for anything besides video transcoding and compute shaders. If Intel didn't exist, Apple would probably be the single least-efficient and lowest performance GPU designer shipping products today. And they had to cut corners to get there.

> If you get more RAM for your Macbook, that automatically means more memory you can use for LLM inference.

And then it's your paltry GPU that's the bottleneck. You can get comparable results on pretty much any sub-120b parameter model with PCIe offloading on Nvidia hardware that costs a fraction of a Mac Studio with enough memory to compete.

See for yourself. Nvidia's fastest laptop chips still outperform Apple's most powerful desktop GPU chips: https://browser.geekbench.com/opencl-benchmarks

And it's not even close. Apple's biggest professional GPUs struggle to swap spit with Nvidia's last-gen laptop chips.
Love the Weather Star Ⅲ aesthetic https://www.twcarchive.com/wiki/Weather_Star_III
It's so much simpler than that:

1) AI is a massive wave right now and everyone's afraid that they're going to miss it, and that it will change the world. They're not obviously wrong!

2) AI is showing real results in some places. Maybe a lot of us are numb to what gen AI can do by now, but the fact that it can generate the videos in this post is actually astounding! 10 years ago it would have been borderline unbelievable. Of course they want to keep investing in that.
I can’t edit this now but I see Trump has changed his tune on TikTok in another comment, so maybe they will have better luck.
The cost of Linux kernel development alone has been estimated at a few $B (https://dwheeler.com/essays/linux-kernel-cost.html), current figure is probably over tens of billions.

Also, the prize doesn't require you to train a new foundational model, just that whatever you use is open weights or open source.

Theoretically, might be get away with a Llama3.3 (or any other model which you think makes sense) with a cleverly designed agentic system and a fresh codebase-understanding approach, with minimal compute cost.

(ok, probably not that easy, but just saying there's much more to AI coding that the underlying model)
Last time Google made a big Gemini announcement, OpenAI owned them by dropping the Sora preview shortly after.

This feels like a bit of a comeback as Veo 2 (subjectively) appears to be a step up from what Sora is currently able to achieve.
I wonder why Limbo has an installer script and isn't just `cargo install limbo`
Tesla is having major issue with its self-driving computer inside new cars
there is a little icon that is like... three lines next to an arrow in an L shape, but it's honestly unclear what it means visually (it doesn't read as AI, and I feel like "little sparkles" is the de facto AI icon) and it's also not super visible or distinct, so it's not always immediately apparent at a glance.
> Think about it, almost everyone I know rarely clicks on ads or buys from ads anymore.

This is a typical tech echo chamber. There is a significant number of people who make direct purchases through ads.

> But if they can get good video generations models, they can control this ad space too without having human in the loop.

Looks like based on a misguided assumption. Format might have significant impacts on reach, but decision factor is trust on the reviewer. Video format itself does not guarantee a decent CTR/CVR. It's true that those ads company find this space lucrative, but they're smart enough to acknowledge this complexity.
A really cool article. From the Intro:

> She thought carefully about how operations could be organized into groups that could be repeated, thereby inventing the loop. She realized how important it was to track the state of variables as they changed, introducing a notation to illustrate those changes. As a programmer myself, I’m startled to see how much of what Lovelace was doing resembles the experience of writing software today.

> So let’s take a closer look at Lovelace’s program. She designed it to calculate the Bernoulli numbers. To understand what those are, we have to go back a couple millennia to the genesis of one of mathematics’ oldest problems.

It does a nice job getting into just enough detail to make you appreciate what she did. If she were alive today, you could imagine her down the hall grinding away on some problem in Rust (I have a feeling she'd have a strong preference for statically typed languages).
From the article:

> That means that impl Drop for Drain is responsible for making sure that Drain is sound.

This is _wrong_ the Drop impl _must not_ be responsible for making sure Drain is Sound. Drop is not guaranteed to run it must _never_ be relied on for soundness.

I emphasizes the wrong because that is one of the biggest pitfalls in current rust outside of doing some very clever/magic things.

In std the `drain` function guarantees soundness by setting len=0, i.e. making the vector forget about all it's content, i.e. semantically moves all of it's elements from the Vec into the Drain.

The Drop impl. semantically just moves the parts it didn't drain back into the Vec.

I.e. for Drain Drop it's isn't responsible for soundness but for not leaking the non drained elements.

EDIT: To be fair: Otherwise still a good article. Just misses one crucial paragraph.
Do what the Israelis did. Have some officers act as tourists and bait the thieves. Once the phone has been stolen, activate it's charge.

I'm sure it won't take long, for thieves, to stop stealing them.
The kind of battery life you get from these laptops is a step change, in that you go from constantly thinking about the charge on them to not really thinking about it at all. That's a pretty big improvement for most people.

(And it's not like your typical dell reliably lasts 12 or even 8 hours anyway, that's only the best case)
Technological Disruption in the US Labor Market
> I wish other distros documented ways to make it easy to customize the initramfs like this.

Well this is not exactly a documented or "official" way to do things, it's just that Alpine is so darn simple, that producing an elegant but crazy hack doesn't look all too different from wrangling Ubuntu to do a normal, sane thing (like installing Firefox without Snap).

In fact, building an initramfs completely from scratch, with just enough userspace to start doing useful things, is not that difficult. It's just a cpio archive with an arbitrary filesystem layout - you can drop a statically linked executable (name it "/init"), pass -kernel & -initrd to Qemu, and you've got yourself a "hello, world" of embedded/single-purpose Linux.

> I don't like musl for compatibility reasons or RC scripts for managing services

That's the point. You can afford hacks like this because you got rid of all that complexity. musl is simple. RC scripts are simple. NixOS is all but.
First they insisted I like pineapple on pizza, and I did not speak out—because I didn't mind it. Then they insisted I like mushrooms, and I did not speak out—because I was indifferent. Then they insisted I like anchovies, and I did not speak out—because I could tolerate them. Then they insisted I like every topping, and there was no one left to agree with my actual taste.
Similar "lots of microdependencies" issue, born in Rusts case from the desire to keep a conservatively sized standard library. It's a smaller problem in the sense that Rust has stronger API contracts as opposed to the absolute disaster that NodeJS is, but in terms of code comprehension you hit a similar dependency morass.

The one thing salvaging Rust for now is a lack of similar frameworks, but who knows how long that will last.
For what? The simplest possible ISA? Something like an OISC or a ZISC, probably. Simplest "virtual computer"? Maybe the SK(I) combinator system? Specific improvements to this architecture? My personal preference would be to ditch the three arguments that aren't always used, have two 8bit instructions per 16bit word, use a stack (to eliminate the operands). But that's just one mode of thought for a very simple computer, not the only one. This line of thought is particularly inspired by the F18 Forth chips. They're quite minimal, simple, tight CPU designs: https://www.greenarraychips.com/home/documents/greg/DB001-22...
Delivery drivers/taxis just text me when calling fails. The upsides far outweigh the downsides of blocking all calls not in my contacts. Humans and institutions adapt to new normals. Some just slower than others.
The issue isn't using WP. It's maintaining their plugin "Advanced Custom Fields" that automattic had taken over. It's roughly analogous to if the NPM maintainers took over React on NPM. Doesn't stop Facebook from publishing their own version elsewhere but a lot of people will moved over to the new non-facebook version without knowing what's going on.
Yes it’s obvious what he was doing but let’s not pretend it was generous. He had his own idea of justice but it relied on everyone playing along. When he didn’t get his way I got the punishment he could control.
When the public infrastructure is cameras that are constantly broadcasting the people nearby, and the use is saving a frame when you're one of the people nearby, no I do not see that as dishonorable. The intent of the provider only goes so far when it comes to super straightforward uses. And it's not a burden on the system. And if anything, now they're getting permission to take photos of that person in that moment (which is nice even if they don't personally make recordings of the broadcast).
You're right, I was erroneously conflating civil liability with generic personal consequences but the fact stands that the bits of government that have the most ability to act unilaterally in pursuit of doing their jobs without fear of personal consequence are some of the worst behaved.
One thing not mentioned, but I've seen time and time again, is if you buy something, you buy what you think you need/want. You make a decision and live with it.

But if you build it, you can learn that what you wanted wasn't what you thought you needed, and the build can adapt and change to meet that actual need. A bought item/tool will do what it is designed to do, and can sometimes be shoehorned into what you needed, but often what you needed wasn't what you thought you needed.
I'm not sure I have a direct answer, but I agree something shouldn't be called a computer if it just does a one-shot, fixed-length calculation before requiring further human intervention. To be a "computer", and be associated with that general conceptspace, it should be Turing-complete and thus capable of running arbitrarily long (up to the limits of memory and hardware rot).

Earlier comment expressing annoyance at a mislabeling:

https://news.ycombinator.com/item?id=40077408
In another vein, technology could also help us perfectly fit bodies by altering our cells at a molecular level. But if there is no need to move to contribute to the economy, why would anyone do such an expensive thing?

Because it's nice to have the strength when you need it. Also, it protects your body. I developed a bulged disc in my neck from decades of spending too much time at a computer. Muscular balance and variety of movement is critical to maintaining a healthy body. Not to mention benefits like lessening injuries from accidents.
In some cases it is useful, like in Excel where it can generate formulas or describe an approach to a problem. Not different than GH Copilot. The same for MS Power Automate editor AI assistent.

But in other cases like Word or Outlook it is just a louzy summarizer and does not have much added value.
It’s just a difference in taste I think - I for one love this style of writing and the longer the wall of text the better
Does that includes Qingping air monitors?
As the other poster said you are mistaken with how the money is allocated. With that said, the military is not a terrible place to spend money. You know when we say the dollar is backed by the full faith and credit of the US government? What that means is the US can park an aircraft carrier strike group off the coast of any country in the world and project that full faith and credit. It's also an amazing jobs program for the working class. I know a number of people who were only able to attend college because of the GI Bill.

I'm sure there is some waste, but that's true of any large organization.
I think it absolutely was. Even 50+ years ago there was far more competition in any number of industries and investors looking at a particular widget maker could compare numerous companies and analyze the operations and strategy of each before picking which one(s) to invest in. Today we assume EMH when competition has become increasingly rare... so everyone from consumers to investors have fewer options yet somehow efficiency is supposed to exist.

Today most just pile into the megacaps and generally assume 'these guys are the biggest... they must be the best.' Sure, there's a small window of competition in the VC world where money piles into non-public companies for a few years before a winner is selected (often having nothing to do with having the best product/service or even being the most efficient or profitable... it's all about who scaled to the finish line the fastest) and either becomes the 800lb gorilla or gets gobbled up by one.
NeurIPS and Dr. Picard released statement for singling out Chinese scholars
Larry Ellison has that cynical take too, and it made him rich.
Not an expert at all: I wonder if getting the perf requires trading-off some (advertised) safety. IO uring has been noted to be confusing with async in Rust, https://news.ycombinator.com/item?id=41992975

I'm reminded of how Confluent advertised Kafka as a database. They quietly externalized key guarantees of an RDBMS onto their customers, who were then saddled with implementing those guarantees in application level logic. By obscuring the trade-offs, Confluent made developers feel they could have their cake and eat it too.
Thanks for your interest! For now, our generative features are focused on parts. However, the chat feature should be able to guide you through alignment textually. This has worked quite well in our tests with frontier reasoning models e.g. o1.

We’ve prioritized parts to ensure interoperability with SolidWorks, since assemblies are constructed quite differently there. Our goal in the development phase is to provide a uniform experience across CAD softwares.

Given current demand, you can expect to clear the waitlist within 4 weeks.
> I'd like a platform that focuses on face-to-face (video) interaction, including (somehow) with strangers.

You could start today by going on Omegle and carving out a niche as someone who wants thoughtful, reasoned, and substantive discussion.
Is 14B parameters still considered small?
would be usefull to have as a mobile app btw
i'd love to give a try on the free tier once ready
I would bet “similar length + 7 days” so you won’t know about the requirement until after you can’t return it.
Here is what I want from Apple Intelligence:

Given a user story “I chipped my tooth” I say “hey siri, I just chipped my tooth, can you help me?”

I would want it to:
- help me schedule an appointment with my dentist (it could create a reminder, ideally know who my dentist is, even ideally queue up or place a call)

- put that appointment on my home and work calendar

- remind me to tell my manager I need the time away

- help me reschedule any existing appointments

- compose a message to let my partner know

- tell me to try to save the broken bit for my dentist?

At best right now it may give me a Wikipedia entry or make a chipped tooth emoji.

I think Apple started with hardware that can run little LLMs and asked “what can we run on these that people would like?”

They didn’t start with a vision of what novel machine Intelligence feels like for a user, and slowly but thoroughly build a satisfying realization of that new relationship.

I want my phone to want to help me, and keep trying to get better at it. I need it to know when it fails. I want to be empowered to help it get better.
Dawn Song final lecture at LLM class, UC Berkeley two weeks ago

https://understanding-ai-safety.org/
I disagree that it is unsuited for reading.
My fav authors have paragraphs that span multiple pages- this is low calorie fare compared.

It really just depends what you are used to reading
You don't have to have all of them at once, but there's no reason to arbitrarily limit a color from the canvas of pizza.
Yeah defaults suck, but Starter kits have existed for a while: http://xahlee.info/emacs/misc/list_of_emacs_starter_kits.htm...

For me at least it took a few weeks initially to get a set up I liked but then have barely touched it in ~15 years. I suspect "better defaults" won't happen because it's not a continuing problem users have - like maybe you think about it when you're in the initial setup, but then it becomes less important to any developers.

It's an advanced tool, and typically advanced tools don't come out of the box ready to go.
Are you kidding?

TikTok is one of the easiest platforms to create for, and look at how much human attention it has sucked up.

The attention/dopamine magnet is accelerating its transformation into a gravitational singularity for human minds.
Anything new is going to have people poking and prodding at it. It doesn't mean that the concept is 'bad'.

Linux has desperately needed an interface like io_uring for decades. Async IO was in Windows NT 3.1 in 1993.
I just don’t see why you would go for this when you can buy a m3/m4 Mac with a fully functional ecosystem.
You're giving them the benefit of the doubt here. In my experience, not only are they greedy, but they're also inept and lazy.
I don't think I really want a higher-tech donut than there was in 1982 anyway.
I definitely agree with the idea that social media has created a bunch of "odd" groups and a ton of division, but sometimes I wonder what the alternative is.

It seems like prior to social media we had mass media and that served as basically the forcing function, there was a more national concept of shame.

Nowadays the concept of social shaming doesn't really work because you have competing factions with belief systems that are so far apart that all you really get is shaming "within the group".
There's a lot of overlap between the anime fan "weeb" group and the hobby programmer group.

And it's funny because, there are almost no anime about programming.

Like the pictures of the feminine person ordering a ticket for Oppenheimer and the tough scary person ordering a ticket for Barbie
If this is what being rich does to you, I don't want to be rich.
I've seen these claims for years at this point but I never see concrete examples. It's all just vibes.

Part of the problem I think is that people have decided that if they see any ad, it's a bad search. That's my working theory anyway.

As an example, I just searched "How to fix a leaky faucet" across multiple search engines and on Google (both logged in and fresh and without ad blockers) and on Google I pretty much consistently get:

- Home Depot link

- People also ask...

- List of videos on the subject

- Lowe's link

- This Old House link

- Discussion and forums

Now, I half expected there to be ads for plumbers in my area on this page. That, to me, would be a completely legitimate ad in addition to organic search results.

After years, I've yet to see any of these claims that go anything beyond "vibes".
It's insane that they never carved out any provisions for "non big-tech".

I feel like the whole time this was being argued and passed, everyone in power just considered the internet to be the major social media sites and never considered that a single person or smaller group will run a site.

IMO I think that you're going to get two groups of poeple emerge from this. One group will just shut down their sites to avoid running a fowl of the rules and the other group will go the "go fuck yourself" route and continue to host anonymously.