skysight-inc/HackerNews huggingface dataset:
> you're back to adding one of those limits into itself an other-limit number of times.

> some other definition of multiplication that's impossible to express as self-summation.

Ok. What happens if I multiply a number by pi? What does it mean to add something to itself, pi times?

> If sₙ · tₙ ⟶ 1, then that only holds true if tₙ hasn't actually reached 0.

I mean... it is in fact the case that tₙ never actually reaches zero; otherwise, if 1/n = 0 for some n, then by multiplying both sides by n we obtain 1 = 0.

What's meant by tₙ ⟶ 0 is that any neighborhood centered about 0 of any radius (call the radius "epsilon") always contains at least one point from the sequence {tₙ}.

To hammer the point that sₙ · tₙ ⟶ 1 home, and since you are fond of using a computer to perform arithmetic (note: not prove mathematical statements), here's what computers have to say about the limit of n · (1/n): https://www.wolframalpha.com/input?i=limit+as+n-%3Einfinity+...

> You just need to accept that zero is just as much of a mathematical special case as infinity - unsurprisingly, since it's the inverse of infinity and vice versa.

> the inverse of infinity

You again throw around words like "inverse" whose meaning you don't understand. Do you mean a multiplicative inverse, where a number and its multiplicative inverse yield the multiplicative identity, in which case +∞ · 0 = 1? Or an additive inverse that yields the additive identity, in which case +∞ + 0 = 0? Or some other pseudomathematical definition of "inverse" pulled out of a hat, like your definitions of +∞ · 0?

> if m is zero then the line being drawn never stops being vertical

Drawing pictures is different from putting together a formal, airtight proof in first-order logic that can be (in principle) machine-verified. Maybe I'll make an exception for compass-and-straightedge proofs, but that's not what you're presenting here.

Rudin was published in 1953, there are probably very good reasons for why this text has withstood refutation for over 70 years. Maybe you can rise to the task; publish a paper with your novel number system in which +∞ · 0 = 0 and 0 ÷ 0 = 0 and wait for your Fields Medal in the mail. Maybe you can collaborate with Terrence Howard and get a spot on Joe Rogan.
I'm not endorsing threats. But publishing their identities is absolutely protected speech.
What Musk is describing is a deranged conspiracy theory, that "shadow left" doesn't exist except as a modern meme-driven equivalent to right-wing fears of communist infiltrators and Jews in academia. It turns out this generation's totenkopf is an AI generated shiba inu.

And there isn't a "shadow right" either, but only because they're acting completely out in the open.
Changing contexts in classic puzzles trip up DeepSeek R1, o1, and o3-mini
Yeah, until you hit some turd in fortinet (see how they mangle SDP if you send re-INVITE in a SIP dialog, even with all SIP protocol handling checkboxes disabled) and have to spend weeks with support and many hours of debugging and back and forth just trying to convince them they have an issue, after initially spending ~ 10h of dev/debugging time on trying to convince SIP phone manufacturer they have buggy SIP phone, before realizing different SIP packets are arriving on a SIP phone then are comming from PBX, because of this amazing forticrap middlebox. All the while whole company has issues with SIP telephony during attended transfers for months on end, disrupting commuincation with customers.

That shit pays for itself. :D
Notice how that's not a story about price-fixing of a commodity but of a (delicious) intermediate industrial product destined for ultra-sophisticated buyers. There's no story about people price-fixing potatoes.

Also notice how the prices don't move up and down with incidents of potato blight or whatever.

Further: for this to be explanatory, you have to show why, after HPAI outbreaks subside... prices come back down.
Did you get a different question/answer than I did? For me it showed science as the only correct answer awarding 15 points.
> they wouldn't, because Altman would still be stealing other people's actual work

OpenAI is "stealing other people's [sic] actual work." The people rallying to it clearly don't care that much about it now. They wouldn't care whether it's a corporation or Sam Altman per se doing it.
Oh they want to eliminate the possibility of public filing a FOIA request. Democracy died in Darkness.
No, the executive is not allowed either to redirect or to stop or slow the Congressionally apportioned funds.

This is called impoundment and it's unequivocally illegal.
Wherever I can, I use FreeBSD (on servers). That's a first class solid operating system.

Your ramblings about Snaps are just lame. I've never seen any real issue with snap apart from a childish whining to show how much of a rebel are you. "Mommy, I won't use that snaps because they're ugly. But what's wrong with them? They're ugly because I don't like them!"
> I agree that the time unit should be in the variable name

Also a terrible solution!

The code suffers from primitive obsession. Unless you're in a code section that is known to have performance issues, use real types.

time = time.plusMilliseconds(1);
Could it do exactly the same with a web page? Would this replace something like beautiful soup?
I really need a ChatGPT summary of this article
You seem to realize you are making a prediction, at least to some degree, now.

