skysight-inc/HackerNews huggingface dataset:
Small discussion (19 points, 8 days ago, 8 comments) https://news.ycombinator.com/item?id=43004579

Two dupes between: https://news.ycombinator.com/item?id=43093599 https://news.ycombinator.com/item?id=43019273
“Countable” as used in mathematics does not necessarily imply finite. The integers are “countably infinite”, and so is anything you can put in a 1:1 correspondence with integers.
Nope, that’s not true. You had monks copying books of course (mostly bibles), and very rich people could afford very expensive books made by scribes, but students at universities were expected to make their own copy during a reading/lecture run by a reader/professor. The words are still used in some older universities.
can we not create a legal open source "source emulator".

I am asking this from a total legal standpoint.
I would buy one if this comes to fruition.
> relicensing IP is not "using" the IP to me - you either use it, or lose it. Unless of course, you're the original author (and by author, I mean the humans, not businesses that paid them)

If I come up with a brilliant new compression algorithm, but don't have the software development skills to make a robust production implementation, what difference does it make whether I hire someone to write that production implementation, license my algorithm to someone who writes that production implementation, or sell my patent rights to someone who writes that production implementation (or licenses my algorithm to someone else who does that)? Heck, given that software is fluffy abstract stuff rather than physical goods, would you consider selling a program to count, or is it only someone who makes a hardware device that uses the algorithm who gets to count?
I'm not sure about Google style guild but Go's context package docs state:

"Use context Values only for request-scoped data that transits processes and APIs, not for passing optional parameters to functions."

https://pkg.go.dev/context

Using context as a some sort of a mule is an antipattern.
Why rent a car when your regular car is safer, cheaper, and more fun? I’ve never had to rent a car as an EV owner and I’ve covered a lot of ground in a lot of states.
> The main thing conda doesn't seem to have which uv has is all the "project management" stuff.

Pixi[1] is an alternative conda package manager (as in it still uses conda repositories; conda-forge by default) that bridges this gap. It even uses uv for PyPI packages if you can't find what you need in conda repositories.

1: https://pixi.sh
One of the few posts which had gotten me genuinely interested.

Shame that source itself is proprietory.But still its leaked so its "theoretically" possible to be open source. IDK.
Conda might have all these features, but it's kinda moot all the time no one can get them to work. My experience with conda is pulling a project, trying to install it, and it then spending hours trying to resolve dependencies. And any change would often break the whole environment.

uv "just works". Which is a feature in itself.
Nobody came up with a proof of finitism because the semantics of a mathematical proof can forbid an expression of reality of the physical world. Physical world abhors infinite and mathematics was supposed to be a tool to describe the physical world. Instead, math went into hallucinations about infinity etc. Physics works perfectly well even when you replace infinite with a relatively large number, giving you as much precision as you need. Physics never needed PI to be calculated to millions of digits, or multiple infinities to be defined. Computers are working fine without this poetry of infinite. I'm not sure why infinity can't be redefined as a relatively large finite number.
"Base load" can be achieved with renewables, batteries and natural gas. There have been lots of simulation studies demonstrating this. Not only is it achievable, it's also significantly cheaper and faster than fission with natural gas, even after accounting for all costs related to renewables such as the need for more transmission lines. This is especially true in the United States, which is uniquely blessed with abundant solar resources and well diversified wind resources.

Fission as a solution is something that is popular on social media, for reasons that are utterly mystifying to me. The arguments are invariably a few words that reach sweeping conclusions with no actual data backing it up, and lots of data contradicting it that the individual appears oblivious to.
I respect what tailwind has done

But, here's an issue for me: it makes your (cacheable/compressible) CSS smaller and your (uncacheble/uncompressible) HTML larger

Of course, you can cache and compress HTML. Unless you're using TLS, then you should not compress HTML (see BREACH). And unless you have any dynamic data on your page, then you won't be using caching...

