MurphyA/hacker-news huggingface dataset:
by btown | 2025-05-11 19:31:19+00:00
There was actually quite a heated debate on this during the New Deal in the 1930s, where federal regulations and federal public works projects were often scoped to have highly localized impacts.

Wickard v. Filburn, for instance, upheld in 1942 that the federal government could use the Commerce Clause to regulate even a single farmer's output, on the basis that its impact on pricing, viewed in the aggregate, could affect interstate commerce: https://www.oyez.org/cases/1940-1955/317us111

And in this Rhode Island situation, Congress did indeed authorize this exact type of highly-localized program: https://www.law.cornell.edu/uscode/text/42/7438

If the federal government wants to use its resources to reduce food waste, in service of a nationwide fiscal policy to allow household funds that would otherwise go towards food waste to re-enter the economy, that's arguably largely within its purview. Because there's no national infrastructure or standards, action has to begin locally, if this is indeed the goal.

This interstate commercial framing, in fact, was at the center of the first Trump administration's food waste initiatives, which laid the groundwork for this program: https://www.wastedive.com/news/trump-administration-unveils-...

> “In one sense, this is a problem derived from America’s incredible achievements in agriculture and technology,” said [Trump's] EPA Administrator Andrew Wheeler at an April 9 [2019] event, going on to recount a story about former Russian President Boris Yeltsin’s surprise when he saw the bounty of a Texas grocery store in 1989. “Together, we can promote American prosperity and turn wasted food into solutions that can feed America’s communities, fuel our economy and maximize our resources.”

Whether or not specific pilot programs like the one mentioned in OP are the optimal way to implement that goal, of course, is a different question entirely. But at least they were trying to start somewhere.

(Not a lawyer, this is not legal advice.)
by gambiting | 2025-05-11 19:31:51+00:00
The problem is that TikTok/Instagram Reels have taken everything. The engineered crack that is the most addictive thing ever takes every second of our attention so it leaves no time to do anything - no "proper" journalism, no books, no films, even YouTube is too long format for someone addicted to TikTok. It's actual catastrophe of attention spans.
by russell_h | 2025-05-11 19:31:52+00:00
I don't quite understand the goal of this project.

It says they're preventing 15,000 tons of emissions, but there are all kinds of ways to prevent or offset greenhouse gas emissions for under $10/ton. So at a glance this project appears to be allowing almost 2 million tons in preventible emissions in order to... pay people to bike around and collect food scraps?
by mdp2021 | 2025-05-11 19:32:50+00:00
We understand from some (e.g. a communication discussed Gary Marcus a few hours ago) that the intention behind the chosen name "Leo" is to state a continuity with Leo XIII, seemingly as times are seen akin to those which solicited the open letter "Rerum novarum", "on the condition of the working classes ... to define the relative rights and mutual duties of the rich and of the poor, of capital and of labor ... [as] the spirit of revolutionary change [... has] made its influence felt in the... sphere of practical economics".

There seems to be an assumption that we are living times of critical technical change. Also see https://www.independent.co.uk/news/world/europe/pope-leo-xiv...

> On Saturday Leo pointed out the similarity with AI, telling cardinals: “In our own day, the church offers everyone the treasury of its social teaching in response to another industrial revolution and to developments in the field of artificial intelligence that pose new challenges for the defence of human dignity, justice and labour”. [...] His greatest alarm was devoted to the use of AI in the armaments sector, which he said has seen remote weapons systems leading to a “distancing from the immense tragedy of war and a lessened perception of the devastation caused by those weapons systems and the burden of responsibility for their use”.
by crystal_revenge | 2025-05-11 19:32:58+00:00
I'm also from the before times, and still think one of the major issues with all of this is that we've decided to build a global application ecosystem by hacking stuff on top of a document format.

HTML was supposed to just a slight markup layer to make it easier to transit and render text documents, likewise that's all HTTP was designed for. The ratio of text-to-markup should be fairly high (I'm sure today it's less than 1). But for some reason (probably the initial ease of publishing globally) we decided that the future of application development should be to entirely reinvent GUIs to be built on top of this layer. If you look under the hood at what React is doing, we just have decades of hacks and tricks well organized to create the illusion that this is a rational way to create UIs.

Imagine a world where we decided we wanted to create applications by hacking Excel documents and Visual Basic (being from the before times, I had seen attempts at this), or have every app be a PDF file making clever use of PostScript? When one remembers how ridiculous it is to attempt to do what we have collectively done, it's not too surprising that a website can require megabytes of JS to render properly and, more importantly, to allow reasonable development processes allowing for some organization of the code base.
by BobaFloutist | 2025-05-11 19:33:00+00:00
Yeah all I want is something that holds the phone and gives it a USB-C port that charges it, lets me play media through it, and lets buttons on the wheel control the phone (volume, next/previous, and programmable go forward/back x seconds buttons).

USB-C is so powerful, it can do everything Bluetooth does while charging, but for some reason that's just not an option in a lot of cars? Make it make sense.
by aristofun | 2025-05-11 19:33:04+00:00
All the founders I know (warning - not many, so take it with the grain of salt) a) don’t waste time on mingling with random people b) more than happy to chat and connect with anyone with a specific goal explained upfront. As long ad this goal is relevant to their current or future work.

