skysight-inc/HackerNews huggingface dataset:
From scratch it's also easy dress up a quoted Y combinator as in Löb's theorem. Start with the usual Y combinator

Y = \f. (\x.f(x x)) (\x.f(x x))
: (p -> p) -> p

which can produce a thing of type p from a function f : p -> p.

Now Löb's theorem states that []([]p -> p) -> []p, which can be read, "if you have the source code to transform (the source code of a thing of type p) to a thing of type p, then you can produce the source code for a thing of type p". Let's embellish Y using {} to denote the quoting comonad.

Y' = \{f}. (\{x}.{f{x{x}}}) {\{x}.{f{x{x}}}}
: []([]p -> p) -> []p

To get there, just add quotes as needed: f must be quoted, f's result must be quoted, and f takes a quoted input.
Being too lazy for such project, I just bought my Librem 14 with coreboot, and everything works fine. Even more, I can use TPM with a hardware key to verify the boot integrity. Can only recommend.
Finally EU bureaucracy saves the day!
> The state of ORM libraries is probably a lot better today

I would say it's not. Sure old ORMs still have their features, but newer ORMs and especially ORMs in newer languages have a fraction of the features of something like ActiveRecord or Entity Framework.
There are plenty of graphics researchers not in NVIDIA's pocket cooking up stuff that doesn't require vendor-specific features, so I'm not worried that graphics research is being suppressed, if that's your theory.

Intel and AMD are both big players with a vested interest in promoting the capability of CPUs and promoting the capability of non-NVIDIA GPUs, since they sell both. They're big and well-capitalized, so if they wanted to they could be operating big graphics research teams (whether they are is unclear to me, and it's obviously not a 'snap your fingers and you have a big graphics research team' situation, but they have the resources)

In some cases if you see CUDA being used for a demo or a research project it's just because the alternative stacks kinda suck, not because only NVIDIA hardware is capable of doing the thing. Researchers aren't necessarily concerned with shipping on 99% of consumer machines, so they can reach for the most convenient approach even if it's vendor-locked.

I won't be surprised if we see some researchers start targeting Apple's platform-locked Metal API in the future since they have compelling unified memory offerings with capacities exceeding everybody else's.
I understand what you mean by being able to fully sandbox things and guarantee determinism, a must for the workflows and not the activities (using temporal lingo).

When you say that the runtime handles, for example, retries, doesn't that require me to depend on your HTTP client component? Or do I also need to compile activities to WASM and have obelisk running them because they are essentially background jobs (that is, you have workers pulling)?

Finally, do you see the component's interface as the right layer for capturing IO? I'm imagining people attempting to run managed code (Java, python, ruby, etc.). The VMs can do thousands of syscallls before they start executing they user's code. Logging them one by one seems crazy, but I also don't see an alternative.

EDIT:

I RTFM and found the answers to my first two questions in the README :)
https://www.goodrx.com/gardasil-9
Land tax is one of the least ethical forms of taxation. It would be far better to fund it with income, sales, or capital gains taxes.
I don't think Trump was known for being an exceptionally stable candidate.
There is absolutely a Cultural Revolution feel to the communication by and around the president. See e.g. Bill Ackman's fully-prostrated worshipful response on Twitter this morning. The guy is a successful billionaire! And he needs to sound like a literal cult member in public lest he lose influence.
I have found that second hand shops tend to have a more diverse and rich selection and charity shops can have very rare gems.

Support both, and I wouldn't want to give up one for the other.

Also a bit of an aside, but charity shops are also more often part of national or international orgs so a lot of the "gain" isn't localized as the article discusses. Good or bad on a case by case basis. Not sure how it edges out.
“You won’t always have a calculator” became moderately false to laughably false as I went from middle to high school. Every task I will ever do for money will be done on a computer.

