MurphyA/hacker-news huggingface dataset:
by esseph | 2025-06-16 01:11:44+00:00
Biggest reason is that docker / podman/OCI are very different architectures and security models.

I hope there is something new. The tooling and deployment fragmentation is a nightmare.

From a security and open standards pov, we maybe should be moving to podman/OCI.

The docker tooling was often focused on the dev experience and it showed, but it wasn't a system with a good security model and this transition is a large part of that pain.
by WalterBright | 2025-06-16 01:12:39+00:00
> But massive wealth consolidation isn't doing anything for you when the rest of us are fighting over the scraps.

This is the "fixed pie" view of the economy, i.e. if someone has more, that means others have less. That may be true of socialism, but in free markets it is not true at all.

Wealthy people create wealth, they do not "consolidate" it.

If I go to Home Depot, buy some wood, make a table and sell it to you I created wealth, I didn't take it from you. If you planted an apple tree, harvested apples and traded them for the table, you didn't take wealth from me - you created the wealth.
by cardanome | 2025-06-16 01:15:17+00:00
> There's no simpler language. There simply cannot be, because there's nothing "extra" in LISP. It's the most compact (while still being human readable) way to define and/or call functions.

I guess you have not gotten into stack or array programming languages yet?

Forth is insanely compact and then there is APL which is a complete other ballpark.

Or check out Rebol for a homoiconic language in a very different syntax.

Lisp is amazing but oh boy there is whole other world out there. It is just one possible local optima. One that I personally love but not the only one.
by ysavir | 2025-06-16 01:15:50+00:00
There's a lot of TV shows out there, even in the 80s and 90s, and plenty of ways for celebrities to have their image and reputation bolstered. Ratings aren't reliable in trying to measure someone's notoriety.

Growing up in the late 80s/90s, and mostly outside of the US, I can't remember a time when I didn't know who Bob Ross was.
by geokon | 2025-06-16 01:16:43+00:00
Dependency management is a solved problem in the C/C++ world.

It all should be done from within CMake using Hunter. They handle diamond dependencies correctly (everyone else just yolos it), they handle "package registry" correctly, ie git repos + hash verification. They handle tool chain files and forwarding of compilation flags correctly. I had a library building for like a dozen targets with it (including crazy stuff like iOS 9)
by cryptonector | 2025-06-16 01:22:09+00:00
> test.cpp:70:14: error: assigning to 'void ' from 'func0Ptr' (aka 'void ()(void *)') converts between void pointer and function pointer 70 | res.fn = (func0Ptr)fn;

This warning is stupid. It's part of the "we reserve the right to change the size of function pointers some day so that we can haz closures, so you can't assume that function pointers and data pointers are the same size m'kay?" silliness. And it is silly: because the C and C++ committees will never be able to change the size of function pointers, not backwards-compatibly. It's not that I don't wish they could. It's that they can't.
by geokon | 2025-06-16 01:22:36+00:00
I think this was maybe true a decade ago...

Having to contact them to get a license is a pain, and in benchmarks there are on-par or better libraries available. The tuning steps are baroque and if you really care about performance that much.. You'd probably look at GPU solutions

Are you expecting to do the tuning step during the build?

Last I checked their arm support was terrible.. But maybe that's changed
Show HN: Turn any video into searchable notes in your Obsidian vault
by jenga-code | 2025-06-16 01:22:42+00:00
I was spending hours manually taking screenshots and timestamps from technical videos, then formatting them into my Obsidian vault. Figured there had to be a better way. Built a Chrome extension that:

- Allows you to capture video screenshots in one - Generates structured notes using a multi modal LLM - Saves everything directly to your Obsidian vault - Works on YouTube, Coursera, anywhere videos play

The extension currently uses whisper and gemini model API. Notes are saved as proper markdown files that integrate seamlessly with your existing Obsidian workflow or any other markdown app. Free tier gives you ~20 minutes of AI video processing to try it out. All features except AI notes taking are free.

This will help if you are I was tired of:

- Rewatching lectures to find just one screenshot-able moment - Doing Manual screenshot → crop → save → import workflows - Losing context around why you saved something - Having video knowledge trapped in so many different folders instead of one place like Obsidian