“Bouncing off ideas” or “coffee chat” may sound not like a waste of time only if your work is very relevant to other founder’s work (like you are a head of competing product, or a professional with unique skillset they are looking for).

People are busy building things.
by disambiguation | 2025-05-11 19:33:42+00:00
Eh I don't think I would commit to vibe coding something I don't understand. I don't know enough about prolog to know if the idea is truly plausible - or as another commenter suggested, less than ideal compared to other solvers. And I don't know enough to steer it in the right direction either. I'd rather sit down and learn it the right way first.
by rustcleaner | 2025-05-11 19:33:47+00:00
Maybe we'll get smart and just install Hyphanet (Freenet). Only thing it needs done to be perfect (imo) is to duplicate the opennet code, make it all TCP only, and swap every IP address field for a .onion address field, and call this new opennet onionnet. He who has the key gets the file anonymously!
by rolph | 2025-05-11 19:33:52+00:00
default settings on most BT clients allow uploads, however that can be changed. the biggest reason for infringment notice nowadays, seems to be IP monitoring of pirate sites, trackers and swarm/DHT for "obvious" behaviour.

of course, IP is recycled across many users, and connecting to these BT resources is not proof of piracy, the very practice of monitoring, is undeniable proof,that connectivity, != undeniable proof of piracy, so you have to offer fake BT pieces, then request download to confirm data is being moved, and argue this is indication of intent.

meanwhile you have to argue that buffer content of a video player, is not downloaded, and there is no right to access those memory ranges on your own system.
by cibyr | 2025-05-11 19:34:41+00:00
The threat is not exactly zero. In some cases, thieves can get physical access to the bus from outside the car, and then inject messages to unlock it, start the engine, and drive away: https://kentindell.github.io/2023/04/03/can-injection/

