skysight-inc/HackerNews huggingface dataset:
Be careful with making assumptions from modern, formalized set theory and the naive set theory.

The axiom schema of specification is added to avoid Russell's paradox.

A set in the naive meaning is just a well-defined collection of objects.

As ordered pairs are a binary relation, foundedness or order are operation dependant, and assuming an individual set is unordered is a useful assumption.

But IMHO it is problematic from a constructivist mathematics perspective. The ambiguity of a nieve set, especially when constricting the natural numbers, which are obvious totally ordered is a challenge to overcome.

I know the Principia was focused on successor sets, so mostly avoid it, but IMHO they would have hit it when trying to define an equally operation

If you remember membership and not elements define a set:

{a,b,c}=={a,b,c,b}=={c,b,b,a}

In a computing context, there were some protocols that may have been IBM specific that required duplicate members to be adjacent.

So while the first and the third sets would be equivalent, the second wouldn't be, so order mattered.

Most actual implementations just dropped the redundant elements, vs track membership, but I was just trying to provide an actual concrete example.

IIRC the axiom schema of specification is one of those that was folded into others in modern ZFC textbooks so it is easy to miss.
*grow up in
Pretrial Electronic Monitoring Should Not Eviscerate Privacy Rights
The original title of the article is:

> EFF to Massachusetts’ Highest Court: Pretrial Electronic Monitoring Should Not Eviscerate Privacy Rights
Scripts to simplify setting up a Windows developer box
Interestingly, compounding pharmacists still exist. When my son was less than a year old, he needed some medicine, but there was nothing we could buy over the counter for his weight. So, the doctor literally wrote the recipe down and sent us to a compounding pharmacist across town.
Or maybe it's due to the Dark Forest theory (https://en.wikipedia.org/wiki/Dark_forest_hypothesis#:~:text....)
Unfortunately some of the weird things I need I can't figure out who else sells them. I can search amazon or ebay and find someone but they don't have a presence elsewhere (at least not that I can find)
> How is this supposed to deter them

Unisys and Avaya are both security vendors. This absolutely is a bad look for them, as almost every Security RFP asks about internal controls and how a vendor has remediated against these issues, and this is ammunition for any competitor to ask a prospect to re-evaluate purchases from either due to misrepresenting their security procedures.