I’m still garbage at arithmetic, especially mental math, and it really hasn’t inhibited my career in any way.
Isn't this bit naive? Because in order to decouple, one would expect that there would be policies to actually prepare for production inside US and then apply tariffs. Not other way around.
Thank you!

Alegreya also has a much larger x-height than Garamond...
> Students primarily use AI systems for creating (using information to learn something new)

this is a smooth way to not say "cheat" in the first paragraph and to reframe creativity in a way that reflects positively on llm use. in fairness they then say

> This raises questions about ensuring students don’t offload critical cognitive tasks to AI systems.

and later they report

> nearly half (~47%) of student-AI conversations were Direct—that is, seeking answers or content with minimal engagement. Whereas many of these serve legitimate learning purposes (like asking conceptual questions or generating study guides), we did find concerning Direct conversation examples including: - Provide answers to machine learning multiple-choice questions
- Provide direct answers to English language test questions
- Rewrite marketing and business texts to avoid plagiarism detection

kudos for addressing this head on. the problem here, and the reason these are not likely to be democratizing but rather wedge technologies, is not that they make grading harder or violate principles of higher education but that they can disable people who might otherwise learn something
This makes for a good sound bite but it's just not true. The use case of "show me what is a customary solution to <problem>" plays exactly into LLMs strength as a funny kind of search engine. I used to (and still do) search public code for this use case to get a sense of the style and idioms common in a new language/library
and the plausible set of tokens is doing exactly that.
The money supply argument seems flawed to me. As long as poorer people gain a larger share of the money supply, their increased spending power would outpace inflation. That’s because inflation is a function of the money supply in total, not the money supply of those with lower income.
make as much money which by the way is totally obvious. FTSE was down 3.2% at it's worst.
Fair enough. Thanks for clarifying. I agree with what you're saying in this comment.

On the topic of:

> whether we really believe that the VC funders whom are largely responsible for the current state of the web will continue pumping money into something which would hurt their bottom line from another angle?

No, I don't believe that at all - which is why I keep saying the current situation is an anomaly, a brief moment in time. LLMs deployed in form of general-purpose chatbots/agents are giving too much power to the people, which is already becoming disruptive to many businesses, so that power will be gradually taken away. Expect less general-purpose AI agents, and more "AI powered features" that shackle LLMs behind some limited UI, to ensure you can only get as much benefit from AI as it fits the vendors' business strategies.
If they are securities, then there should be a way to register them with the SEC and follow the law. As your link said, that's not the case.

But BTC and ETH at least are not considered securities at this point, and in general, the SEC has not done all that well when companies took it to court.
The US appears to be trying to end the reserve dollars. Something that surprisingly few people have mentioned recently is that having the biggest trade deficit is the same thing as being the global reserve currency. Because they're the same thing, ending one of them also ends the other.

There does seem to be some sort of cycle in play: first a slave-driver-type economy creates a whole lot of wealth, then people get human rights, then they stop being driven like slaves and coast off the accumulated power, but forget the basic principles of wealth creation in the process (see also "good times create weak men" etc) and just spend all their resources arguing about who gets the wealth that is there instead of creating more. And I'm not saying that in an individualist framework - the reason individuals can't do it is a problem with the whole society, not with those individuals.
to be fair, I also made quite a lot of profit in stocks in the last few days without any inside knowledge of the whitehouse. it was a fairly safe bet that these tariffs were not going to last forever, and even if they were, there'd be reprieves
This shows how non-automated retail is. on the production line, workers assemble the crosses in 5 minutes. And when selling, the courier will spend 15 minutes looking for your house to give it to you. It is reason why production is 1/4 of the price
> finally got a chance to do it

He could have done it in his first term.
Most projects should follow diataxis and we’d be in a lot less pain
How MrBeast Is Keeping Africa Poor
Hamburger -> More Tools -> Customize Toolbar --> Toolbars (dropdown) -> Menu Bar (checkbox), then hit Done.