Sure someone in that situation could also "just cut brakes or put in a pipe bomb" but car theft is a lot more common than assassination, at least where I live.
by skrebbel | 2025-05-11 19:35:33+00:00
And they're right! IMO Lit is a marvel of engineering. I think the goal they set themselves (make it easier to build an entire app out of web components) is silly, but given that goal, they hit a total homerun. It's fast, the compiler is very optional (not using it just means a bit more boilerplate around attributes etc - it's not like using React without a JSX compiler or something), lit-html is a genius alternative to virtual DOMs, etc. The custom html syntax, IMO, is super useful too (eg it lets you workaround The Attribute Mess by passing data straight to properties, as you would in any sane non-web-component framework). And it's a lot closer to regular HTML than eg React's custom HTML syntax (JSX).
by zyntraxis | 2025-05-11 19:35:49+00:00
You're absolutely right — Conan with a conanfile.txt and minimal CMake can be very concise. And for people already familiar with CMake/Conan, that setup works well.

But here's the key difference:

> In your CMakeLists.txt, when you write find_package(somelib), that only works if the library is already installed and registered properly in the CMake package registry or via a Conan toolchain. Otherwise, you still have to configure remotes, run conan install, deal with CMake toolchain files, set CMAKE_PREFIX_PATH, etc.

With Zyn, there's no need to install or configure anything manually

Zyn:

Clones the repo

Builds it

Links it to your project

Works cross-platform, without needing the library to be "findable" in the system or Conan cache.

So in short: Zyn handles the fetch/build/link pipeline completely, using just the GitHub URL. No find_package, no system-wide installs, no registry or remotes — which makes it extremely easy for quick experiments, hobby projects, or internal tools.

We're not saying Conan is bad — it's powerful, and necessary for big projects. But Zyn aims to remove all friction for the common case.
by gambiting | 2025-05-11 19:36:21+00:00
I mean I have that already, a Volkswagen E-Up that has a cradle for a phone with a USB port behind it for charging. They even have an app that connects to your car directly(through Bluetooth! No fancy subscription based nonsense) and shows you all charging/energy consumption figures.

I just mean I'd totally buy a much higher end car that is like this, I don't need a screen with all the nonsense on it.
by sega_sai | 2025-05-11 19:36:23+00:00
Interesting. I always wanted to try Lean, and personally never found an easy way to do it, as it requires installing a plugin in vscode, create a project or reading the lean book. But following the links I've found this nice interactive tutorial for proving 2+2=4 in Peano arithmetic:

https://adam.math.hhu.de/#/g/leanprover-community/nng4/

It's quite instructive.
by solardev | 2025-05-11 19:36:27+00:00
Probably not, if it's just another Chromium reskin. Lack of Manifestv2 / uBlock Origin support would be a dealbreaker, as would a solo dev browser project (too much potential for security issues).

Are you writing your own renderer too?

I'd only consider another browser if it were either open source and/or maintained by a company or org I kinda trust. Definitely not a single dev. And it'd preferably be Webkit and not Blink/Chromium based. E.g. I'd consider using Ladybird or Kagi's Orion once they're a bit more mature.

Local AI integration is a turnoff too. I want my browser to be simple and stable, not chase every FOMO fashion trend.
by zyntraxis | 2025-05-11 19:36:28+00:00
You're absolutely right — Conan with a conanfile.txt and minimal CMake can be very concise. And for people already familiar with CMake/Conan, that setup works well. But here's the key difference:

> In your CMakeLists.txt, when you write find_package(somelib), that only works if the library is already installed and registered properly in the CMake package registry or via a Conan toolchain. Otherwise, you still have to configure remotes, run conan install, deal with CMake toolchain files, set CMAKE_PREFIX_PATH, etc.

With Zyn, there's no need to install or configure anything manually

Zyn:

Clones the repo

Builds it

Links it to your project

Works cross-platform, without needing the library to be "findable" in the system or Conan cache.

So in short: Zyn handles the fetch/build/link pipeline completely, using just the GitHub URL. No find_package, no system-wide installs, no registry or remotes — which makes it extremely easy for quick experiments, hobby projects, or internal tools.

We're not saying Conan is bad — it's powerful, and necessary for big projects. But Zyn aims to remove all friction for the common case.
by pohuing | 2025-05-11 19:36:53+00:00
What cempler said. I tried the dongle approach when the jack in my pixel 4a was failing but found I didn't like it. Having the cable go out the bottom in the center is a terrible place for me, as I rest my phone on my outstretched pinky. The zenfone ticked all boxes on paper and in reviews. Great chipset, solid build, a form factor fitting my tiny hands(though in retrospect it's so heavy that my pinky hurts after a couple hours of reading). And a headphone jack which I use to plug my phone in my stereo and my Sennheiser headphones. Really the jack is the primary reason I got this phone. Coupled by the fact that until now all zenfones had a hassle boot loader unlock and a decent rom community it really was the best choice on paper. God damn it Asus, I wasn't aware they're that dodgy :/
by yieldcrv | 2025-05-11 19:38:48+00:00
“Paying dues” is a waste of everyone’s time and the productivity of the market. It means one node of the market was underutilized, purely for ego.

One thing I like about being closer to market oriented trades (or directly trading) is that your compensating is immediately based in the utility you provide. Like in financial services if you provide a service is based on the volume and your toll on that volume.

