skysight-inc/HackerNews huggingface dataset:
Math is the study of futility.
Futility to calculate, to understand, to define, to rationalize.
1 is the only number. Everything else is a name.
Does the CISO of GitHub read her own GitHub issues alerting her of malware?
WEF cites a global space economy at $630 billion, alongside investments of $70 billion. [1] And as anybody with half a head on their shoulder can see, space will be where the big future economic growth will come from. Even if somebody has 0 interest in space, which I think is very few people, that's where the next 'big boom' in economics will come from. And SpaceX was started on a fraction of $0.3 billion with Carmack and Bezos just being a couple of names people on here would be familiar with, amongst tens of thousands. Yet no competitor is anywhere to be found.

And the US doesn't have a long history of aerospace innovation. In 1962 Kennedy gave his 'to the Moon' speech, 7 years later in 1969 we'd go from having nothing to putting a man on the Moon. From 1969 (well 1972 in particular) to the birth of SpaceX (early 2000s) US space technology not only stagnated but regressed. This is why Boeing (who was a major part of the original space race) can't manage to even begin to replicate what we achieved in the 60s, in 7 years no less!

Incidentally this is also a big part of what motivated Elon to start SpaceX. He was looking at NASA's future plans for human spaceflight and they were basically nonexistent. So he wanted to launch a greenhouse to Mars and stream it growing, to inspire people and hopefully get things moving in the right direction again. NASA wasn't interested in any such things, the Russians wanted too much $$$, and so SpaceX was born.

[1] - https://www.weforum.org/stories/2024/04/space-economy-techno...
I think a lot of people get in trouble with pain from pull-ups. I love the exercise, but I no longer just walk up to the bar when I am in the mood. I first do a set or two on some resistance bands I attached to a ceiling, to warm up. They give about 35 pounds of resistance.

I weigh over 200 pounds. I would never walk up to a weight bar and military press 200 pounds cold. I regret that I used to walk up to a pull up bar and pull down with 200 pounds of force cold, I think it caused me shoulder trouble that was made worse by long days of intense keyboard/mouse work, and the caffeine in one or two cups of coffee per day.
i wouldnt call it anti-social. I mean, can't you make the same argument to WFH people dictating the opposite?
you built a internal project, co-hosted with a database, with a password 'abc123'

a month later, your manager decided to share it with other teams, the decision was made in a meeting which you're not invited

when the manager came to you, you asked:

- how about give me a week to make it a saas, with authn/authz

- no, we don't have the time, just tell them the endpoint and the password

another month later, something changed, your company built a partership with another company, your manager decided to share the project with teams in the other company

you asked:

- how about we do something like virtual network peering so that we can share a connected network with our parter

- it's complex, we can not change the network status of our partner, and we don't have a responsible role for this work, just give them the endpoint and the password

password 'abc123' is just a analogy, in this case, there's no password at all
Net-zero homes are a solution for climate change, but are out of reach for most
> No, it makes his mom the account owner.

Which makes the phone numbers under her account hers.

> Just because I pay the bill for mine and my wife’s phones doesn’t mean her number is actually my number.

It absolutely does mean that her number is actually your number. That you choose to share it with her doesn't change that; you can revoke that sharing at any time, or even cancel the line entirely.

(And of course, if both of you jointly own the account, then the numbers therein would simultaneously belong to both of you.)

> Imagine operating a company and the CEO isn’t the one paying the phone bill, it’s the accountant, and you claimed that it’s not the CEO’s phone number, it’s actually the accountant’s, but it’s shared with the CEO.

Is the phone bill under the accountant's name and paid from the accountant's personal bank account in this hypothetical? Or is it under her employer's name, and paid from her employer's bank account? The answer to that question determines the owner of the CEO's phone number, and in neither case is the CEO himself personally the owner of that number.

> The number is assigned to a person on the account which has nothing to do with who pays the bill.

And if that assigned person was the son then it would've been the son's name that Google pulled instead of his mother's, and Google's ignorance of its own advice would've gone unnoticed.
> not things like multiplication