Or just right click on a toolbar and check Menu Bar from there. This assumes a non-defective mouse though.
The one computer system that has all my lab results, knows every doctor I have ever visited and has every summary of every medical visit I have had in the last 5 years doesn't want to use the data it is storing to suggest a follow-up?

That sounds like a quid pro quo with some trigger shy lawyers. I can't possibly imagine the long game for Epic is to never use that. It is a shame people are dying of HPV caused cancers because Epic can't use the data it has. Sad. Probably why American medical outcomes are so poor.
> Promoted the censorship of election information, including known risks associated with certain voting practices, and falsely and baselessly denied that the 2020 election was rigged and stolen, including by inappropriately and categorically dismissing widespread election malfeasance and serious vulnerabilities with voting machines.

Mike Pillow medal of freedom when?
A girl mouse and a boy mouse do.
>SpacetimeDB wasn't built in a vacuum. It's the system powers our own large-scale MMORPG BitCraft.

I checked out BitCraft and it's not released yet. Don't know if I'm being unfair here, but isn't this a bit misleading?
I obviously can't say for sure, but my guess for why you're being downvoted: we don't need humans telling us what the AIs think. We're all capable of knowing that for ourselves.

What I'd guess most of us are interested in is what you have to say.
Ontario schools begin suspending students who aren't fully vaccinated
Yes, project 2025[1] is our own cultural revolution/great leap forward.

The authors said: "We are in the process of the second American Revolution, which will remain bloodless if the left allows it to be."[2]

[1]https://en.wikipedia.org/wiki/Project_2025 [2] https://www.washingtonpost.com/politics/2024/07/03/heritage-...
How is this a negotiation tactic.

"I bought $200 worth of stuff from your store and the store bought $0 worth of stuff from me. To punish them, I'm going to pay myself $100 every time I buy anything from the store in the future - that will show them!"
UBI is great on an individual level, but as we saw with the Covid Stimulus payments in the US, they cannot help but be quite inflationary. That's my biggest worry about injecting huge amounts of money into a system that is truly universal.

And if it's not truly universal, then it's a bad idea. Means tested money is just an incentive to fit the criteria.
> someone found the good interesting enough to buy it in the first place (1st curation)