Would love feedback from the community, especially other Obsidian users who've built similar workflows. Try it: https://chromewebstore.google.com/detail/obsidian-ai-video-n...
by Full_Clark | 2025-06-16 01:23:00+00:00
> The work may be niche, but the impact could be high. About 1 percent of SF6 leaks from electrical equipment. In 2018, that translated to 8,200 tonnes of SF6 emitted globally, accounting for about 1 percent of the global-warming value that year.

This figure is for the electricity sector only, not overall global emissions. Still, considering the sheer volume of CO2 puffing up from power stations, it's impressive that the normal operation of SF6 breakers accounts for an integer percentage of their GHG impact.

----

Global emissions were 53 Gt CO2 equivalent in 2023 [0]. 38% of CO2 emissions are attributed to the electricity sector in 2023. [1] This figure seems to be strictly CO2, not including other GHG, and I can't quickly find a sector-by-sector breakdown for that year. Per IPCC reports in 2022, electricity production and heating accounted for 34% of global GHG in 2019 [2], so for back-of-the-envelope math, it's reasonable.

Per the article, the GHG impact of SF6 is 25k CO2, so 8.2k tons SF6 emitted annually is 205 million tons CO2e. This is 0.39% of 53 Gt CO2e (the global value), or nearly exactly 1% of the electricity sector's 38% share.

[0] https://www.statista.com/statistics/1285502/annual-global-gr... [1] https://www.statista.com/statistics/1129656/global-share-of-... [2] https://www.epa.gov/ghgemissions/global-greenhouse-gas-overv...

edit: replaced typos of C02 with correct CO2
by anordin95 | 2025-06-16 01:23:15+00:00
Surprisingly, it appears TechCrunch's analysis regarding price ratios and trip distance is a bit off!

From the article: "This was true of the Uber and Lyft rides, too. But Obi found the shortest Waymo rides were priced 41.48% and 31.12% higher than Uber and Lyft, respectively. That gap shrunk as the rides got longer. In rides lasting between 4.3 km and 9.3 km, a Lyft cost $2.60 per km, an Uber cost $2.90 per km, and a Waymo cost $3.50 per km."