in order to perform that kind of canonicalization/folding/cse you effectively need to embed a whole-ass tensor ops interpreter into your compiler. note this isn't so far-fetched

https://github.com/openxla/stablehlo/blob/main/docs/interpre...

the problem is it needs to be performant as well. so what some people do is jit these canonicalizations using the compiler (yo dawg i heard you like compiling...).
Fission reactor has to be big and has to deal with storage of a lot of nuclear waste and must implement a lot of expensive measures to stop runaway reaction in case of unexpected events.

Fusion has none of this. Assuming Q >> 1 will be demonstrated in a design that can be commercialized the next biggest problem is dealing with high-energy neurons on a scale never experienced before with potential much faster degradation of materials than anticipated leading to prohibiting operational costs.
It is a good question. I can say that, briefly, you have to take two things for granted. 1, that the real numbers can be constructed, and 2, that the number of computable numbers is countable because the number of programs describing them is countable. Therefore there must exist uncomputable numbers (and in fact, 'almost all' real numbers are uncomputable).
The linked poetry Issue is pretty understandable why they aren't going to support it. I've honestly never heard of any dependency resolver that allows you to dynamically inject an override of a package's built in specification for an indirect dependency.
Point blank, that's a packaging failure and the solution is, and always has been, to immediately yank the offending package.
That said, the Python case has pretty limited ability to specify dependency package versions, which makes it nigh impossible to handle it downstream by blocklisting specific versions from an otherwise contiguous range.

Take for example the werkzeug package that released a breaking API regression in a patch release version. It didn't affect everyone, but notably did affect certain Flask(?) use cases that used werkzeug as a dependency. In a sane system, either werkzeug immediately removes the last released version as buggy (and optionally re-releases it as a non-backwards compatible SemVer change), or everyone starts looks for an alternative to non-compliant werkzeug. Pragmatically though, Python dependency specification syntax should have a way for Flask to specify, in a patch release of its own, that werkzeug up to the next minor version, _but excluding a specific range of patch versions_, is a dependency. Allowing them to monkey patch the problem in the short term.

It should never be on the end user to be specifying overrides of indirect dependency specifications at the top level though, which is what was requested from the poetry tool.
The smugness of silicon valley meets the inefficiency of big government

What could go wrong
re: 2: yep, I see that comment now...
Thanks!

That's correct: 2, 3, and 5 are currently available. This initial set was intended as a minimal (albeit limited) set that demonstrates the UI capabilities. More widgets/controls (including the ones you've mentioned) are definitely coming.

7 is something I've considered (along the lines of a redistributable "Scripton runtime" that packages up the scripts and bundles a portable Python distribution). However, that's currently much further down on the todo list.
Shitty printers.
Incorrect, I'm afraid. The "plain real world value" does not necessarily have any correlation to the number of users, so your argument again fails to hold water.

Simply consider the users that use generative AI in order to perform some unimportant work (as I hope is the case, for generative AI cannot produce anything of novelty, by design). If such work held no value to begin with, then through simple deduction you can conclude that the generative AI contributed nothing of value.

The only outcome worthy of consideration was the time reclaimed by the user not performing such mundane tasks (so that they can move on to perform... more mundane work?), in which case one must question the larger scope of process at hand.

This is just one counterexample to your underlying premise for your argument - that you know nothing of how the users use such tools, or whether their use even brings anything of value to the real world.

The point being, the number of users is a number with no meaning. It is a number used to inflate the faux excitement surrounding AI and nothing more. "Falling for the hype", if you like.

Extrapolating your faulty logic, I could say a pornography website is of extreme value to humanity. After all, literal billions of people visit such websites very frequently. This must bring real world value, no? Or cigarettes? Or TikTok?

If your definition of value is derived from self-indulgence, e.g., how much time one can spend away from work with AI, or how much one can smoke because it feels nice in the moment, i.e., the hedonistic evaluation, then by all means, spoil yourself. After all, I don't stand to revoke those liberties anyway.