I wonder how this is offset by someone finding an item not worth enough to keep. But maybe I underestimate the generosity (or need for income) of the typical person visiting secondhand stores to offload their stuff.
I decided to get it and saw it listed as $160 per dose on the health provider's website. I decided to bite the bullet and get it. When I got the prescription filled at the pharmacy, it was $265 for the first round of three. I want the next two but it's crazy to think I'd be paying like $800 (Canada).
Related discussion
https://news.ycombinator.com/item?id=43458780
> Length that the asset can provide power in a grid failure (multi day isn't possible at this point except incredibly small load profiles).

You gave some personal experiences, so I will match yours. We had a 6.6kW solar panels, with a 4.8kW battery. We lived in a flood zone at the time, so I got a generator after the second time I dumped the meat in the freezer after loss of power.

With all that in place had the usual episode of weeks of wet weather (the monsoons), became an island, the power is disconnected because houses around us (but not us) are inundated as the power company doesn't like being blamed for killing people. The generator was a fail because it couldn't handle the startup load from the fridge and freezer motors.

I didn't have high hopes for the battery. Boy, was I wrong. Turns out 4.8kW is enough to drive everything overnight except hot water, air-con and 2 hour roasts in the oven. And I do mean everything - lights, TV, internet, cooking (well, fast heating), washing machines using cold water, fridges and freezes. It also turns out that a 6.6kW of solar can bring that battery to full charge during the day, even with blanket cloud cover and pissing down rain.

And to your point - it will happily do that for years, without fuel or maintenance. As for costs - a few days ago I saw 10kW hour battery advertised on Alibaba for $1,200, with 90 day returns. At that price, it will pay for itself in power costs. If you add in an electric car, it's a complete no-brainer as while electricity costs may be very cheap where you live, car fuel costs won't be. If that car is a BYD (it has a 3.6kW household power outlet), you don't need a house battery just for emergencies.
> I DO NOT WANT TO ONLY HAVE MBR BOOTING

https://doc.coreboot.org/payloads.html says you can use grub as a payload; does that work?
Networking is the most OP "soft skill" one can learn in the long run, takes time to properly have enough people who trust you (and that you trust as well), but its definitely worth it specially in bad times (like the ones we're having right now).

You can also "start small" and network via FOSS communities, I met one of my best friends while contributing to niche projects and we ended up working together because of it.
I totally agree, I created BetterDictation (.com) exactly because of that. Offline was a super important requirement for me.
The idea that Trump had a goal as sophisticated as that is just hilarious.
> we mocked the Chinese as being able only to copy American technology

As you state they haven't been "only" copying for a while and my problem with people keep repeating this "logic" (mea culpa) is precisely what's at stake right now: designing and "creating" is critical, but I'd argue that civilization is not made my design or one-off (or limited) editions. Civilization is the ability to innovate in mass production, in doing so, consistently in lower and lower costs. China excels (and will continue to excel) while they continue to appreciate this. The "service sector" world stopped caring about this.
It’s seems to me that the current “alcohol is bad” messaging coming from health podcasters and influencers (including Andrew Huberman) will be proven wrong in the long term.

Virtually nothing that humans have consumed for thousands of years has been proven to be bad for you after further research. Virtually nothing. The idea that we invented alcohol then consumed it for thousands of years by mistake is ridiculous. It’s like when eggs were bad for you because of cholesterol.

It’s preposterous, and it comes from the excessive focus on measurable outcomes coming from medical testing.

It’s like my neurologist once told me, after a scare, that I was a victim of VOMIT. I asked him what the heck was that - he said Victim of Modern Imaging Technology.

Huberman (etc) are likely following the same pattern. They saw a pattern in the data saying “alcohol is bad”.

What could be better for a health obsessed person? We know alcohol has bad effects, we know alcoholism is a problem. Let’s just say it’s all a problem.

But… Living in a Southern European country, it’s ridiculous. We don’t have the same rates of alcoholism as northern countries, and from that pov, Huberman’s Puritanism just sounds absurd. From that perspective, alcohol is just a mild sedative, with wonderful antidepressant effects.

Seems silly.
Coreboot seems like such a great project. Until you actually try to use the damn thing

I wanted to set up some old Optiplexes with Coreboot for a Windows XP LAN party. I ended up going through several motherboards with bad flashes, both of Core and Libreboot

Eventually I rolled up in their IRC and basically asked what the hell I was doing wrong.

"oh yeah we disabled [some feature]. You need to dump a bunch of firmware blobs first and then add those to the build"

Even after doing that though I found I was able to boot SeaBIOS (but nothing else!) and Windows would similarly just immediately crash and burn trying to load in any capacity. Linux worked "fine"

More annoyingly it was both slower than the vendor firmware and SeaBIOS would also hang on an LSI SAS card I had inserted (I guess it was trying to run the card OptROM?) which was annoying because I wanted to use the machine to flash the card to "IT mode" (aka JBOD mode)
> Also — secondhand books are generally outdated, undesirable, and/or damaged — do collectors still find diamonds in the rough?

Growing up poor, second hand book stores were how I found some of the best math books that I wouldn't have been able to afford. And they were often quite good or better (at least in offering diverse perspectives and angles) than the books I could have bought at the time.

I often liked the notes people left.
I mean, even that's something of a misconception. Let's start with an axiom: there are enough people and resources, both locally and universally, to provide every human being with enough to eat every day and a safe place to sleep every night (acts of God notwithstanding). That's an objective truth; technologically and logistically, we are there as a civilization. So a guarantee of access to something that already exists is a matter of policy, not economy. The doomsayers are just wrong on this one, unless the first act of UBI recipients would be to burn farms, blow up the rail network, and release pests into vacant housing, or something (though I don't doubt that this scenario is precisely what they expect; after so many studies, it's safe to call anti-UBI rhetoric a rationalization of unsubstantiated class hysteria).
That's great, especially the deterministic part. Did you run into determinism problems with two different CPU architectures for server and client?
You cannot possibly make imports VAT excempt, that's just instantly destroying your domestic market for no gain anywhere.
Proportionate to the size of each company and the amount of toys they produce, I'll bet there's significantly more variety in Warhammer.

Just from a quick search, within a year Games Workshop offer about 3000 different model kits, each of which will contain ~1-4 unique moulded sprues. There seem to be at least 50 new kits each year, possibly 100, otherwise what's available rotates around the older kits.

Lego have produced about 15,000 different sets since 1950, and a huge number of the parts are shared between sets. (That's the whole point of the toy, no?)
> The EU quotas didn't impair them from catching fish, it allowed them to catch fish.

The quotas were a specific limit on how much they could catch, including in domestic waters. A specific gripe with the inshore fleet was that cod quotas were set so low they could in some cases barely avoid hitting their quota limits very quickly fishing off the UK coast. And cod of course, is something they could actually sell to Brits if they were allowed to catch more of it. Of course, the tradeoff was that larger, longer range vessels wanted to be able to fish in other waters, and fish markets wanted to at least be able to attempt to export what we don't eat, so an agreement with the EU was reached. Now it's not unpredictable this agreement didn't involve dismissing DG Mare's views on sustainable fishing levels or denying foreign vessels reciprocal access to British waters, but I wouldn't call the fishermen's hope for considerably fewer restrictions on what they could catch irrational, especially not compared with some of the other rationales...
Langchain is one of the most hilarious libraries I've ever had the displeasure of looking through. Many of the abstractions look like they were written by a college student who took clean code way too literally. Many of the methods are so trivial and shallow that I'm shocked people use it in any serious capacity.
I think only thing likely to make US go broke is Trump's actions.

DOGE doesn't save any money. Not only because it's created many legal messes that will take forever to work out in court but because most of those jobs are important and will eventually need to be replaced at great cost and with worse results. Also some of those jobs are for auditing inefficiency and prosecuting corruption resulting in more money spent. And on top of it all they'll be using these non existent savings to justify much larger tax cuts for the rich.

The reason it looks stupid is because it is. It's not that Trump is purely dumb he's just intellectually lazy and doesn't care about policy. He long ago decided he likes tarrifs on instinct so he put massive tarrifs despite the warnings that they would be disastrous
Up until 1970s or so, productivity gains translated to increases in worker pay, so it certainly doesn't have to be like it is now.
How to Build the Next Unicorn with Just 3 People [video]
Taxes are a form of wealth redistribution, and all governments require a revenue stream
Yeah but the damage is done.

A safe haven isn’t much of a safe haven if that’s where the fire has started.
"still make revenue close to what they earned on their job by selling art."

Read more closely.
Likewise. I enjoy commenting here because it’s one of the few places online where there’s actually discourse, and I like to think conversations like these have trickle effects/lead to more cross pollination and rational outcomes. Your pushback is valid; there’s a very real danger of getting too much in bed with Trump’s base and letting dumb populism overrule any need for strategic pivots if this doesn’t end up working. There was also some interesting pushback about European market demand for US weapons being more important than supply chain security which I hadn’t considered from the strategic angle; I don’t think I agree that it’s more important than eliminating foreign chokepoints in US military supply chains, but that’s a point in favor of these tariffs being too blunt and extreme an instrument for addressing the need to boost domestic industrial capacity for the defense industry.

I’ll keep an open mind as well. I hope things eventually work out for the best, but we’ll see what happens.
Why is this weird conspiratorial 5d chess theory voted to the top?
Trump's morning 'buy' call nets returns for those who listened