skysight-inc/HackerNews huggingface dataset:
Oh, not that again. Didn't we see this argument about three weeks ago.

A 100% correct LLM may be impossible. A LLM checker that produces a confidence value may be possible. We sure need one. Although last week's proposal for one wasn't very good.

When someone says something practical can't be done because of the halting problem, they're probably going in the wrong direction.

The authors are all from something called "UnitedWeCare", which offers "AI-Powered Holistic Mental Health Solutions". Not sure what to make of that.
80% of the cost of public transport is subsidy anyway. The charge to end users is ritualised economic theory wars. A Brisbane resident I welcomed this change. Bus patronage has gone up. Regrettably I doubt average road congestion will drop because .. different ritualised economic theory.
That's my point though. It's not me. It's me, but it isn't in me.

To your earlier question: am I a different person than I was in the past.

No. My body and consciousness continued.

The other new me will be me, but the me that is inside my body right now will cease.

That is the flaw.
Show HN: Phinxer, open source Web Analytics
I built Phinxer for my own use a year or so ago because existing alternatives felt bad to use (Google Analytics) becasue of excessive tracking or were really expensive. I was running an app that had ~350k pageviews at the time but was only making $80 from ads so paying $50 a month for analytics sounded silly.

The actual cost of running this is only a fraction of that, so I'm now releasing the tool I wish I had found back then. It's significantly cheaper than all web analytics alternatives at $10 per 1M events that don't expire. So if you use less than 1M events you can use the events for up to a year (alternatives cost $60-$140/mo for the same volume).

Phinxer is also open source! It's built with an Express backend, React app, Postgres for general data and ClickHouse for events. I used [Vike](https://vike.dev/) which is based in Vite for this project and was very pleasantly surprised, it's what I always wished Next.js was.

Code here: https://github.com/gnardini/analytics
Reminds me of a guy who (for fun) wrote lots of compilers and interpreters like lang A to lang B written in lang C. He was unsurprisingly familiar with quite many languages.
Unary and binary - can be given different precedence, because there is never ambiguity as to whether you're in front of a unary minus or a binary minus. A binary operator is never encountered at the beginning, or after a parenthesis, or after another binary operator, therefore those are the cases where you'd have a unary - or +.

Rather, the problem is whether -2 is parsed as a numeric literal, or a unary minus followed by a numeric literal (which would only include positive numbers).
Rust and Unity are interesting picks. I feel like everyone used to use C++ to teach game engine development.
Unfortunately most developed nations are generally willing to domesticate the foreign judgements of other developed nations. There are exceptions, e.g. the SPEECH ACT makes many UK defamation claims largely unenforceable in the US... but even if you think you'd be able to block enforcement in your own jurisdiction, if you are wrong you likely forfeit being able defend the claim on its merits.

You also have to deal with any organizations you do business with who are exposed to the UK being ordered to take adverse actions like freeze or seize your accounts.

Because an outlaw in the UK is no joke either, you'd potentially have to spend the rest of your life at risk of being arrested if by happenstance you found yourself in that jurisdiction (e.g. due to a rerouted aircraft), face discrimination from future employers or potential business contacts because of the specter of a judgement hanging over you.

That said, had we not been able to secure funding for our defense we might well have defaulted anyways: if the defense would have bankrupted us, we'd be better off saving our funds and hoping to avoid enforcement of the judgement bankrupting us. But fortunately, Jack Dorsey and the chaincode founders stepped up.
You can never completely solve the problem because it's mathematically undecideable, which you probably didn't need this preprint to intuit. That said, a better question is whether you can get good enough performance or not.
Isn’t Google the .dev registrar?
Is there any reason to believe the Australian investment is related to money laundering or drug sales?
Sorry but you're just wrong. There are issues but the paper is written well enough. The content (whether this is really a novel enough idea) is debateable because anyone could have told you that LLMs aren't going to develop the halting algorithm.
> Electric cars. For new car sales … 50% in China.