But yes if you dint have opportunities, like the knowledge, capital and flexibility to leverage it, then there’s entry level grunt work remaining.
by bombcar | 2025-05-11 19:38:56+00:00
It's the latency that kills me. Let alone the stupid "you're an idiot if you let this screen distract and kill you" message that pops up, it seems to take a good 10+ seconds to sync with the phone and "come alive".

This is with USB, too.

I want the car to start and CarPlay to be operational; we have no time to be wasting on whatever formalities software wants to have.

Maybe someday wireless CarPlay could start syncing with the system before you even get to the car, so it's already loaded when you sit down and start.
by AStonesThrow | 2025-05-11 19:39:00+00:00
Interestingly, I was going over this with my mother yesterday. I have enjoyed some renewed interest in astronomy, and I've chosen to ignore "traditional tropical astrology" in terms of the traditional dates of "Sun signs". Instead, I'm going by the actual IAU-defined boundaries of the actual constellations, to determine the location of the Sun and other "astrological planets" at a given time. The apps I'm using, particularly Stellarium, support this identification by default.

So just looking at Robert Prevost's birthday: Sept. 14, 1955, the Sun was actually in the IAU constellation of Leo at that time, and shall be, going forward from there. So it is very interesting.

I doubt a Pope ever has a singular reason for choosing his regnal name, and while the influence of Leo XIII is undeniable, the enduring meanings and connotations of the name "Leo" also can't be ignored here. Ultimately it means "the lion" and, for me personally, this is a very exciting time to be alive, for both me and others!
by ijustlovemath | 2025-05-11 19:39:03+00:00
I've been using a Brondell Thinline for just over 5 years now; It's got a great design (accidentally bumping into it turns it onto the clean rather than spray mode), looks like it's part of the toilet (unlike the vast majority of the ones you see on Amazon), and very easy to use. Cheap as well!

People who haven't used a bidet before balk at the cold water, but honestly I think when you really need a bidet, the cold water is a godsend. And if you want heat, I think just throwing in more pressure does the same kinda job. Plus it's one less set of valves to have to worry about!

If you really hate it, you're only out $30, which I think is not that bad.
by pohuing | 2025-05-11 19:39:24+00:00
I'm in Germany which makes it a bit harder. Someone in the UK went through the trouble and all they got was an offer for a refund or an insanely outpriced option to downgrade the os iirc.

About the lie, they've repeated multiple times this would be an option a year ago...

See https://www.reddit.com/r/zenfone/comments/1ccy11g/asus_is_wo...
by jasonlantz | 2025-05-11 19:39:43+00:00
I've been on an exploration over the last ~9 months that started from entirely practical goals, better CI/CD for Salesforce, through a cross-domain journey to peak abstraction and back.

My starting goal was to build Busbar, an evolution of the concepts of CumulusCI I created/led at Salesforce.org, a new model of delivery where the composable delivery recipes or patterns themselves were the product, not the packaged artifact.

We did some amazing things with CumulusCI over the last decade. But it still remained locked in its silo within a silo. And, it was more a prototype of the vision for true Composable Delivery.

I quickly came to realize what was lacking was a truly declarative, truly compositional language for building "config", or really n-D complexity Contexts. And that our current type systems weren't built to handle.

I'll be sharing more in the coming days about the code side proof, now built in Rust, I've been hacking away at for months now. Both Busbar, and its first module Typesynth, will be coming to GitHub as open source soon!

This blog is about the abstract theory discovered and evolved along the way. Hopefully it might spark your own discovery of a flipped bit and allow you to escape its vector gravity.

- Jason
by rsync | 2025-05-11 19:40:07+00:00
"Sorry high schoolers, $70k a year is not happening - this kid is privileged as fuck."

My oldest son is 17 years old and graduated one semester early from high school.

He now works full-time as a welder and heavy equipment mechanic with a base rate of $25/hour and will get many, many hours of overtime this summer.

He will easily gross > 70k this year.

Granted, this is in the Bay Area (so add some inflation there) and he has certain physical and interpersonal attributes[1] that make him special ... but this is, indeed, happening and my impression is that it would be repeatable for others like him.