However, that one has the capability sometimes is no guarantee that they can do it at all times, or even on demand.

Consciousness is generally not considered to be a part of the stack, despite it being the majority of it.
Me too.

Federation is indeed a good start, but DeFi helps spur adoption by having a broader scope.
Sorry I shared the wrong link, check the main website: https://sawtly.com/
Who's the best independent expert/contractor you've worked with?
I'm working on compiling a list of exceptional independent experts who work with startups - the kind who can transform projects or unlock massive value. Not looking for agencies or firms, just independent practitioners who are true masters of their craft E.g. recruiters, lawyers, fractional CXO, advisors, etc.

If you've worked with someone exceptional, please share:

- Their domain/specialty
- The specific impact they had
- What made them uniquely valuable
- Rough price range (if you're comfortable sharing)
- How you found them

The goal is to create a resource that helps founders find those rare independent experts who can unlock huge value. I'll compile the responses into a searchable list for the community.
If you can’t see that precedent has been set for this already, given the implementer and their proclivities, there is indeed no hope for this discussion.

Or were you just trying to bash trump because you’re angry?

That’s cool if you’re angry, but you’re missing the actual debate.
Same, it’s my most used streaming service and it also feels good to support creators a little bit while also not having ads on my TV / app where ad blocking is harder.
Who cares about eggs when we now have the Gulf of
Yes. It really should be "make" and "make-noguile", but we have what we have. In practice, you actually want the "remake" package. This is a fork of "make" that's a drop-in replacement (since it is the same code), has guile enabled AND contains an interactive debugger.
As a fan of irony, many thanks!
It seems like common cases like this should be handled correctly by default. These are cachable requests intended for robots. Sure, it would be nice if webmasters configure it but I suspect a tiny minority does.

For example even Cloudflare hasn't configure their official blog's RSS feed properly. My feed reader (running in a DigitalOcean datacenter) hasn't been able to access it since 2021 (403 every time even though backed off to checking weekly). This is a cachable endpoint with public data intended for robots. If they can't configure their own product correctly for their official blog how can they expect other sites to?
Your post will probably unfortunately get flagged, but I have observed an increase in my discussions with friends about politics overall, specifically DEI
I would argue that war increases the factual value of workers. It isn't a moralistic redistribution.

It is hard to fight against economic reality, like low market value of highly replaceable labor. However, situations can change that increase demand or make labor more scarce. War is one of those situations.

Now I think that binding social contracts are garbage and used to crush peoples lives for vapid soundbyte.

The only way to ensure social collaboration is positive sum is by keeping it keeping it voluntary. When people have no opt out, they are mercilessly exploited, if not by corrupt politicians, then by a majority whenever they can.
> The president definitely has the authority to audit and/or stop illegal, fraudulent or just wasteful transactions.

This is not true. Obviously.

That would give the President carte blanche authority over the budget by merely declaring "illegal/fraudulent/wasteful."

Go re-read the Constitution before posting this bullshit.
The formatting has been (partially) fixed since it was posted.
Ask HN: Has any side project of yours made a significant amount of money? (>$5k)
There's obviously some number of mistakes one party can make in a single incident such that the other has a limited probability of preventing an accident. If flight control is the robustness, it would take flight control with a lot of free time to be reducing those mistakes in pilots by following up on all sorts of errors unrelated to an incident until a pilot rarely makes multiple overlapping mistakes.
Enron is making a comeback now: https://www.cnn.com/2024/12/02/business/enron-resurrected-jo...
Democracy Forward has brought many of the lawsuits against the president’s executive overreach IIRC. Democracy Docket has had a lot of success protecting voting rights.
I couldn't agree more - I'm not sure why there is no focus on addressing gaps sooner.
That raises the question: how much faster can we read without speaking, than read aloud? I'm guessing its a number less than 2 times.
People have to vote for one party or the other. Voting for a party doesn't mean they want every single thing promised by that candidate, it just means they think the sum of all things from that candidate is better than the sum of all things from the other candidate. If this whole DOGE thing was hypothetically not directly connected with any party, I would guess that most americans would have voted against it.
Bjarne has nothing to do with the HTML/CSS pages of the ACM site, which select for displaying the code the default monospace font that is configured in the browser of the user.

If a proportional font is used for rendering, the most likely cause is that the user has not configured the default monospace font in the settings of the browser.
If they get judgement from US court can they enforce it in another country where US government has some assets?
>> There is no point buying everything as a streaming provider. It doesn't get you more customers and it costs money.

The way Amazon prime does it is much like a traditional cable provider -- you can opt into channels (e.g., Hallmark channel) for additional fees per month. Everything purchased appears on Amazon as a universal bucket of content, same UI same everything. Amazon appears to handle the tech and billing. As a consumer, it is beautiful -- you can subscribe and unsubscribe from services monthly, rather than waiting for some once-every-3-yrs renewal contract. You can do everything online rather than waiting an hour for customer service. And thank heavens you dont need to install some random half-baked streaming "App" via the Samsung TV App store.

I'm assuming Amazon takes a cut of the monthly fee. If the MRR of the monthly cut Amazon gets is higher than the cost to deliver, it is a first order win. I assume the marginal engineering work is trivial. I also assume the only marginal costs are the extra metered cost of bandwidth, storage, etc.

I do think there is an issue though -- if the cost of the bundler (Amazon in this case) gets too high, I can see consumers scared off by this ever-increasing bill (Imagine you had a $50/mo netflix bill for example.) Of course, for Amazon this isnt a problem since practically every human I know has a load of random Amazon Marketplace charges on their credit card already they cannot reconcile anyway.
For data extraction from long documents (100k+ tokens) how does structured outputs via providing a json schema compare vs asking one question per field (in natural language)?

Also I've been hearing good things regarding document retrieval about Gemini 1.5 Pro, 2.0 Flash and gemini-exp-1206 (the new 2.0 Pro?), which is the best Gemini model for data extraction from 100k tokens?

How do they compare against Claude Sonnet 3.5 or the OpenAI models, has anyone done any real world tests?
Of course it's at least a little deceptive, it's from an industry association PR page. When I said anti-biotics are used as a preventative measure, that wasn't meant to exclude their use for other non-medical purposes, but that's a more complicated argument.

I posted that, not because it is an unbiased source, but because if even that biased of a source admits it, then it's hard to dispute.
You don't even need to use a different browser - Firefox has an official "Multi-account containers" extension that lets you assign certain sites to open in their own sandbox so you can have a sandbox for Google, another for Facebook, etc.
> And I don't find the argument convincing that because some of his policies are similar to Project 2025's, he must subscribe to ALL of them.

Otherwise why he would be personally so close to this project then? That doesn't make sense.

> Donald Trump gave Elon Musk the power of Special Government Employee (SGE), which is defined under U.S. federal law

That's not enough to make what Musk is doing legal, this status is mostly for an advisor and Musk is an active executive member. The real way of making it legal is going through congress.

Not to mention the other DOGE workers which as far I know have no status at all.

> I'm not making any claims about the future. I don't have a crystal ball. I am clearly arguing that you should accept the will of the people in a democracy

Well there's two things which are not true here in this sentence. First he lied about his actions (unless you can find me a statement where he says that he'll put Musk in charge of dismantling the government), so it's not the will of the people, it's the will of Trump.