Relative increase in cost of Waymo vs. Lyft by trip-distance (inferred from the article's chart):

0.1 - 1.4km: 40%

1.4 - 2.2km: 45%

2.2 - 2.9km: 46%

2.9 - 4.3km: 39%

4.3 - 9.3km: 35%

That seems like pretty minor fluctuation and even then it doesn't entirely fit the pattern TechCrunch described.
by dlcarrier | 2025-06-16 01:24:39+00:00
No

I just want a web browser that doesn't need to be restarted occasionally, to avoid slowdowns.

In both Blink and Gecko engines, if I don't close and re-open the web browser after 100 or so hours of use, I can close everything but a single tab in a single window, and it'll be laggy, but if I restart it and restore to the same tabs, it's perfectly fine.
by norir | 2025-06-16 01:26:45+00:00
It's interesting that you say this because I have been doing exactly this over the last few years using only the voice and body percussion. There are small groups all over the us (and world) doing vocal improvisation for free or at very low cost. It is the most quietly radical thing that I do as well as the most life affirming. I am convinced that if a critical mass of people begin to sing together, it has the power to radically change our world for the better.

Singing is our birthright. Unfortunately, I think that the music industry, for all the wonderful gems it has produced, has actually made the world a more musically impoverished place in many respects because of the way it has wrongly divided us into a small minority of musicians and a huge majority of passive listeners.
by kragen | 2025-06-16 01:27:39+00:00
Thank you for doing these calculations! 0.39% of anthropogenic global warming is surprisingly large, but it doesn't sound like a big impact to me. I mean, it sounds like about the same greenhouse effect impact as the San Bernardino metropolitan area (5 million people) or the Chongqing metropolitan area (12 million people).

Retric: I regret not having responded in time to your comments, which I agree with.
by cardanome | 2025-06-16 01:30:53+00:00
Written languages are not static. You can absolute introduce your own vocabulary and grammar. Yes, you might become harder to understand for someone unfamiliar with it but so can get a Lisp program when macros are over used. It is an art after all.

This is especially insane when talking about English. What English? American English? What group? African-American English that introduces whole new grammatical concepts? Indian English? Even two people grown an raised in London can have wildly different ways of speaking depending on their class backgrounds and many other factors. There isn't one English.

And it is ever evolving. Shakespeare English is vastly different than 21st century English. In fact Shakespeare himself invented roughly 1.7k words that we still use today.
by lotsofpulp | 2025-06-16 01:32:42+00:00
> I'm not optimistic about our ability to coordinate the entire species to all suddenly start spending a bunch of money on each other instead of our own groups

The opposite needs to happen. Less consumption needed, overall. Less spending. It kind of already is, via lower and lower total fertility rates. Might not be declining quickly enough to cause sufficient decline in consumption.
by toomuchtodo | 2025-06-16 01:32:43+00:00
Greenpeace used to drop boulders into the ocean to prevent bottom trawling circa 2021-2022. Unsure if they still do. Fairly straightforward to solve for if you’re willing to drop chunks of rock (granite, non reactive) or concrete in the ocean at the right spots.

Bans are nice, destructive force against adversaries works better though. Hard to take the selfish out of the human, so you have to engineer systems accordingly.

https://www.greenpeace.org.uk/news/live-greenpeace-boulders-...

https://www.cambridge.org/core/journals/journal-of-the-marin...
by kochikame | 2025-06-16 01:33:01+00:00
I live in Japna and have a high-intermediate level of Japanese. I wish I had been able to read and think about these well-expressed observations when I was just starting out as it would have saved me from having to intuit things over time.

Like Cure Dolly writes, no one tells you what you really need to know when you're learning Japanese (all languages?)
by charleslmunger | 2025-06-16 01:33:31+00:00
I simulated yours vs the UPB arena fast path:

https://godbolt.org/z/1oTrv1Y58

Messing with it a bit, it seems like yours has a slightly shorter dependency chain due to loading the two members separately, where UPB loads them as a pair (as it needs both in order to determine how much size is available). Also seems to have less register pressure. I think that's because yours bumps down. UPB's supports in place forward extension, so it needs to bump up.

If you added branch hints to signal to the compiler that your slow path is not often hit, you might see some improvement (although if you have PGO it should already do this). These paths could also be good candidates for the `preserve_most` calling convention.

However, there is an unfortunate compiler behavior here for both implementations - it doesn't track whether the slow path (which is not inlined, and clobbers the pointers) was actually hit, so it reloads on the hot path, for both approaches. Unfortunately this means that a sequence of allocations will store and load the arena pointers repeatedly, when ideally they'd keep the current position in a register on the hot path and refill that register after clobbering in the cold path.
by akdev1l | 2025-06-16 01:34:16+00:00
It’s not a warning, it’s a compile time error and I am not even using -Wall -Werror

I also believe there are platforms where a function pointer and a data pointer are not the same but idk about such esoteric platforms first hand (seems Itanium had that: https://stackoverflow.com/questions/36645660/why-cant-i-cast...)

Though my point was only that this code will not compile as is with whatever clang Apple ships*

I am not really sure how to get it to compile tbqh

Some further research ( https://www.kdab.com/how-to-cast-a-function-pointer-to-a-voi...) suggest it should be done like so:

> auto fptr = &f; void a = reinterpret_cast<void &>(fptr);

edit: I tried with GCC 15 and that compiled successfully
by ben_pfaff | 2025-06-16 01:34:44+00:00
> Main downside I found when testing Feldera is that their SQL dialect has a bunch of limitations inherited from Apache Calcite

At Feldera, we're adding features to our SQL over time, by contributing them upstream to Calcite, making it better for everyone. Mihai Budiu, who is the author of the Feldera SQL compiler, is a Calcite committer.
by btilly | 2025-06-16 01:34:47+00:00
We definitely are talking past each other.

The existence of a Gödel number in a model of PA, does not imply the existence of a proof corresponding to that Gödel number. PA can only prove the existence of the Gödel number.

Now consider a function, definable from PA, named prove-gn. It is defined such that (prove-gn n) is the Gödel number for a proof from PA that G(n) terminates. This function is somewhat complicated, but it absolutely can be constructed. And from PA we can prove that the function works as advertised.

Suppose that we are in a nonstandard model of PA. For every standard natural n, (prove-gn n) will be a standard natural, and will correspond to an actual proof. So far, so good.

But any nonstandard natural n, and this model has many, will result in (prove-gn n) being a nonstandard natural. That Gödel number does not correspond to a valid proof. And therefore, in this model, PA will prove that it proves a statement, that it does not actually prove.

Therefore, from PA, we may prove that PA proves a statement, even though it does not prove that statement. In fact the statement may even be false. And absolutely none of this causes any contradiction or consistency problem, so long as the statement in question is a statement about a nonstandard natural number, and not a standard one.

Because there is no way from PA to determine if we are in the standard model, or a nonstandard model, from PA we cannot conclude that "PA proves that it proves" implies "PA proves". They really are different concepts. And we will cause ourselves no end of confusion if we confuse them.
by AlotOfReading | 2025-06-16 01:37:53+00:00
This already exists at thousands of local music venues around the world. It doesn't pay enough to live reasonably on, which is obvious if you just look at the numbers. Even with a megastar ticket price of $300*(50 attendees), a single show barely moves the needle on living expenses once split amongst a band. You need to do perform again and again, to the point where you can't charge $300/ticket. That's basically a residency, which is common in places like Vegas for artists at the end of their career. If you tour instead, your costs go up massively.
by no_circuit | 2025-06-16 01:41:40+00:00
I wouldn't recommend Cargo as something to copy for a real project, even though I've a fan of and have been using Rust exclusively lately. It suffers from not being able to handle global features without manually/conditionally propagating features to dependencies, as well as not being able to propagate metadata to dependencies without abusing the links functionality.

Why is that important? Well that's useful if you want something like json/serde or not in all transitive dependencies for a particular artifact you are generating like a library or a binary. That applies for other configurability that C/C++ developers bake into their libraries too.

Is this an educational learning experience as part of Hackclub which is a linked organization on your GitHub profile? Whether or not if so, trying to build this will be a good learning experience.

Think beyond just C/C++ and maybe Rust...

The entire set of ideas of things to implement is just to look at the feature set of Bazel and Buck 2 (which happens to also be written in Rust). Those offer functionality to build complete products in any language, locally or distributed across a build farm of servers, and glue them all together in any format. For example you can't build a multi-arch OCI/Docker container image for a Rust-binary server in a single command with Cargo.

Except for the initial learning curve, using them could be as simple as including their "build" files in your published git repo. No central repository needed.

https://github.com/hackclub https://bazel.build/about/why https://buck2.build/docs/about/why/
by potholereseller | 2025-06-16 01:45:38+00:00
Everytime news like this comes up, I'm never affected. I'm using uBlock Origin. Is there something unique about uBlock Origin? Are other adblockers easily noticed by YouTube?

TFA mentions complaints from users of Brave browser, which appears to use it's own bespoke ad-blocker [0]. It includes some filters from uBlock Origin [1], but these files are six years old. Are those filters updated at runtime (e.g. from [2], [3], [4], [5])? If so, then why include old filters in the repo? Surely, Brave isn't using six year old filters.

[0] https://github.com/brave/adblock-rust

[1] https://github.com/brave/adblock-rust/tree/master/data/uBloc...

[2] https://easylist.to/

[3] https://github.com/uBlockOrigin/uAssets/tree/master/filters

[4] https://gitlab.com/malware-filter/urlhaus-filter#malicious-u...

[5] https://pgl.yoyo.org/adservers/
by flopsamjetsam | 2025-06-16 01:46:42+00:00
Looks like publicly-available data.

> OpenGenome2 training data > ... included representative prokaryotic genomes available through GTDB release v214.1, and curated phage and plasmid sequences retrieved through IMG/VR and IMG/PR > Eukaryotic reference genomes ... were downloaded from NCBI > Metagenomes [Durrant et al., 2024] > Eukaryotic organelle genomes ... "NCBI Organelle" web resource
by tossandthrow | 2025-06-16 01:46:54+00:00
> for the 20% prediction to be wrong.

The was also not the bet.

> I feel extremely confident taking the other end of this bet.

I interpret that as full employment, which we are practically at now.

It would be amazing if we can stick on to full employment without serious inflation over the next 5 years, and it sounds unreasonable in my ears.
by Spivak | 2025-06-16 01:47:11+00:00
Make sure to read the article before commenting because this proposed practice is specifically to close the gender gap in which girls are ahead. Parents specifically try to get their sons redshirted for the advantage it confers. The proposed policy would make it available to everyone regardless of their birthday. I think any national policy would realistically make it available to girls as well because the optics of boys only is bad. But the option would be there for the benefit of boys.

I point this out because "being held back" is seen as a bad thing but starting school later actually gives you a leg up.
by ricketycricket | 2025-06-16 01:47:15+00:00
That's so disappointing to hear. I have an intern who hadn't touched Elixir 4 weeks ago who is already making meaningful PRs. She's done the PragProg courses and leans a bit on Copilot/Claude, but she's proving how quickly one can get up to speed on the language and contribute. To hear that a major company couldn't bring resources up to speed, to me, shows a failure of the organization, not the language or ecosystem.
by toomanyreps | 2025-06-16 01:49:57+00:00
I would say not really, but if someone got into split keyboards + layers and is still looking for more, steno could be worth exploring. It gave me a good excuse to learn more about phonetics, plenty of vocab for SRS apps, and much better ergonomics for spending large amounts of time on the computer daily. My right pinky shifts one key to the right and thats the furthest my hands have to move all day. Its hard to stress how little my hands have to move. Its much less work physically to enter text.

There are really good dictionaries for entering almost any keyboard shortcut you want with one hand, 100 and change symbols, basic cursor movement (moving/selecting forward/backward by char, word, line), most common emojis. Learning about the other dictionaries is a large part of what kept me digging into stenography. Its a very fun hobby that happens to combine many of my interests.
by forgetfreeman | 2025-06-16 01:51:44+00:00
I disagree pretty strongly for all of the reasons why WebMD has become a meme. Incidentally I've taken my child to the doctor at least once where they correctly diagnosed the issue by listening to me describe symptoms and then glance at the child's hands, which weren't causing any issues and didn't look abnormal to me at the time. I think placing trust in a system that has no cognition of any kind and a very detailed track record of making shit up at random is foolish to the point of negligence.
by amohn9 | 2025-06-16 01:53:59+00:00
No. I also wouldn’t use a hammer to cut a board in half - I’d grab a saw. Knowing how to pick the right tool is a fundamental part of being a good engineer. Sometimes 70% is unacceptable, sometimes it’s exceptional. LLMs are incredible technology, but also just another tool in the toolbox. Use them where they fit, not where they don’t.
by j-pb | 2025-06-16 01:57:14+00:00
Most database literature simply uses Datalog to mean the query language fragment of conjunctive queries + recursion/fixpoint-iteration and potentially stratified negation.

Yes it started out as a Prolog subset, but the definition as the fragments it supports has become much more prevalent, mainly to contrast it to non-recursive fragments with arbitrary negation (e.g. SQL).

This usage dates back to database literature of the 80s by Ullman et. al.
by GoatInGrey | 2025-06-16 01:58:54+00:00
I hope fewer people evaluate animation techniques like Miyazaki did in that presentation. Likening a fantasy zombie character's movement to a disabled person and calling it an affront to life itself validates the exact look and feel the animation team was going for. Though he posits this as a negative for no logical reason that is offered.

This is dramatic of me to say, but I can sincerely claim that anyone in my division that pulled something like this would be demoted or let go. If for nothing else than evaluating a technical product using and only using emotional language.
by lelandbatey | 2025-06-16 01:59:38+00:00
That is not true. I refer you to a PDF copy of ISO 8601[1] (a 2016 working draft copy, but still representative). Within section "4.3.2 Complete Representations" it reads as follows:

> The character [T] shall be used as time designator to indicate the start of the representation of the time of day component in these expressions. The hyphen [-] and the colon [:] shall be used, in accordance with 4.4.4, as separators within the date and time of day expressions, respectively, when required.

> NOTE By mutual agreement of the partners in information interchange, the character [T] may be omitted in applications where there is no risk of confusing a date and time of day representation with others defined in this International Standard.

They then show examples which clearly show that they mean you can not-include the T, but you CANNOT substitute T for a space.

Unless I am incorrectly reading the document or unaware of a further section indicating the further allowance of substituting a T for a space, you cannot swap T for space according to the standard.

1 - https://www.loc.gov/standards/datetime/iso-tc154-wg5_n0038_i...