But understand, that this definition of value is not the same as "plain real world value" by necessity, and as such, the "number of users" is no guarantee.
To make money, you have to solve a problem for somebody. The problem you solve has to be higher value than what you charge.

Given the plethora of existing form solutions out there, is there niche where you meet that criteria?
The absolute cruelty you've shown here is absolutely astounding. That "minor interruption" is the well-being, livelihood, and lives of real people. You'd never walk up to someone who lost their home, had love one die, or suffered a debilitating illness because of your "scream test" and talk to them about the "major results".
Humane's $700 AI Pin Discontinued and Defunct After Less Than 1 Year
Perhaps I’m biased because I played the game when I was 14 and had much more free time to dedicate to it, but it’s my impression that Grim Fandango was known for having few of the rubber-chicken-with-a-pulley-in-it type of puzzles.

As for your question about “what is the player being challenged to do?” I had to sit and think for a bit. I think the most straightforward answer is to just think abstractly and make connections in the context of a humorous noir story. You certainly aren’t being challenged to solve a mystery, but I’m not sure it really matters. I’m not sure if you mean it like Chess challenges you to vanquish your opponent and The Witness demands color/pattern/maze analysis.
How much you're willing to pay to have things done certainly has a very direct relationship to the amount you've got left over at the end of the month. Pretending that's not true because you can't literally weight up hourly rates isn't very useful.
The exact stack trace may not be very necessary, but tracing the chain of calls, especially async, can be hugely helpful in troubleshooting, performance tracking, etc.

In Node, I remember wrapping Promisesromises into objects that had a stack for pushing messages onto them, so that the creator of a Promise could mark the calling site, and creating another Promise within that promise would pick up the chain of call site names and append to it, etc. Logging that chain when a Promise fails proved to be very useful.
Yeah, great question! The earliest quantitative measurements people make are around how much time is being saved, but people are also measuring deflection rates in AI support chatbots (better docs => better support), which is strongly correlated with CSAT scores. Measuring reduction in churn or increased inbound takes several months to prove out, and we just haven't been around that long :)

We'll definitely be posting some case studies in the coming weeks, though!
Not interested until you can replace batteries.
That reason would require depth and understanding. Neither if which I feel happened. It’s nothing more than a show of power for headlines. They aren’t sending the ‘bad ones’ there. The ‘there’ is just a convenient way to convey ‘tough’. And they can’t do the work of looking at the people they arrested to pretend to even send real baddies.
Sounds like you’re doing great and picking up a lot from your little one already. Congratulations to you all. It’s extremely rewarding.
“Velocity of money” is an abstract theoretical concept from the monetarist book which is defined tautologically and has nothing to do with what it claims to be (which is annoyingly common in economics, “productivity” is the same)
WFH people do not stop YOU from going to the office. We simply do not care if you do or do not. Only the RTO people seek to control others.
The executive branch has the power to fire people, but not to cut departments when those departments are established by congress.
No.
I read a migraine book which boiled down to once you figure it out, your migraines change. Meds stop working, life changes, stress, etc. I routinely get month long migraines over the years. I’ve had all the scans, Mayo Clinic visits, eyes checked, and follow-ups.

They say it’s helpful to log things or journal but I don’t feel like it much with a migraine and blurred/double vision.
Those are some sad numbers.
They do but I'm sure Humane has something in their Terms of Service about 'We can discontinue service at any time.'
I hit 60k per second in 2020 on a 2-core, 100GB SSD installation of PG on GCP. And "tuning" PG is way easier than any dedicated queueing system I've seen. Does there exist a dedicated queueing system with an equivalent to EXPLAIN (ANALYZE)?
Grid scale storage holds potential but for now it isn't economically viable for industrial base load. Residential customers are probably manageable but factories and data centers have to run 24×7: they can't shut down just because the sun isn't shining and wind isn't blowing. It's clear that the USA has to rapidly reindustrialize if we want to keep having stuff. For political and demographic reasons we won't be able to count on China as a reliable supplier much longer. Domestic electricity demand is going to grow much faster than the storage supply can keep up. The only realistic current options for that base load are a mix of fission and natural gas.