Secondly, he's not using the executive and legislative right now so it's hardly democratic, it's something you see in authoritarian regimes. In the EU, only Hungary works like that.
*Politico Pro, specifically: https://www.politicopro.com/pro-features/stakeholder-managem...

So lobbyists, consultants, and NGOs can still get access to the PR tool - just not the policymakers themselves.
I agree, if the information is available electronically they should just automatically process it with no fee (I assume this is how it’s handled most of the time anyway). At least you can opt out of the process, but then you’re responsible for filling out all the forms, which suck since ATLAS is not a nice system to work with. Maybe in the future they’ll get rid of this admin fee.
> I wish more people would be circumspect about the genre of problem they're trying to solve and how their framing railroads them into a particular type of solution that might have a better method.

Do you mean "explicit?" "Circumspect" seems like not what you want.
Has the government's right to mow down civilians with helicopter-mounted machine guns been tested in the Supreme Court lately?

That's where there absolutely is room for debate.

This argument can apply to literally anything.
Probaly totally fine for a "fintech" (Crypto?) though. Most of them are just burning VC money anyway. Maybe a lucky customer gets a windfall because Gemini added some zeros.
I liked linuxbrew up until it set up python in a way that broke a lot of apps for me. I keep meaning to give it another try, but there are only so many hours.
The programmers of these bots are not lazy - this space is a thriving industry with a bunch of commercial bots, the abiluty of whcih to evade cloudflare/etc is the literal metric that determines their commercial viability
There's also the Moravians and Lolards. Everyone knew Catholicism needed to change but it wasn't until the Reformation the pressure existed for the Counter-reformation to overcome the obstacles within the Catholic church.
In C, C imports are in the global namespace. The language is also compiled sequentially, so often, time is spent ensuring headers are included in the proper order, hopefully avoiding a cyclic dependency. In Zig, C imports are done in a struct with a local namespace or imported package definition and the ordering is not relevant to compilation.

I think parent means that Zig is a better language with regards to being the target for C to be imported into than C and that is the benefit of being a more modern language with flexibility following more modern conventions. This is combined with the mostly seamless ability to utilize most C functions and types without too much strife.
This has been very difficult over the last couple weeks.
How are the prices so out of whack from one area to the next? I just bought eggs for $3/dozen last weekend.
It’s not that the sky is falling, it’s that we’re autocratizing. Usually that’s a gradual process.
> Canada handles this balancing problem with equalization payments between provinces