This seems to be incorrect unless you lure in Plugin-Hybrids into the "electric cars" category. Also, the real driver of this "electric cars" market share growth in China seems to be PHEVs ("electric cars" with a combustion engine in it) while BEVs growth seems to be stalling. [1]

[1] https://cleantechnica.com/2024/07/02/47-plugin-vehicle-marke...
So you’re saying you … provided them with regular updates?

I never said anything about formulaic investor updates.
Show HN: Bullshit Remover
The original asr33 was somewhat like this. I think the key profiles of an IBM selectric or the equivalent Olivetti would have been tolerably forgiving of frenched nails.

(I break mine off short but I've destroyed the keycaps of the home keys and space bar on every keyboard i own. Rowing is better in short nails you need to be hands together enough in the return to catch you cut your hand on a long thumbnail)
Or Boeing. Works great there.
Exactly. You sent regular updates and then had board meetings with regular updates.

They probably never asked because you were already providing it.
Seeing how minimalistic and bare this editor is, it could’ve been named BareWoolf.
For clarity: do you want to be a software engineer, platform engineer, data scientist, ML expert or something else?
The best way to know if someone’s lost an argument is when they start hurling insults.
> First consider that the internet was designed to withstand and endure attacks upon it. So long as at least one connection remains, the nodes thereof remain accessible.

Tell me you haven't worked in network infrastructure without telling me you haven't worked in network infrastructure.

> Next, consider that the authority of US sovereignty ends at US borders. The US legally cannot unilaterally do anything to anything outside of its own borders.

I mean, sure, officially, when all laws are followed and in a friction-less plane this is correct. However the United States does all kinds of shit unilaterally outside it's own borders, literally all the time, not the least of which every war we've been in post WWII, and incalculable numbers of other tom-fuckery carried out on all levels of secrecy and non-secrecy by all manner of organizations identified by three letters, most commonly the CIA.
While I think the part about neglecting support became true at my org, I didn't forget how awesome E V E R Y O N E felt about Scrum when we started. It lasted for 1-2 years. All the devs and everyone loved it. So... then why?

Because it brought a kind of order to the game. Story points worked. They became boring so the teams started to twist them.

I think Scrum loses its advantage when people get bored - like with any other "process".
Humans do it too. We just call it “being wrong”
You’re killing me here
We were awarded our legal fees. However, these the legal fees are only a part of the total cost, which includes lost income from the time expended, disruption of our personal lives, alienation from our passions and professions, damage to our reputations from false claims spread by Wright in furtherance of his fraud, etc. At least one of Wright's targets were hospitalized over stress induced cardiac problems due to the litigation.

We can bring separate fraud charges for some of these damages, though they're not likely to be entirely recoverable. However, Wright appears to be a lifelong grifter with little to no personal means to pay any judgement and attaching his sponsors for this litigation would be an extra level of difficulty. Even ignoring the potential of non-recovery, doing so would mean years of additional mud wrestling with this pig ("and the pig likes it!"), and a further impact on our lives which we'd just like to continue. We might be forced to however, because he and his conspirators seem to be showing little sign of stopping and going on the offensive might be necessary because simply losing and paying costs may not be enough to stop them.
I think we need to consider that sometimes a feature is not implemented or a PR is not merged also because any code added needs to be maintained.

So even if there are a lot of feature requests that does not mean that the maintainer wants to just implement them in any fast way because that is code/feature that needs maintenance further down.
Location: San Francisco Bay Area (Menlo Park)
Remote: Yes, prefer in-person.
Willing to relocate: No
Technologies: SQL, Python, PowerBI, Linux, Bash
Résumé/CV: https://samdc73.com/
Email: halshehadat [at] proton [.] me
Any mastodon server, any WordPress/Tumblr, GitHub pages, HN profiles..?

I'm not sure Twitter/X is an identity as much as it is a "place where I looked for this person first" or "place which I know this person uses".
does your team not follow any sort of higher-level roadmap?
Google Search app on Android keeps crashing in widespread bug
GPUDirect Storage Support from Ceph
if this feature is added to Ceph, will it be valuable to Ceph users, esp. those using Ceph for GPU training clusters?
There are definitely problems whose description is not well written. You can validate that by reading the comments on the problem.
Of course there is a reason it is this way. In lower level languages, compilers need to know the type and size of the type at compile time. This holds true even for languages with looser typing like C.

You are not going to get strict types in a low level language and also get ergonomic errors. This is fundamentally not how compilers works.
The co-occurrence of these conditions is an extensive area of research, there is some evidence which suggests what you’re saying, and other evidence which says the two conditions are distinct. I also read somewhere that both conditions are in fact part of a larger, underlying one. Here’s an interesting paper on the genetic profiles https://www.nature.com/articles/s41588-022-01171-3

Thanks for sharing your insights, I think you’re absolutely right about the role and need for a mentor.
What is the total cap of those startups? How does it compare with what IPOs in the Valley in a single year? We are probably talking about same "startups" as in Spain that people only open to get startup visas. There are multiple business plans mills there who specialise in writing plausible "sitcom startup" BPs for that purpose.
Ha! That is very strange. If you colored that area in, it would totally look like the Chevy bowtie logo.
Ships, rather.
Indeed, Italy has a ton of cities called something like "old town", "new inn" or "castle", for obvious reasons.
> Lobby the government to prohibit anyone from practicing programming without a license.

No way you're getting consensus on this one, but even if you could, it's too hard to stop. If you charge for compilers, and only provide them to licensed developers, hippies will make and distribute compilers for free.
And the story allowed him to setup a Advanced Fee Fraud (nigerian scammer) style gift where his sponsors (e.g. Calvin Ayre) financed Wright to live a million dollar a year spending lifestyle for the last decade.

Not to mention the constant pump and dumps based on knowledge and control of good and bad news regarding his claims.
I recall reading that this was easier to implement in memory constrained machines running Excel back then, and now can't be changed for compatibility.

It has bitten me when I computed the pdf of a standard normal in Excel, invoking exp(-A1^2), say.

Someone made a website (in 2003, it's a bit out of date) tracking this issue:

http://www.macnauchtan.com/pub/precedence.html
The Kids Who Didn't Know Their Parents Were Russian Spies
100% likely depends on what you’re doing but I work in FAANGY tech and if anything CS majors lag behind people with real work experience, any real work experience. DA&A is not relevant to writing a CRUD app or service. It’s not relevant to collaborating or getting things done.
Looks like I'm flying exclusively United when I can in 2025
Is this project about writing a kernel or an entire OS including graphical shell, etc.?
V4V is a concept and not a technology.

It's simply that the podcaster provides something valuable to you with their podcast and you're expected to return an equal amount of value back to them in whatever form you choose. It could be a Paypal payment, cool artwork for the show, topic research for the show, or whatever value you can contribute back.

Check out value4value.info for a more detailed explanation
For posterity wanted to add this interesting post [1] by TSMC about their work with Oticon (one of the established hearing aid manufacturers). It's a few years old (2021), so instead of 28nm, more recent models probably use even 5nm.

"Compared to the previous generation of Oticon Opn S™ which is powered by TSMC’s 65nm low-power technology and contains 64 million transistors, the newest model features one of the most advanced chips with AI sound processing and analysis capabilities. The migration to TSMC’s 28nm opened the door for Oticon to utilize DNN, which is trained with 12 million real-life sound scenes. This new feature allows hearing aids to mimic how the brain would hear sounds and aims to respond the same way as the brain. As more functions are added, more compute performance and improved power efficiency will be required to support future generations of hearing solutions."

[1] https://esg.tsmc.com/en-US/articles/106
Sorry you had a rough start, but so glad you made it out. This is so awesome, glad to read it. Good luck to you all!
Link seems to be broken, Firefox is displaying raw JSON when I visit it.
this. you'll also need escrow, a notary, a co-signer, and 50 pages of signatures to secure the loan
> SCOTUS has said that the chief executive of the note-holding institution (in this case, the President of the United States) cannot use discretion in deciding who he gets to forgive for loans

It's really amusing how the unitary executive oscillates in fashionability according to which political tribe is currently in power. Congress is responsible for appropriations. Full stop. Whenever this has been bypassed via some loophole, by Bush, by Trump, by Biden, etc, it has been at its core unconstitutional. And it is in our collective interest that it remains that way.
It's not a perfect analogy, and Blender does have some parts which resemble the sort of data structures you'd use in a CAD modeler.

I think with enough plugins and customizations, you _could_ twist blender into something that resembles a CAD modeler, but it's really an uphill fight compared to selecting tools which were designed with that goal in mind from the start.
That job definitely shouldn't exist. I'm not seeing where the gender of the person added much value to the story tho
Generally the way it works for IRS is:

(1) IRS warns you a lot

(2) You ignore

(3) IRS takes money from the bank

(4) you can prob take them to court, but court isn't required for them to pull your money

Any time you owe someone money it works similar

(1) you owe someone money

(2) you never pay them

(3) they are angry/rich enough to sue you for that money

(4) the court orders you to pay them

(5) you still never pay them

(6) they are angry/rich enough to go back to the court, show all the times you demanded payment and never got paid

(7) court may or may not order the money forcefully returned
It’s working for me.
NYC Employer Wall of Shame
The problem was that you could not import the data without it being destroyed. By the time you could see it in Excel, the conversion had already been completed, without a way to get text.
I suspect it's more likely an artifact of how the number is lexed. `-3^2` probably gets lexed into Number(-3), Operator(^), Number(2), which results in the aforementioned precedence issues. The reason for parsing the operator with the number is that it makes it easier to handle the case where you just write a negative number as a literal value into a cell.

Source: I've written an Excel clone before. I don't believe it has the same bug, but if it does, that will be how it's crept in.

EDIT: looking at some of the descriptions of the bug, it seems like it happens when handling variables (i.e. cell references) as well, which makes it seem like a pure precedence issue and not a parsing issue. So I've got no idea, presumably someone simply messed up the precedence order.
Chatbots can persuade people to stop believing in conspiracy theories
The Lost Art of Waiting
> I just cannot fathom what goes in their heads.

Broadly, yes. But in this case, she explained the decision tree pretty clearly.
You don't realize what is actually going on. Are you familiar with super injunctions and the associated issues?
I would say that the problem with excel is that it makes two contradicting assumptions which is a red flag for bad design. "it is user's fault for not knowing how to use the tool" and "user is lazy idiot who won't setup the cell types themselves". Its a little bit of convince of not having to set cells as numbers in a program that is use mainly for crunching numbers, but having basic auto detection text/numbers would have covered 90% of use, the remaining 10% is unique for each user and trying to guess that is as likely be helpful as making things worse.
What was the opportunity cost of potentially deprioritizing other work?
This made me joining systems administration back in the 90s
How do those things help?

I had both a credit card and a phone; you can’t get cash with NFC. I was stuck using credit card services and cut off from most of the economy of the primarily cash-based society I was visiting. To the extent merchants accepted digital payments, it was primarily in their local banking app.

> OF COURSE it set off all sorts of red flags with your bank.

Do you not understand why I regard me standing at a WU branch with my passport in hand and access to my authenticator app on my phone, but unable to actually use the service regardless, as a frustrating experience?

Roadblocks would have been fine: there was no road at all, no matter how many checkpoints I was willing to satisfy.

From the same bank who happily allows online transactions to drain my account in obvious patterns of fraud from well-known fraudsters (eg, chat.versailles) without a single roadblock — so they can harvest fees.
When someone ships something to you from the US via USPS you’ll get it delivered via your local postal service, in this case Deustche Post. And vice-versa.
ACE score of 0. Based on the questions, I had a gifted upbringing. I need to do more with my life considering.
He's trying to trigger some super-stimulus response in his targets based on being a rich supergenius entrepreneur. It's more effective than you might think.

The fact that his actions don't actually look much like the rich, a supergenuis, or an entrepreneur doesn't matter-- the target is people that don't actually know what that looks like.

It's the same reason that he claims to have earned more than 20 postgraduate degrees in the last three years alone. People with the relevant experience recognize that claim a lie or an admission of an unproductive mentally ill degree hoarding fake. But to his targets it signifies him as brilliant beyond any judgement or comparison, such that any red flag gets dismissed as an understandable quirk of a truly singular figure.
(Side Project) StoRytime: Create and Illustrate Short Stories with AI
This was a fun project for shiny app contest. This app allows users to generate AI-written stories and illustrations. The app captures user inputs—such as the story’s opening sentence, number of sentences, drawing instructions, and title—and utilizes Cloudflare’s Workers Model API for text generation (Llama 3.1) and image generation (Stable Diffusion). The app compiles story content and images into a Quarto-based revealjs slide deck that is generated in the app. Users may also change the theme of the slide deck. I hope you have fun generating different stories if you give it a go.
Only an American would ever entertain this idea without being at least a bit tongue in cheek about it. The US doesn’t own the Internet.
It's not the same
national security, exactly.
if intel makes everr'one's chips like the old days
then intel, that old friend the US government helped shield from bankruptcy... .. maybe intel can slip in a little extra circuit here or there, won't be used for anything NORMALLY but maybe if things got bad maybe hypothetically the NSA could have a teensy little backdoor added on.
conversely the assumption is this is what already occurs in chinese chips, which makes the US govt want even harder to centralize all chip making under the NSA's home turf
BYD (but not only) is heavily subsidised by chinese government.

https://www.euronews.com/my-europe/2024/06/13/what-brussels-...

https://www.ifw-kiel.de/publications/news/chinas-massive-sub...
No. The linked article admits they're wildly guessing and links to another report with recommendations but no numbers I saw from a skim. I hear this repeated regularly on HN but am yet to see a reliable source beyond "but it's Chinese money".
With software you have a situation with two problems.

First is the "gap" between those doing the work, and those writing the checks. (When it's the same person, this problem disappears.)

The guy editing the checks likes to understand progress is being made, and that the project both has an end and will be successfully completed.

The second problem is that by it's nature software "never ends" and many (dare I say most?) projects fail and are simply abandoned.

The moment the check writer is not the direct manager of the development you have an intractable problem. The person in-between (quite literally middle management), is often not technical. But he has to convince the bean-counters that this project is "on time and on budget".

He can't help but feel sometimes that he's herding cats. He's an irritant to those who are "doing the work" so they treat interactions with him as a waste of time. Inevitably he starts trying to measure things. (And we all know what that means.)

His job is hard. He's stuck between developers who don't want anything to do with him and higher-ups who want reassurance, bit don't really trust what he's saying.

The miracle is not that this process sometimes fails. The miracle is that it ever works at all.

And sure, you may not like your meetings, but at least understanding the game might help you understand why his job is the crappiest of all of them.
Thanks for this. Can we keep going?

The article mentioned stock prices, so let's use your schema:

LLY.NYSE, 1726377148, 924.38

SHOP.NYSE, 1726377216, 72.45

SHOP.NYSE, 1726377245, 72.41

LLY.NYSE, 1726377284, 924.39

LLY.NYSE, 1726377310, 924.36

Okay, so you're appending values that capture a moment in time for a given index, with the understanding that you're almost never going to revise a tuple. So far as we're concerned, time only flows in one direction. Periodicity is determined by the client application but could be throttled due to a bottleneck, resulting in fewer writes.

I can imagine how storing in blocks based on time ranges and the fact that time number goes up makes this very easy to index.

With even this simple example, it's clear what this type of datastore could be useful for, even though I'm not convinced you couldn't do pretty exciting things in Redis or sqlite3.

That said, I'm still significantly confused why the hell you can only store numeric values. It just seems like a very arbitrary constraint.
Representing Expressive Types in Blocks Programming Languages [pdf]