And Tailwind makes HTML responses quite a bit larger
How does HN not catch these dupes? Isn't there supposed to be a system that directs duplicate URLs to the previous posting?
Yup! Programs are assumed to have finite length, in the sense that the program must have a finite description. Of course, it may use recursion or include a loop that runs forever, for example.
exactly.

I do think that the source code of source was leaked. Its just that valve has to themselves give the code of source. FLOSS community would really do it. Trust me.
The scream test is for servers. Not the livelihoods of real people and potential impact of things like unchecked bird flu on the country.

We're truly seeing the loss of humanity, or even the pretense of it, with this administration.
> You also must charge at a station

I know this isn't usual for most people but it's fairly common for adventure vehicles to carry extra gas with them. I have a fuel bottle I'll take on my motorcycle if I know I'm going to be out in the sticks for a while, Jeeps/off roaders will carry jerry cans/rotopax, etc.
If only the choice had been between cruelly enforcing borders, or humanely enforcing borders, instead of not enforcing borders at all, perhaps this could have been avoided.

The same thing plays out in other countries - "you don't want borders, you just want cruelty!" is only ever said by people who don't want you to have borders either.
I get that you've worked on this for months, that you're burned out generally, and now unemployed. So this comment is not meant as "mean" but rather offered in the spirit of encouragement.

Firstly, building a business (especially in a crowded space) is stressful. It's not a place to recover from burnout. It's not a place that reduces anxiety. So my first recommendation is to relax a bit, put this on the back burner, and when you're ready go look for your next job.

Secondly, treat this project as an education. You had an idea and spent months implementing it. That's the easy part. The hard part is finding a market willing to pay money for something.