So then there is a federal "department" involved in education...
Rate limiting doesn't help if the requests are split under hundreds of sessions. Especially if your account creation process was also bot friendly.

Fundamentally it's adversarial, so expecting a single simple concept to properly cover even half of the problematic requests is unrealistic.
>Everyone has a plan until they get punched in their face (by landmines in legacy code)

unless you have the old maintainer on call (I rarely did due to them leaving the company years ago) you definitely need to move slowly. rely on test suites if you are blessed with them. Submit small changes that pass tests.

BTW, nice and timely username.
notice how these solution requires a dedication to diversity throughout the process from candidate sourcing to interviewing and all the way through, and not some simple cut and paste answers.

The road to a more inclusive solution is dedicated effort, with continuous re-assessment at every step. There is no magical answer.
"Now" is a point in time.

I used a very unpopular meme though, so unpopular you may not be able to see it.
I don't completely understand it but Republicans manage cognitive dissonance better.

Around 1994 I was interested in Trotskyism and Anarchism and wasn't sure if we needed to get the 4th international back in the US or start a 5th international.

I believed in this really stupid kind of vanguardism where if you put up the biggest and most radical flag you would get everyone to rally behind it. I reformed because I got tough love from black nationalists who told me in no uncertain words they wanted to decide things for themselves and not get bossed around by some white guy.

A modern form of this involves the adding of random stripes to the rainbow flag which means that when you really do put that flag up you won't have anybody under it, at least not when the going gets tough, when it rains, etc.

For one thing left-wing movements have this divergent character where they feel they have to follow all these people who are subaltern for different reasons. Right-wing movements have this convergent character that moves towards something which makes it much easier form them to manage inconsistencies.
If you're from a group that is represented, in a company, at a smaller proportion than your group's proportion of the population from which a company hires from, how are you to assume anything but that you only got the job due to diversity quotas, if those quotas are in place? Wouldn't it make you feel worse about your own merits?
I think the issue is that Cloudflare tends to be a toggle-and-forget, it's very easy to use and it works for most people.

The problem with this setup, is that it sacrifices on both security (because it needs to keep false positives at a minimum, even if that means allowing some known bots) and user experience (because situations like the one you have will occur from time to time). When you enable a challenge page on CF, it will work as-is and you have no ruling over it, the most you can do is skip the page for the browsers having false positives.

If CF gave site owners a clearer view of what they are blocking and let them choose which rules to enforce (within the challenge page), it would be much easier to simply say that the customer running CF doesn't want you visiting their page/doesn't care about few false positives.
At a previous employer I tried to implement a Just Jar where people had to put a dollar in every time they said "Just do...". It didn't last because the boss was the biggest offender.
Both things can be true. This most recent hype cycle seems to be riding the wave from the related hype of Ghostty's public release and Bun's latest release. And recently, another project with decent name recognition by some announced intentions to rewrite in Zig. Other than the latter event which is merely an announcement as of now, this language is showing up in projects that people are paying attention to. That only brings more attention and to a degree, a certain amount of credibility, especially when the lead developer for Ghostty has a well-earned and positive reputation among the engineering community.
>try a to make a backdoor political statement.

Yikes. Not trying to make any statement other than legality and enforcement are two distinct concepts. I think it's important to consider all 4 combinations.

What political statement do you think I'm trying to make? I can't even identify what side of the aisle the statement you think I'm trying to make would fall on.

Sometimes a comment is just a comment, not a secretly coded political message.
> Most programming should be done long before a single line of code is written

What does this mean?
Streaming services mostly pay for licensed content up front. That’s why video streaming is much more like a traditional tech company - high up front costs with very low marginal costs compared to streaming music companies where their costs stream linearly with their revenues
I guess the markets think we'll get an answer before a full collapse
IMO it might be a good time for a constitutional convention after this. Our system has always had gaping holes in it and I think the outcome of all this could be catastrophic for so many normal Americans across the political spectrum that they'd be willing to actually close many of them in good faith.
I linked this article because it summarizes why the data is weird and links to multiple sources, and frames the problem in a way that can be engaged with in a relatively short format.

I find it telling that instead of arguing with data, points presented, or any source of counter argument, you act like the only argument in this article is “it’s right because I say so.”

Much easier to dismiss a position as “can’t be right because you were wrong on something before” than actually think I guess.
yeah, they should have absolutely piloted this approach, look at the results, re-avaluated or fixed things, try again, before making it the absolute new policy
Qualified applicants were discriminated against explicitly because of DEI initiatives.
Starlink yes, Bloomberg no. Can you explain it to me?
Yeah well some dude from South Africa is running around in government buildings fucking with computers and no one seems to be doing anything about it. Anything goes these days. Union or not.