Maybe fusion will be an alternative someday but for now it's just a fantasy. We need to act based on what's proven to work today.
This is interesting. I frequently had them triggered by riding BART in the late afternoons in the winter, sun beating in through the dirty windows. Going through the tube (dark) and emerging in Oakland (raised track, clear view of the sky on both sides) had a double-digit % chance of giving me a migraine if my eyes were open at one point.

I can get them triggered by riding in a car in similar conditions, too, especially if the windows aren't squeaky clean. I frequently wonder why that is, something about the remaining spectrum of visible light when the windows are dirty?
Oh boy, lay in stores of popcorn! I guarantee that Musk has no idea how important the EDGAR data feed is to the daily running of the markets!
Let’s restate your argument. If a country only had Musks, how well would it work?
As I wrote in this issue, I am exhausted. Microsoft has plenty of money to handle issues like this and chooses not to do so. I have spent hours now reaching out to GitHub in vain, tracking down people affected, and trying to figure out how to get someone to give one single flying fuck.

So what the hell. Let’s make the CISO’s slideshow intro to GitHub popular.
For whatever it’s worth, too much caffeine and dehydration does this to me. Chugging about 48 oz of water and throwing on a face mask for 30-60 minutes usually clears it up. If I do “nothing” it takes significantly longer to clear up.
You'd think from all Elon Musk's press with DOGE that this is his only job. But he's actually simultaneously CEO of 4 major companies, which explains how he's spread a bit too thin to correctly supervise the "Big Balls" layoff machine.
This + a button on watch to feed last x seconds of environmental data to a local micro LLM could be interesting.

"The user pressed button as the word `cromulent` was spoken by unidentified individual in front of ...",
"The user seemed to have been engaged in a snowboarding session when the button was pressed, ...",
"The user was screaming `computer LOCKDOWN LOC-aaagh` as they..."
Docker Hub Engaging in Dark Patterns
I just noticed my yearly plan almost doubled in price from $60 to $108.

Went to cancel my renewal, and realized not only is that not possible without downgrading my account and losing the access I have paid for (with well over half of the year I paid for remaining), but I can't change or remove the credit card billing information they have saved, either.
This game was one of my favorites. And many years ago I was pleased to learn that the lobby in the game was inspired by my Dentist's office (450 Sutter St in San Francisco).

https://www.doublefine.com/news/450-sutter
See https://math.stackexchange.com/questions/4216831/what-does-c... for some discussion on convergence using constructive mathematics.
You seem to have a bee in your bonnet about this, please stop submitting - this isn't a GH support forum:

If you work at GitHub security, you are bad at your job (12 points, 23 hours ago) https://news.ycombinator.com/item?id=43086058

GitHub flooded with malware repos spoofing real projects–no response from GitHub (13 points, 3 days ago) https://news.ycombinator.com/item?id=43056128
The choices you made make perfect sense to me.

For what TRMNL is it seems like a smart decision to me. I know CPU grunt is dirt cheap these days but you’d never get the battery life that you are if you put more smarts on the device. You’ve clearly optimized for something very useful.

I got mine a little over a week ago, I’ve been enjoying it so far. I was messing around with my settings tonight when I found your post and I thought it would do well here.

I love the idea that even if something happens I can keep mine going easily.
I’d paraphrase. I’d say that zero and one are the only objects. Everything else is a name.

So in a sense math is exploration of the relation between existence and nonexistence.
1. I dont think this is true.

2. 20% isnt close to enough of a premium to manufacture in the US.
Ahh yes, the constitutional power the executive has to say “I don’t like what the legislative signed into law and funded, so I just won’t do it.”
First of all both sides don't have the same level of legitimacy and then one side is blatantly lying about its intent by claiming that they are blocked by regulations instead of admitting that they are putting pressure (because they know they have no legitimacy to “apply pressure” on democratic institutions).
Plus the fact they’re even saying this puts them ahead of 99.9% of small device companies.