FWIW, he's very proud of himself and we're very proud of him but ... we're also trying to impress upon him that wages - however high - are not a path to wealth and security. Owning things is[2].

[1] He's a big strong guy, projects as aged 20+ and is very outgoing and charismatic.

[2] https://en.wikipedia.org/wiki/Capital_in_the_Twenty-First_Ce...
by fn-mote | 2025-05-11 19:40:21+00:00
> Almost every car on the road today has an unsecured bus going back to like the 1980s. However you need to actually access the car to do something malicious

See [1] from 2023, where popping the headlight gives access to the bus. Lack of internal security then gives a way to steal the car.

The threat just isn't the same as the one you are modeling.

Security will come eventually, if only to prevent bad publicity.

[1]: https://arstechnica.com/information-technology/2023/04/crook...

ETA: Just as the sibling says...
by apical_dendrite | 2025-05-11 19:40:22+00:00
That's how most federal programs work. Congress appropriates the money, a federal agency defines requirements, and then states, cities, or non-governmental entities apply for grants.

For example, my city is trying to build a bridge. There's a particular federal program for this (which will probably get killed by Trump), so the city applied for funding and now it's their job to build the bridge.
by cryptonector | 2025-05-11 19:40:26+00:00
Thanks. I went looking and saw this in the Fil-C manifesto:

> It's even possible to allocate memory using malloc from within a signal handler (which is necessary because Fil-C heap-allocates stack allocations).

Hmm, really? All stack allocations are heap-allocated? Doesn't that make Fil-C super slow? Is there no way to do stack allocation? Or did I misread what you meant by 'stack allocations'?
by vvanders | 2025-05-11 19:40:36+00:00
One capability mechanism that's in wide use but not really well known or touched on in the article is Androids RPC mechanism, Binder(and a lot of the history predates Android from what I recall).

Binder handles work just like object capabilities, you can only use what's sent to you and process can delegate out other binder handles.

Android hides most of this behind their permission model but the capability still exist and can be implemented by anyone in the system.
by eviks | 2025-05-11 19:41:04+00:00
So it's not "because of reason A, B, C", but just "A", and "small which would enable miniaturization" is also not "non sequitur", let alone "complete".

By the way, the "B" was the ability to "target individual qubits more easily". In what way is this "complete non sequitur"

And you also "forgot" to specify "why these new devices are useful" so that we can't check whether she even mentioned it to asses whether she has no idea (is it interconnectedness of the modular systems ("C"), single-step ease of transfer on the CMOS, compatibility with modern semiconductor fab processes, remote control, something else entirely?)

> while pretending to be an expert

Where was that? Could you link to her statement pretending to be an expert on quantum computing?

> that it is just exhausting to argue about it.

Indeed, it's much easier be very vague in your arguments, because then you can't verify any claims and don't have to respond to when such verification fails to match
by crystal_revenge | 2025-05-11 19:41:17+00:00
I shouldn't be surprised that we still see this standard climate denial logic, but it's worth pointing out that your logic here is not particularly strong. The problem with this line of reasoning is it takes the assumption that all we have is measurements without any real understanding of the process that's happening to cause those measurements.

Sure, if we knew nothing about Earth's climate (and also didn't have plenty of other ways to measure historic sea level), only having 50 years of measurements might be misleading. But we know that sea level is rising and we know why it is rising. We have a very strong hypothesis as to what's happening and we see this hypothesis confirmed again and again across a very wide range of subjects that otherwise have no relation to one another.

On top of this, we do have plenty of other measurements for historical sea levels that all indicated yes, sea level is raising they just aren't perfectly apples-to-apples "actual measurements" so it wouldn't be perfectly honest to include them in this chart.
by throwitaway1123 | 2025-05-11 19:41:40+00:00
> you have to explicitly specify mode: open

The mode does not toggle the shadow DOM on and off. It just specifies whether or not the element's shadowRoot object is a public property. An open mode makes this possible: `document.querySelector('my-component').shadowRoot`.

You have to explicitly opt-in to the shadow DOM either imperatively by calling `attachShadow`, or declaratively in HTML by giving the element a template child element with a `shadowrootmode` attribute.