Furthermore, Unisys only has an operating profit of around $200M a year, so a $4M fine is fairly brutal (that's an entire security team's operating budget for a company at Unisys' size).

Avaya's is smaller still, so that $1M is fairly brutal for them
You are describing what happens with thermal losses, which as you say can be addressed by running up the voltage. But corona loss goes entirely at voltage and will come to dominate if you try kicking the voltage too much above current levels.
Happened to me on Ambien.
I totally agree with you. At orango.ai, we have implemented the auto-click feature, but before it clicks, we position the cursor on the button and display a brief loading animation, allowing the user to interrupt the process.
Go is lovely - it’s super pragmatic and things just work.
How Many U.S. Persons Does Section 702 Spy On? The ODNI Needs to Come Clean
F-35s Have Failed to Hit Readiness Marks for Six Years, GAO Says
Its like a pacifist run in the old Fallout games
Awesome, looking forward to testing it out. I really like that idea of being able to gradually migrate WSGI (Django) apps, or even support running both at the same time.
https://archive.ph/Nybp0

>A GAO report in September 2023 said the F-35 fleet’s mission capable rate in March of that year was about 55%.

https://www.gao.gov/assets/gao-23-105341.pdf
looking forward to it!

I'd be curious if y'all end up supporting adding filter attributes to the inverted index that can then be pushed down into the posting list traversal.

for example, a restaurant search app may have (1) an embedding for each restaurant but also (2) a cuisine. then, if a restaurant has `cuisine = Italian`, we'd also store its ghost ID in a `cuisine:Italian` posting list.

at query time, the query planner could take a query like `SELECT * FROM t1 WHERE cuisine = 'Italian' ORDER BY DISTANCE(..)` and emit a plan that efficiently intersects the `cuisine:Italian` posting list with the union of the partitions' posting lists.

this feels to me like a potential strength of the inverted indexing approach compared to graph-based approaches, which struggle with general filtering (e.g. the Filtered-DiskANN paper).
There is such praise, just not on this post, but what's powerful about the story of Ramanuja is where he came from. The almost-miss that the world would not have his genius, but for a couple of lucky turns, is a powerful driving story about a diamond in the rough. I'm no such a genius, but the idea of being discovered is very alluring; to idly fantasize that I have some gift that could lead me to fame and riches. It's that nice feeling to hold while reading and thinking about his story.
This seems to be the fate of knowledge/content that stays in institutions which have been built with the idea of collecting it and growing it.. but have turned into walled gardens/crypts of sort. Rot/Rust and be forgotten.

A very cynical and dark view is that the New things/people need that oblivion in order to feel great, for not haveing to compare with old great-er ones. Rewriting history as it seems fit the current powers-that-be, is easier this way.

Or may be it's just collective stupidity? or societal immaturity ?

(i am coming from completely different killed project on a different continent, but the idea is the same)
I like the font, images, and layout of this article. Does anyone happen to know if a tool (that I can also use) helped achieve this look?

Or if not, does anyone know how to reach the author? I may have missed it, but I didn't even see the author's name anywhere on the site.
>I wish my home country could be as brutally honest with itself about its past and work as hard to make things right as Germany has been the last several decades.

Given how Germany is treating those protesting its support of Israel's ongoing war, some would suggest that Germany isn't being quite as brutally honest one might imagine.
HTTP 429 Errors: How to Avoid, Handle, and Build Them
Probably better advice is from expired patent holder Don Lancaster: https://www.tinaja.com/glib/casagpat.pdf

> Now, the patent system may or may not still retain some
marginal utility in a Fortune 500 enterprise. But, as a
Midnight Engineer or other small scale startup, nearly any
involvement whatsoever with the patent system in any
way, shape, or form, is virtually guaranteed to cause you a
monumental long term loss of time, money, and sanity. I'd
guess the main problem is the mythology that has built up
around the patent process over all the years. A mythology
which no longer applies to the Midnight Engineer or to a
small scale startup.

For those who don't know, Lancaster was for decades one of the best-selling authors on electrical and electronic engineering, with columns in popular magazines. He was constantly providing consulting services to engineers who were designing products, too. I don't know if he ever had a commercially successful product himself other than his books, but I still think his reasoning is worth weighing.
Mathematics is entirely founded on human invention.
That is a very good approach imo. It takes into account a very basic truth: As an engineer or scientist, you really do not know how to explain technical stuff to a judge with whom you have very few common professional points of reference. It is the patent attorney's job to translate engineering lingo into something a brain subjected to years of legalese can comprehend or at least handle sufficiently well to make a reasonable decision.
Ask HN: Is Bunny CDN Down?
Noticed many sites are not loading. Bunny login is showing 502. Is Bunny CDN down?

Status page does not show any issues https://status.bunny.net/

Edit: Finally the status page is showing that there is an issue
A car needs a battery pack, which consist of modules, which in turns consists of cells.

That one has five modules per pack: https://www.batterydesign.net/2021-mercedes-eqa-250/

That one has twelve modules per pack: https://www.batterydesign.net/mercedes-eqs/

So, we talk about maybe an order of magnitude lower battery packs (5k-10k).

They sold like 46k electric cars in Q2 of 2024.

I think, the point of saying it is a modest start is more judged against the total number of cars sold in total (in Q2: 496,700).
Me thinks we might switch batteries to sodium in just a few years.
> Wait, am I crazy for thinking relations are not sets? Two sets can be coextensive without the relation have the same intension, no? Like the set of all Kings of Mars and the set of Queens of Jupiter are coextensive, but the relations are different because they have different truth conditions. Or am I misunderstanding?

No-one can stop you from using terms as you please and investigating their consequences, but, at least in modern mathematical parlance, a binary relation is the set of ordered pairs that are "related" by it. (Your relation would seem to be just a bare set, or perhaps a unary relation, not a binary relation which I think is what is often meant without default modifier.)
> If something similar is the case, most jobs that can be done remotely will be automatable in a couple of years.

I'm really curious on the cost of that sort of thing. Seems astronomical atm, but as much as i get shocked at the today-cost, staffing is also a pretty insane cost.
Christ almighty you people are exhausting.
> Do you expect young adults to come out of school with the correct doctrine in place so that no further thinking or discourse is necessary?

Definitely not. I do expect them to listen before speaking out. It was a hard lesson I myself had to learn when I was one of those young adults coming out of school. Sometimes, conventional wisdom is just accrued prejudice. Sometimes it is accrued experience and people are as they are for a reason. It's probably best to have enough information to know before staking a position openly and pushing other people off their own.

> Where would one go to have an intellectual discussion in safety?

Traditionally? The bar. I'm not even kidding. This is the kind of thing people discuss face-to-face most effectively. We do less of that these days.
A Smalltalk VM: https://github.com/Zag-Research/Zag-Smalltalk
Does this make cursor obsolete?

You can just use any IDE you want and it will work with it.
What's the use case? Analytics on humongous quantities of data? Something besides that?
YC's Scaling Problem (a speculative analysis)
Haven't followed specifics in North Carolina. But it seems as though the structure of statutes allowed the court to disallow the action(s), hopefully via injunction to prevent inappropriate implementation. This would however, support the case that statutes and understanding of intent are there.

Hopefully in the other unnamed states/actions that have been taken since, the impact will be small, or preferably, their actions will face similar repeal.
Since Neovim 0.10, `:tab term` now opens the terminal window in a new tab. And you could use the exact same command in Vim since they introduced their own terminal emulation feature in Vim 8.0.0693.
Welp, time to switch to a linux phone.
So it's behaving like our brains. Yet it's not AGI.

Does that mean our brains do not implement General Intelligence?
With Math Notes, you just write with your hand `log₂(1024)=` and you'll see the result. No slide rules, no buttons, just magic paper that does math. In this case, the logarithm is the tool I want – not slide rule, not handheld calculator. The less UI, the better UI.
I never knew anything about this. I love discovering this sort of thing!
Absolutely! This reminds me of the humanoid robots vs specialized machines debate.
bro I hate school
If your audience is North American English speakers, on the login page, use "For the full experience".

Using fullest in the context of 'lives life to the fullest' is grammatically correct but English is strange and for this context you'd want the former.
I feel pain for the people who will be employed to "prompt engineer" the behavior of these things. When they inevitably hallucinate some insane behavior a human will have to take blame for why it's not working.. and yea, that'll be fun to be on the receiving end of.
> Does the rule apply to private citizens? I wonder if the First Amendment agrees

> with penalizing private citizens "who don’t have experience with the business or

> product/services, or misrepresent their experience". They may mean that

> businesses can't engage people to write such reviews.

The First Amendment doesn't typically protect your right to commit fraud, no.
If an app pops up a "rate us" modal, it gets a 1-star in the app store, with a note to the developer why. I don't care how great your app is.
I just include text that I own the device in question and that I have a legal team watching my every move. It's stupid, I agree, but not insurmountable. I had less refusals with Claude 3 Opus.
The FTC can force Amazon to do more about it. Just proving they are trying would be a big help.
There is a very nice MQTT client C++ implementation that works great on embedded devices too. As it so happens, it is right now under formal review for inclusion into Boost.
It is called async-mqtt5 and can be found at:
https://github.com/mireo/async-mqtt5/
> developers can direct Claude to use computers the way people do—by looking at a screen, moving a cursor, clicking buttons, and typing text.

So, this is how AI takes over the world.
Perhaps it's just because English is not my native language, but the prompt 3 isn't quite clear at the beginning when it says "group of four. Words (...)". It is not explained what the group of four must be, if I add to the prompt "group of four words" Claude 3.5 manages to answer it, while without it, Claude tells it is not that clear and can't answer
Yes, (old) 3.5 Sonnet is distinctly worse at emotional intelligence, flexibility, expressiveness and poetry.
Ask HN: What's the most positively impactful software ever written?
What piece of software has brought about the most human happiness? Let's ignore examples that lack counterfactual support, e.g. 'the software that ended WWII prevented x'. My intuition points to medicine but I have no concrete example.
This is exactly the benefit of creating your status page with a static site generator. It's fashionable nowadays, saves on the useless hearthbeat procedures, and of course 100% uptime is even more than 99.99999%.

(Edit: the status page was updated meanwhile)
thank you for kind words :)
I really don't get their model. They have very advanced models, but the service overall seems to be a jumble of priorities. Some examples:

Anthropic doesn't offer an unlimited chatbot service, only plans that give you "more" usage, whatever that means. If you have an API key, you are "unlimited," so they have the capability. Why doesn't the chatbot allow one to use their API key in the Claude app to get unlimited usage? (Yes, I know there are third-party BYOK tools. That's not the question.)

Claude appears to be smart enough to make an Excel spreadsheet with simple formulae. However, it is apparently prevented from making any kind of file. Why? What principle underlies that guardrail that does not also apply to Computer Use?

Really want to make Claude my daily driver, but right now it often feels too much like a research project.
I think you are assuming there are a unique 10,000 people for each gifted individual. I think it safe to say there is overlap and that those 10,000 people are each going after several gifted people.

You also appear to be assuming there are no mid range people who everyone ignores, that is going to be the majority of the population.
I've heard people say to turn empty offices into housing but not kick everyone out to do so. I think the disconnect is that if you think 1-2 days in office is the compromise you don't get why remote work is valuable. Half in office is still in-office. I don't own workwear clothes, we only have 1 car, I can stay a few weeks with friends in other cities with no issue, I get 2 hours more sleep every night with a consistent sleep schedule. All the good perks happen at actually remote.

Office available with social events and meetups is supposed to be the compromise. The part that I can't wrap my head around is what is gained by making someone who doesn't want to be in office show
up? The folks at $dayjob in that position literally just sit at their desk with headphones for 8 hours.
They are selling dollar coin flips for 36 cents
Tangent: on this webpage, their choice to have so many videos autoplay saturates my USB 3 dock, and breaks audio sync on the video that I actually want to play. I think that's a first for me.

The product looks pretty great though.
It also shrinks your white matter I think, and has other gigantic bad effects.

Source: am bipolar and take 600mg daily.
The US Govt, unlike any other country, has the ability to print unlimited amounts of the world's reference currency. It also has no effective cap on its annual deficit or total debt. In other words, anything that the US Govt chooses to spend money on, it already can, with little oversight and no limits. That's why collecting additional revenue from billionaires, or any other source, has no effect whatsoever on how that govt spends (or "redistributes") money. US Govt's priorities are military, social security (which actually does keep many older people out of poverty), healthcare, and paying interest on its debt. You'll need to change the core priorities (including reducing deficit & debt) before collecting more money actually goes towards the goals you're seeking.
This wows me as a lay person, but can anyone who's worked in mo-cap tell why or why not this should impress me?
I use Lua for small scripts on my small server at home. I use it inside OpenResty, one file per URL, sometimes calling local programs and always printing HTML for the browser. It's small and it works.
I mean everyone on this thread seems to be pointing to the negative. I would like to point out that what we have achieved from a civilization perspective is literally through education and the structures that we have have gotten us this far. It is a broad tool and could be better. However lets not throw the baby out with the bath water because of all these anecdotes. It feels a little like everyone complaining about capitalism for all the woes in the world.

Maybe it's worth a bit of perspective.
bro who wants their record cleard
I used Vue 2 for a number of years and see what you mean about Vue 3.

I don't think this is what happened with Svelte though. I never used v1 but v5 simplified and distilled a lot of things vs v3 (and v4 which was almost identical).
wow, i almost got worried but the cute music and the funny little monster on the desk convinced me that this all just fun and dandy and all will be good. the future is coming and we'll all be much more happy :)
Say Lithium becomes essentially free because we find so much of it…would that drastically lower battery costs? Is our current supply of lithium limiting production?
Contrary to the guidelines of design, I really like it.
Then the publisher loses out on exclusive publishing rights and also loses money. It's in their interests to keep it in print so long as it's a profitable book, even if they have to pay some percentage to the author. Once it goes into public domain every publisher can reprint it and the original publisher has to compete with them on price.
Walmart shuffles parts the other way - the barcode will change every year or so or whatever so they can be sure to clearance out the old.

Walmart’s online store has some similar problems. But you maybe it $5 to lost a product, $10 to change it, problem solved. Now you can hire real humans.
Amazon must be quaking in their boots.
DuckDB probably performs better per core than clickhouse does for most queries. So as long as your workload fits on a single machine (it's likely that it does) it's often the most performant option.

Besides, it's so simple, just a single executable.

Of course if you're at a scale where you need a cluster it's not an option anymore.
Yeah that's what I do. If you use anything other than Cloudflare its really really hard to get the authentication plugins going on every different web server though. Every server supports a different subset of providers and usually you have to install the plugins separately. It's a bit of a nightmare. But once it's dialled in it's ok.

I didn't like this approach because I don't like to leak information about my internal setup but I found that you don't even have to register your servers on a public DNS so it's ok. Just the domain has to exist. It does create very temporary TXT records though.
Please do. This is your code so you get to decide exactly how free you want it to be, but without a license, it's "source available" which means that people can't do more than look at it and say "that's nice". If you want to let other people actually do something with it, then it needs a license. I can't decide for you which one to choose, but MIT is popular, let's other people take your code as long as they say where it came from. For web projects that you want to remain free, AGPL is a license that says you can use this code, but any changes you make to it also have to be free. It's a tricky topic that this comment is far too short to cover, but it's worth a hour or two of your time to consider as what you think of as okay to with your source won't align with what everyone else might consider to do with your source.
Most programming languages exist just because devs would rather write 1000 lines of spaghetti than see 7 ‘)’s at the end of a 100 line lisp program.

/s
As someone without specific background in the subfield (I do embedded programming) – thanks for spelling out what people "in the know" seem to understand about o1's functioning!
2020 - important in that it refers to using the Twitter API which has gone for mere mortals :anguish:
Open-sourcing this is awesome! What a great jumping off point for people wanting to do 3D game dev.
So if I style myself as a negative only reviewer, they have to give me a review unit? Like I'm that judge in the olympics that never gives anyone a perfect score. The best your product will get from me is a 2/10.
Having a play now with the tutorial [1] – works great!

[1] https://svelte.dev/tutorial/svelte/welcome-to-svelte
No, lithium is not rare and we have enough of it. It's available from friendly countries like Australia too.
> A complete list of available titles is at www.oreilly.com/openbook

Exciting!

Follows link

Link no longer exists, gets O'Reilly front page instead

"Introducing the AI Academy, Help your entire org put GenAI to work"

Thanks O'Reilly.
Here's another list -

Highest poverty rate?

Lowest literacy rate?

Last in opportunity?

8th worst in public safety?

If you guessed California, you'd be right.

Sweeping generalities and handpicked metrics do not tell an entire story.
If you don't want "illiterates and nincompoops" deciding the course of civilization, the solution is better education and a stronger sense of civic duty (both of which are currently anithetical to American culture,) not the creation of a caste system whereby only some arbitrarily defined intellectual and cultural elites get to vote.

History is filled with the graves of governments ruled by such policies - since education and literacy were the sole privilege of nobility for much of civilized human history. It didn't work out well for the ruling class or the peasants.