Given the source they’ve already released along with their BYOD option I’m inclined to believe them.
Here is a .NET web API

var builder = WebApplication.CreateBuilder(args);
var app = builder.Build();

app.MapGet("/{userId}", (int userId) => userId);
app.Run();

See `int userId`? If I call this API with `http://localhost:5123/asdf`, I will get an error because the types don't match. If I call this with `http://localhost:5123/1234` it will work fine. The same would be true if I required a class `User` here. The router is able to introspect the type at runtime to determine if the types match; both basic types like this as well as complex types using the built-in serializer. It is built in.

I've put it into a short clip for you: https://imgur.com/a/WNbGUQD
How did you manage it?
Their default play seems to be across the board firing all probationary employees. It's happened at so many departments it's hard to deny/ignore. Then anywhere that was/has investigated a Musk company gets an extra layer of layoffs in their investigative arms.
Show HN: Updated Live-updating version of 'What a week,huh?' meme with download
I was impressed by dlazaro's post[1].
I thought why not build something that returns image with live updates instead of just text.

added a download feature.

[1] https://news.ycombinator.com/item?id=43086479
WaSQL Wired – Weekly Advanced Tech Newsletter
I can only speak for my company, but we interview every qualified candidate. Sure we may get 100s of applicants per position but 90% easily don’t read the job description and are just blasting out a resume trying to get hits.

The remaining ones will at least get a phone screen and if they have relevant knowledge and experience will proceed.
Those founders milked their “ex Apple” creds to the limit. I was at Apple and they were just bozos
You just submitted this: https://news.ycombinator.com/item?id=43094483
surely there'll be some process of background checks

anyone who has ever said 'eat the rich' 'free palestine' 'something in our society went wrong' in sns will be rejected by the process
Yes, a forum of people interested in software development might care that most new repositories created on the most popular website for sharing open source code will end up spoofed and sharing malware?
Grok (unlike Deepseek) has yet to show any ability to make conceptual breakthrough. I don't like OpenAI at all but one must admit that they are at least showing that they can move the field forward.
I'm quite certain they wouldn't do it twice.
> That is such "half-court tennis" thinking about geopolitics, that it is staggering.

Yep.

I can't account for it.

I'm 60+ and spent much of my life travelling through three quarters of the globe for geophysical exploration in search of minerals and energy, often in contentious areas (South China Sea, Mali, Congo, India | Pakistan intersticial zone, former USSR, etc.). There's a lot of bold plays for territory and resources made, a lot of fierce resistance.

The blind belief that the US and Russia get to dissect this and everybody else (EU countries, former bloc countries, Ukraine) will just go along with whatever the "major powers" decide isn't something well grounded in history.

Trump's goto move is over the top in your face bluster followed by taking ownership of whatever falls out as the plan all along. (eg: Taking credit for Canada delivering what was already promised before any tariffs were threatened).

That's suprisingly effective and swept his base along with him . . . but it doesn't work forever.
Given the reviews of the humane pin I wouldn’t hold my breath.
More like the HP rep saying “any chance we can still bill them 1 dollar a month ?”
I'm aware of adding domains one by one, but I want to add some lists like Hagezi Threat Intelligence Feed which is not available in the blocklists, and these blocklists have >500k domain list.

I'm currently using Blocky as my DNS resolver. It works fine and is super fast because of the fine control over caching, but I'm disappointed with its memory footprint. 400MB for a total blocklist of 1.3M domains
Do you get usage out of the 3rd row? I've had mine for almost 4 years and there has been exactly twice that I put someone in the 3rd row, and that person never wants to do it again.
Is Scoble still relevant?
If "legal" just means "whatever the supreme court says it is" without regard to corruption or logic then the word legal has more or less lost any useful meaning.