So for your next project do the hard part first. First find a market, find out what they will spend, ideally collect a small deposit (to prove they're serious) and then go from there.

In my business we have 3 main product lines. The first 2 happened because the market paid us to build a solution. We iterated on those for 30 years, and we now are big players (in very niche spaces.)

The 3rd happened as a take-over of a project by another retiring developer. He had a few customers, and a good product, but in a crowded space where there's lots of reasons not to change. It's taken many years to build it out, despite being clearly better than the competition, and it's still barely profitable (if you ignore a bunch of expenses paid by the whole business. )

The lesson being to follow the money, not the idea. (Aside, early on we followed some ideas, all those projects died, most without generating any revenue.)

So congratulations to seeing something through to release. But turning a product into a business is really hard. Turning a commodity like this into a business is almost impossible.

I wish you well in your future endeavors.
If NZ's government wants science to have economic impact, then there needs to be a good incentive to build profitable businesses.

Investing time and effort and giving up wages makes founding a losing game.

9 out of 10 businesses go under, so need much greater than 10x return to make risk worthwhile. VCs aim for 30x (a more realistic figure to break even on total risk).

Let's say your pretax income is $75k, and your post-tax income is $60k and you normally save $20k per year. Let's say you
"invest" two years into starting a business. If you halve your living expenses from $40k to $20k per year, and you spend $30k on the business. You've spent $20k*2 + $30k and you've forgone $20k*2 savings. You're $110k down if the business fails: that is five 1/2 years of savings lost. Or you need to work five years longer - ouch.

If you have a moderate success, earning say $250k per annum for 10 years, you pay $77k in tax per year. You earn $1.7 million. You are barely breaking even risk adjusted (10x$110k) and inflation makes calculation far worse. The numbers don't stack up in New Zealand to start a business. You would have saved $20k*10 as an employee, so you you might be better off just working (depending on personal costs of starting business - often extrodinarily high health/family costs). $1M retirement savings might not be enough to pay you $60k a year so you still haven't won even at $250k per annum.

The government needs to change taxation so that starting a business makes financial sense. For example lower taxes on new export income. Export income helps every New Zealander. Every business dollar earned from overseas and spent within NZ (wages, products, services) should be strongly incentivised by the tax system.

I was in the Christchurch incubator which had the goal of commercialisation of the IP at Canterbury University. A government funded money pit full of clueless academics. I love science, and believe in University research. But economics matter.

Government schemes always lack the skills to be effective investors. The money mostly goes to grifters. I would love to see some reports on return on investment for say Callaghan.
i.e. reprint the books.

You can get them as video games on Steam, with isometric 2D graphics and it automates away the dice-rolling and bookkeeping (and also allows you cheat and reroll any roll up to two more times). For cheaper than this Kickstarter reprint:

https://store.steampowered.com/app/856880/Fighting_Fantasy_C...

https://store.steampowered.com/bundle/8086/Fighting_Fantasy_...
Trump is bringing up the point that this Republic's constitution only provides for three branches of a government, not 4.

This reminds me of a supreme Court ruling a few years ago where the rights of native Indians had been trampled on in Oklahoma for 100 years. The court said something like "well, now that you bring it up--stop it!"
Which also means they're banned in every running event sanctioned by world athletics.

It also has nothing to do with carbon but rather the stack height (>40mm is illegal).
Historic times we are living in.

When the history books are written, this executive order, along with the past few weeks of actions, will be seen as the seeds of the 2nd American revolution.

The USA had a solid 250 year run but technology, money, and greed have unfortunately undone the very core of what America stood for.

We cannot know at this point where this is going, but it seems like fascism is the inevitable course. My fear is that if you combine that path with the power of the US military, the world is in for a very scary time.
Other countries I didn't feel like I had a weight issue. Specifically italy, it was lots of bread and pasta, slow cooked fatty meats, deep fried dishes, and sweet pastries.
Well that was an interesting experience in marketing.
CIA: Disposal of Project Aquiline Assets [pdf]
The historical context behind the naming of dynamic programming was discussed on HN before: https://news.ycombinator.com/item?id=17806913
https://archive.md/Apbxw
This article talks about food and BMI related problems though. The low US life expectancy is mostly from cultural problems IIRC? Drug over doses like from oxycodone and gun violence.
Is sbox closed source ?
> If you start searching, I think it defaults to scope "This Mac".

Correct, and it's the first setting I change.

Finder > Settings > Advanced > When performing a search: "Search the Current Folder"
Context;

https://www.cia.gov/readingroom/collection/aquiline

https://en.wikipedia.org/wiki/Project_AQUILINE
It does, but also grants some leniency for repeats. More of an issue, recently, has been that dupes of flagged stories aren't detected.
https://www.youtube.com/watch?v=JurplDfPi3U
Where is the 200 figure from?
I don't think it's particularly problematic, uv the concurrency library and uv the Python tool cover such non-overlapping domains that opportunities for confusion are minimal.

(The principle is recognized in trademark law -- some may remember Apple the record label and Apple the computer company. They eventually clashed, but I don't see either of the uv's encroaching on the other's territory.)
I've been seeing posts like this all over hacker news. They appear to be structured like rational arguments but really make no logical sense.

I have no doubt that these people know exactly what they are doing, and are intentionally lying and spreading these "very reasonable" arguments as a blueprint for others to copy.

Their goal is to fluster and confuse the situation.
Software development is changing rapidly with AI integration, economic shifts, and evolving job roles. How do developers stay relevant in this landscape? My thoughts on adapting to these changes.

Let me know your thoughts on how we can future proof our skills.
"The President and the Attorney General, subject to the President’s supervision and control, shall provide authoritative interpretations of law for the executive branch. "

Of course down below it says something like "subject to applicable law".

Nevertheless I think the scary sentence will be stricken by the supreme Court
> then it has the directories grouped by year created

That's a setting you set.

Right click on empty space > uncheck "Use groups"

Or in that context menu, select "Show View Options" and customize it to your liking. My liking is "Group by kind" (folders to the top) then "Sort by name"
>The detainees have to be flown by a government transport at taxpayer expense.

They were flown across the country by the previous admin, costing money. NY Housing illegals costs millions the tax payers have to pay. Sanctuary cities force people to pay for illegals. Do you hold the same concern with "taxpayer expense" in these other cases?

The reason behind is here:

"We don’t want illegal criminals in the United States any — not a minute longer than they have to be,” he continued. “Move them off to Guantánamo Bay, where they can be safely maintained until they are deported to their final location, their country of origin, where they are headed."

"Hegseth noted that he served at Guantánamo Bay and is familiar with areas that can house 30,000 migrants. He also said the military prison “has long been a place for migrants,” adding, “In fact, in the 90s, tens of thousands of Haitian and Cuban migrants staged there as part of a crisis.”"

https://thehill.com/policy/defense/5115256-hegseth-guantanam...
> with a 64-bit processor, probably a 32-bit address space is enough for most applications

This is related to the Java virtual machine's use of 32-bit "compressed ordinary object pointers (OOPs)" on a 64-bit platform. The pointer is 8-byte-aligned though, so it can address 32 GiB of memory. There is also a non-compressed-OOPs mode that can address more than 32 GiB.
Wonder how long it'll take for the media outlets to start blaming Biden again, "well he should have put protections in!"
I was a medievalist before moving into tech, and I was always taught that students usually could not afford parchment on which to take notes, much less to copy down every word read out to them. Please cite a source for this claim.

Also, people bought books to read them outside of the context of universities.
I mean construction in the mathematical sense. If you believe, for example, that the rational numbers exist, then it is easy to construct the real numbers.
Very roughly, we look at the set of all sequences of rational numbers that converge in a specific way (technically, all Cauchy sequences) and call this the "set of real numbers" (technically, after taking an appropriate equivalence class, since intuitively multiple sequences can converge to the same real number). [1] has a few other constructions. This is very different from a program, which has its own definition.

[1] https://en.wikipedia.org/wiki/Construction_of_the_real_numbe...
Yeah, Id repeat experiment in reversed order and probably result would flip too
I don't know if Windows Explorer has regressed since Vista, but back then I remember it doing everything I wanted and more, down to viewing and editing MP3 and JPG metadata in some panel, filtering, grouping, smart searches, etc.

What else do you need from it?

I don't know the state now because I've since switched to macOS, which has Finder, an absolute toy in comparison (other than QuickLook and Column View)
WizTree can be used to navigate about a subtree,

if you start from File Explorer Navigation Pane and used the default WizTree install then every folder (in File Explorer) should have a right click context menu item that launches Wiztree for just the folder subtree.

if you start from command.com or Powershell then you can pass a subdirectory path as an argument (with a switchy? I don't recall ATM) or make a shortcut comman to launch WizTree for a subfolder.
And yet, the country with the sharpest decline is the one where the diet converged toward the US’s the earliest.

It’s also the first one to shatter their health system in an effort to emulate the US one.
Their dashboard [1] shows the library only gets ~7 Gbps on what is presumably a single core (given that it is single connection benchmark). Is that considered fast?

The memory bus on that system probably pushes at least ~400 Gbps, and even a fairly simple memcpy() implementation could probably push ~100 Gbps even at standard MTU (i.e. small) sizes. So that would be ~14 copies worth of execution cost per bit. That seems extremely high especially given how much people complain about the number of copies which, by this metric, would only cost ~7% per extra full copy.

[1] https://microsoft.github.io/msquic/
The average healthspan is approximately 70.7 years in the EU, compared to 63.9 years in the US, meaning Europeans tend to live longer in good health than Americans.

But averages kind of sucks for comparison. Id be interested to see the median of each country.
Minuet-ai.el: AI code completion in Emacs (Copilot alternative)
Two Wrongs Sometimes Make a Right: Environmental Benefits of Market Power in Oil
Thank you for your comment. Overall, this lifted me up and helped me learn some more about what was in the Declaration. (I went and read it for the first time after seeing your comment.)

> deriving their just powers from the consent of the governed

Unfortunately, unlike 1776, today's king was given power by the governed, and the majority (of those who care enough to vote) still support him. So I don't know where those of us who are horrified go from here.
NextDNS has not updated its client applications on multiple platforms (iOS/iPadOS/macOS) for several years. Those client applications did have the ability to stop the blocking (or not), but now it's just a toggle that does nothing.

Most of the time when I visit test.nextdns.io it shows as "unconfigured" even though the NextDNS client is installed and configured with a NextDNS profile (and approved in Settings as a VPN provider on these OSes). Sometimes it will work on its own.

I wouldn't recommend NextDNS unless the user is comfortable installing a (somewhat) permanent Profile on these devices with no temporary "off" switch to stop blocking. For me it's important to stop the blocking once in a while.

At least on macOS, there's Little Snitch (paid application), which can subscribe to the same blocklists used by ad blockers and has a working toggle.
Yes. But it’s hard to beat processed food.
This is the way ... my way at least
I turned my Daylight into a PC screen using this app, which worked like a charm: https://superdisplay.app/
People find it harder to notice mistakes that gain them money, and easier to notice mistakes that cost them money. It's almost magical.
worth noting that california is still dependent on OPEC iirc. i suppose in a pinch they could get their fuel from the rest of the states
Free AI Headshot Generator
Not just due to the Pb dust though, also Al, Fe, Cu, fiberglass:

"Mineralogical analysis of dust collected from typical recycling line of waste printed circuit boards"
https://www.sciencedirect.com/science/article/abs/pii/S09560...
As I understand it, they like to settle with non-disclosure agreements.
1. tax funded researchers did not publish non pay walled. right?

2. as per link text, there was denial to access treasure dep records. so what is secrecy in there?

so let just append '... and data' to the root of thread
Plan for a Rust-Based Fork of the Linux Kernel

Background & Motivation

Linux is a monolithic kernel, making it difficult to incrementally introduce Rust without significant modifications. While Rust is being integrated into the kernel for drivers, deeper adoption requires a more fundamental shift. A full Rust-based fork would allow leveraging Rust’s safety features across core kernel components.

Key Goals
1. Process Management in Rust – Rewrite the scheduler and process handling to improve memory safety.
2. Synchronization Primitives – Implement mutexes, spinlocks, and RCU using Rust for safer concurrency.
3. Filesystem & VFS Layer – Enhance security and stability with Rust-based abstractions.
4. Kernel Drivers in Rust – Replace legacy C-based drivers with Rust implementations where feasible.

Challenges
• Rewriting large portions of Linux is costly and time-consuming.
• Ensuring compatibility between Rust and existing C subsystems.
• Gaining support from the Linux development community.

Approach

Instead of a complete rewrite, a modular approach can incrementally introduce Rust subsystems, ensuring compatibility while leveraging Rust’s benefits. Although existing Rust-based kernels like Redox OS are not yet competitive, a forked Rust-Linux could lay the foundation for a safer and more maintainable kernel.
With having internet in our pocket we no longer value being able to recall information. There is no need when anything is a query away. I suspect a similar thing will happen with our ability to think. What is the value in being able think through and solve a problem when you can just get your phone to do it instead? And I would argue in reality most people won't care if the results aren't correct so long as they are plausible and fast.
google search :) some places even say 260 and 300+.
Use direnv for automatically creating, activating, and deactivating your virtual environments. I don't know how anyone lives any other way. Just put this in a .envrc file (substituting whichever python version you are using):

layout python python3.12
pip install --upgrade pip
python -m pip install -r requirements.txt

Looks like direnv can be extended to use uv:

https://github.com/direnv/direnv/wiki/Python#uv
3M's decades-long litigation about PFAS:

https://hn.algolia.com/?q=PFAS+3M

And even after the settlements ever get resolved and it's no longer being produced in developed countries, economics says they'll just ship the waste to LDCs.
Unsubscribed from openai and subscribed to claude today. Little I can do.
I think the article is saying these kids are so weak they can't even stay upright for class. I think your points are valid but maybe less appropriate for this particular article.
It's like wikipedia except it spits out incorrect information at an alarming rate and has no references. Still, impressive that it only weighs 10s of GB when wikipedia alone is on the order of ~100GB