skysight-inc/HackerNews huggingface dataset:
> Another possibility is that the field is dominated by coders who are mathematically illiterate and unwilling to remedy that deficiency while hiding behind rhetorical hand waving about the “real world.” You yourself appear to stand as evidence for that explanation.

I'll take the gratuitous personal attack as a sign that you have no real argument. "coders who are mathematically illiterate" doesn't explain anything. Even in the research mathematics community it's acknowledged that if you haven't communicated your proof to others then you haven't proved the theorem (see all the fuss around the ABC conjecture).

I'm all for mathematical rigour in programming (and, not that it matters, I'm as experienced/qualified as a non-research mathematician can get). But judging how effective something is by how rigorous it is is putting the cart before the horse.
> I think there are contexts where this approach is sufficient.

Absolutely!
With decent dev tooling, you are getting edit-time checks equivalent to compile-time checks (the only difference is that there is no compilation after the checking), so there’s no loss. The advantage of compile-time checking has nothing to do with “compile time” except that compile time is inherently before runtime, and edit time is even earlier.
Yeah, it hasn't. x86 is still crap.
Easily. It's one of their most used functions.
I just Googled and apparently it is closed:

> After 26 years, Chef Staib has decided to not renew his contract with Independence National Historical Park as operator of City Tavern. He closed the doors to the patrons effective November 2, 2020 allowing time wrap up affairs before turning the building back over to the Park Service.
Yes, it's common practice, and has been for decades. It is my (unfounded suspicion) that submarine-based divers were the ones to destroy the Nordstreams.
Author:
> It is often stated that people who lie have a tendency to add too much superfluous detail to their accounts.

Goes on to provide too much superfluous detail to his own account. /s
Well, in the last decade he's kinda blown it with multiple claims in Syria. Statements that are either unbelievable, undocumented and easily could be (like building locations), or basically falsified have really brought down his trust. Even if he's just getting bad information rather than coming from a particular angle, his readers deserve better vetting of the material. At some point it feels like he's being driven by narrative more than facts that's a problem, and hanging out with Bashir Al Assad doesn't help to get the "real" story. Also note that Assad does have a particularly aligned geo-political supporter these days, who's directly involved.

https://www.lrb.co.uk/the-paper/v35/n24/seymour-m.-hersh/whose-sarin
https://www.lrb.co.uk/the-paper/v38/n01/seymour-m.-hersh/military-to-military
https://www.bellingcat.com/news/mena/2017/06/25/will-get-fooled-seymour-hersh-welt-khan-sheikhoun-chemical-attack/
https://www.prospectmagazine.co.uk/magazine/whatever-happened-to-seymour-hersh

There's no such thing as a chlorine bomb- "Chlorine is just a gas. It's not a chemical warfare weapon. You smell it, you run away." - Seymore Hersh

Tell that to soldiers in WWI.
what videos are you talking about? when i watch recent FSD videos (there have been regressions recently) on youtube the car generally drives itself. if you showed those videos to someone in the 90s they would without hesitation remark "that car drives itself!" there is zero ambiguity about this. nobody said that a self driving car could never make mistakes. the 90s person would definitely notice those mistakes but would come to the conclusion that we had pretty much done it and that we are going to have fully reliable self driving cars shortly. fsd is the largest experiment of its kind, its one of the coolest software projects of all time. how hackernews users are blind to that is beyond me.

there are hundreds of videos that directly contradict your comment. the funny thing is that on reddit and on hackernews as well as all mainstream news outlets, i have never, not even once, seen one of these videos posted or even linked to or even referred to. its like they dont exist despite the fact that there are hundreds of them just a click away.

you can say that we shouldnt be experimenting on the roads. thats a matter of opinion. but to say that fsd isnt the most advanced and capable system available, to say that its a fraud, to say that its failed is all objectively false. just look at where they started and look at one of the latest videos.

and in what may be a world first, i will link to a video here on hackernews.

https://www.youtube.com/watch?v=mHadhx3c840&ab_channel=AIDRI...

the same guy, who drives FSD every day, is deeply involved in reporting bugs and publishes videos about FSD. by any metric that matters, his opinion is worth more than yours or anyone else on hackernews or reddit.

https://www.youtube.com/watch?v=Nvvhmc837Tw&ab_channel=AIDRI...
> when you see problems every couple miles and the data is saying is saying it's way safer than a human, you are doing something wrong with or using irrelevant data.

That's right, you are doing something wrong. It's a supervised system. There's a driver in the loop, and yes: the combination is safer.

You're engaging with another favorite trope of Tesla argumentation: pretending that a system that isn't actually deployed as fully autonomous actually is. Safety is about deployed systems as they exist in the real world. Your point is that in a alternate universe where Teslas all ran around without drivers, they might be less safe. And... OK! That's probably true. But that's not a response to "Teslas are safe", is it?

They're safe. Just admit that, and then engage in good faith argument about what needs to change before they can deploy new modes like full autonomy. Lots of us would love to have that discussion and provide detailed experience of our own, but we can't because you people constantly want to ban the cars instead of discuss them.
I write it every day and it whips ass.
To be fair, tsconfig.json has a ton of options, and you often can’t just use the defaults. It’s necessarily complex, unfortunately.
There is a lot going on here:

A) Seems like a highly functional generic framework for building advanced IDEs in browser

B) A new language for timelines with dozens and dozens of features

C) A very advanced IDE using A for editing B.

I absolutely love this, having recently been looking for a better timeline builder.

That being said, it feels like there needs to be a much simpler dummy version for noobies to play with.
Even AP is is "autosteer (beta)" so I sure do feel like part of their QA team. And it drives like a slightly inebriated human.

I do have high hopes that the work they've done on the FSD stack will make for a significant improvement to basic AP whenever they get merged (assuming it ever happens; it has been talked about for years). That'd be nice.
I really do think this article is missing the point entirely. Well, I think it's partially right in that there is an over-reliance on process and humans acting more like bots. However, in regards to content creation, there are far more serious problems:

(a) ChatGPT is not just ChatGPT, it's an initial stage on a massive operation that will generate content on all levels and in much more advanced ways

(b) Content creation by AI does not have to be as good as human content creation. It does not have to be as good as human content creation to become more successful; instead it only has to vastly outpace it in volume.

(c) AI content will succeed not because it is better. Right now it's worse. But even if it stays worse and content creators change their modus operandi as in the article, AI will still be much better at optimizing revenue from content because ultimately, the reason why content creators get paid is because people buy shit they don't need, and AI will amplify this much more easily than humans

Ultimately, it is utterly useless to examine ChatGPT vs. content creators inside a bubble. One needs to understand ChatGPT as part of a larger iterative process, in which there is a mutual evolution of algorithms to deliver content and algorithms to make content. Humans currently are at the forefront of making content, but they will not be for long.

And before long, there will be more and more positions taken over by AI algorithms. Writing may have been one of the first because writing is so old and we understand it so well. But at some point, we will understand medicine so well that doctors will be replaced too. Finally, we will understand every task so well so that what we have done as humans to advance a body of knowledge will merely be used to bootstrap and even "better" system where AI does everything.

In once sense, it sounds like a utopia -- us not having to do anything. But I think it will be very far from that. It will be more like a dystopia where nobody knows the value of another person because they do not have to rely on each other any more. We are already part-way there.

I admonish anyone who contributes a line of code to OpenAI, ChatGPT, Bard, and other systems. Shame on you.
Further to this, as I understand it the "embedding" is mapping the tokens into vectors in a space where tokens semantically similar will be close together in the space.
I find this the most likely scenario too. Blowing up the pipeline cemented that Europe wasn't going to get Russian gas for the winter. It left less maneuvering room to any interest groups that could've used it as a bargaining chip as Europe was heading into winter and many expected widespread heating and power issues, some local authorities in Europe even planned for possible mass evacuations of vulnerable population. Gas was the most valuable concession that anyone in Russia could've made. Pipeline blew up and that was off the table. Nobody knew at the time that winter 2022/2023 was going to be exceptionally warm and in hindsight it's easy to downplay those fears and percieved value of the pipeline.
That's the right way to do it, but then the Chromium team that implemented it doesn't get good numbers to use for their promo packets.

And there's no understanding among a lot of web standards people that popups for site permissions are widely used by malicious actors. Apple consulted the community and thought about security, and that's why this implementation is refreshingly better.
They don’t need to know. They just need to click on the banner which will be on every Google search result pages. How do you think Chrome got its market share on the desktop?
Abu Ghraib was broken by multiple people prior to Hersh, as best as I can tell.

Most notably the AP in 2003, a year prior to Hersh's reporting. 60 minutes covered the Taguba report before Hersh's article was published online.

https://en.wikipedia.org/wiki/Abu_Ghraib_torture_and_prisone...
No one loves SQL more than me but the effort jump between "paste into a spreadsheet" and "load into SQLite" is at least 100x

Computers are fast, I have gigabytes of RAM, I should be able to look at 10M rows
Additionally, the blockade you speak of was set up in retaliation for Qatar refusing to make a sucker's solo investment in the floundering Kushner real estate debacle.

https://www.justsecurity.org/69094/timeline-on-jared-kushner...
I usually do interesting things when WFH home , then decide it’s time to work. Sit at a computer (which I find boring in itself after a morning of hiking) then waste time on YouTube watching hiking videos for 3 hours before I start work.

I just think work is a chore and procrastination is easy. No matter where your ass is located.

Maybe the wasting time part is actually part of work. I’ve learned to just accept that.

Planning my time in advance means I waste less time but I don’t always bother doing it.
Why can’t the AI write tests too? Then you can have 100% coverage of your (probably) correct code…
Hersh stopped working within journalistic organizations, with their editors, fact-checkers, second-sourcing, etc - the organizations in which all his previous and more credible and verifiable work was done. That's a concrete fact, not 'tribalistic bias'. There's no basis whatsoever for you to attribute skepticism of recent Hersh to it, it's just namecalling.
I think the open question is whether its future is more like the Model T or the Segway. The introduction of the original Segway earned a prolonged and absolutely exhausting buzz cycle and many people earnestly thought whole cities would be rearchitected around it.

Now the brand mostly just produces traditional electric scooters and the self-balancing model found a small but legitimate niche among people who would otherwise patrol on foot all day.

Not everything that looks exciting meets all its revolutionary ambitions.
Recursive (Re-Entrant) Locks (2013)
Yeah, where I'm from, since historic has the emphasis on STOR and not HI (as in history), the h is much softer, so it's pretty normal to say "an historic event" but also "a history of the world".

It's silly to act like there's a right or wrong. Dialects and accents are a special thing. Just be consistent.
A lot of money goes into the homeless industrial complex

https://www.latimes.com/california/story/2021-07-16/californ...

"BART oversaw $350,000 Salvation Army program that treated one person, audit finds"

https://www.mercurynews.com/2023/02/03/bart-oversaw-350000-s...

A lot of tax payer money is funneled into non profits that are revoked, suspended or delinquent nonprofits

https://sfstandard.com/politics/san-francisco-nonprofits-rev...

And of course those that directly steal funding:

https://apnews.com/article/california-los-angeles-embezzleme...
I recently switched to an iphone, the state of PWAs on iOS is just pathetic. While I don‘t care about web push, I‘m really glad they‘re trying to make some progress in this area.
> I was never trained on ethics in journalism, so the idea that giving an information provider a cut of the revenue generated by said information felt like a reasonable thing to do

lmfao
It amused me that my college statistics textbook had an appendix of random numbers in the back of the book. Just a long list of numbers generated at random and then immortalized on the same medium as ancient texts like the Dead Sea Scrolls.

I guess that's the best we had for students before the widespread adoption of computers?
Thanks for asking! I've responded elsewhere in the thread to this. Feel free to cross reference those as well.

There's a large amount of cost sunk into the idea of conversational AI from energy use (not just during training, but data storage, on-going compute, etc), to the cost associated with businesses employing people and the personal investment that folks have invested via degrees and time. All of this creates a pretty deep trench worth defending by various interests. These things clearly aren't ready to be put into search engines, yet here we are, and there are people defending it. That's the original grift that makes it akin to crypto if you believe the real problem in crypto wasn't the tech itself but people pushing these concepts into mainstream use before they'd really had time to be vetted and fully understood. The societal impact was massive and on-going. There are also grifts that come from the seed grift, which gets into AI plagiarization and how to train these models. When you add it all together and then frame it under the premise that it's now in one of the most trusted and prominent places in search, I feel justified calling the underlying activity a grift.
I know this is besides the point but you can normally get refunds on expired cards. The card isn't valid for payments anymore but Visa/MC definitely keeps a record of it around. If it's with the same bank it shouldn't be an issue at all.
>> AI assisted programming is brand new.

The field that studies the automatic creation of computer programs is called "program synthesis". It is a field that straddles multiple sub-fields of computer science, including AI (where research is usually on inductive program synthesis, from examples).

https://en.wikipedia.org/wiki/Program_synthesis

It is also a very old idea, as old as computer science itself- or even older. Here's wikipedia, again:

*During the Summer Institute of Symbolic Logic at Cornell University in 1957, Alonzo Church defined the problem to synthesize a circuit from mathematical requirements.[2] Even though the work only refers to circuits and not programs, the work is considered to be one of the earliest descriptions of program synthesis and some researchers refer to program synthesis as "Church's Problem".

https://en.wikipedia.org/wiki/Program_synthesis#Origin

Even program synthesis from a natural language specification is not brand new. For example, here is the first example of research work on the subject that I could find on duckduckgo in ~1 second:

https://www.microsoft.com/en-us/research/wp-content/uploads/...

The fact that most people have never heard of all this before is not new, either. What is new is that OpenAI and Microsoft are marketing a program synthesis tool.
Thanks for the reference, interesting, I will have a look.

vuejs can work without build system though. it's mentioned in the article, and I used to wwork that way. Eventually i made my own (minimal) build system though using quickjs and esbuild. Precompiling templates and minimising can be useful.
While I think the goal of being able to write JS without a build system is fine, I'd still never skip setting up a build system. Static analysis, formatting, linting, optimizing, testing, and other such parts are way to valuable to ever give up. The ability to run in a dev environment without a build is valuable from a performance and feedback loop standpoint, but at the end of the day, the tooling needs to be there.
Docker container that acts as a ProxyDHCP server for netbooting
Not big fun of the Meshlicious. Having the video output come out of the bottom feels weird. Also imho it’s wasting a bit of space here and there.
This doesn't seem fair but it made me laugh a lot.
I recently started a project using FastAPI and it was a real breeze to set up. I got an MVP set up integrating with PostgreSQL and handling authentication in under 100 lines of Python. Their OAuth2 tutorial [1] was especially helpful for this.

[1]: https://fastapi.tiangolo.com/tutorial/security/oauth2-jwt/
I’d find some GitHub repositories of popular libraries that are known to be well written and look through their code.

I believe this was a good one back in my day. https://github.com/psf/requests
I can't recall, though this approach isn't specific to homebrew. I block it permanently at a network/process level rather than having to remember to set a ENV var.
CodeSandbox is a service similar to CodePen (or StackBlitz which also uses nodejs emulation in the browser).

The benefit is that you can use a web editor with the same dev tools (TypeScript, Babel, vite, webpack, etc) without a server VM. That saves them a lot of money in cloud instances, and speeds up things for the end user.

Other than that a posible niche use case is to emulate a full-stack for prototyping or testing purposes.
As bin Laden was holed up 800 yards from the Pakistan Military Academy, it seems more likely that he was captured by ISI and/or the Pakistani army, as opposed to trying to hide from them there.

ISI dealt with bin Laden in the 1980s, and has good intelligence in the region bin Laden had been rumored to be holed up in.

It takes more of a leap of faith to believe bin Laden was hiding from the Pakistan military/industrial apparatus 800 yards from the Pakistan Military Academy, than that some high officials knew he was there.
Note that there is also an encrypted version of this system that's not publicly accessible. I'm not sure about the quality of the encryption used, but I do know that police traffic and ambulance traffic often goes via encrypted channels.

I'm also not sure if this is a system that's legally protected or that the government simply hasn't bothered trying to take these sites down.
I (mainly) don't want to aggregate them, I want to look at them.

Don't forget "Filter". It's very easy in a spreadsheet to take a huge number of rows and cut them down -- interactively! -- to a subset that's of interest.

Based on what I see I may want to scribble formulas in the margins.

I love love love SQL but it is not a spreadsheet. SQL is great at aggregating down a column but very awkward at aggregating across a row. My SQL prompt doesn't have scatter plots built-in. I can't arbitrarily color rows/columns/cells.
I don’t think the same thing can be said. Yes, tools have evolved over time and at each step, the discipline has evolved with it.

But current AI tools do not seem analogous to the progression of tools that came before, and I don’t think we should treat them as such.
All great test cases. Here are a few more test cases for valid phone numbers:

0893514656, 089 3514656, +49893514656, 08921610, 089 2 16 10, 08992949451 ...
ChatGPT and it's offshoots almost make me wonder if anything has ever been more controversial on HN. Such extremes in opinion, and a very wide middle range as well. It gets me thinking about controversy and what causes a wide range of differences in opinion.
smart systems will permit reimbursement via plain cash or gift card. I had this experience once at a grocery store that sold some stale food at the deli. I returned with the wrong receipt from the same day and the customer service folk just issued a gift card.

I think more accurately the developer constrained the end user of the system.
For starters, Germany declared war on Russia five days before Austria-Hungary did. But even if it were otherwise, they still had a choice whether to honor their obligations or not.

Furthermore, there's substantial evidence that Germany - or rather, some German factions - was very specifically pressuring Austria into a war, precisely so that it could then be "joined":

https://en.wikipedia.org/wiki/July_Crisis#The_German_%22Blan...
We’ve had dozens of zoonotic jumps with bird flu that we know about, and surely thousands that we don’t know about. The mere proximity of humans and birds (and birds and other mammals) means that you don’t need directed evolution. Random mutation + recombination with other strains of influenza already present in humans and animals means that a single “winning” combination will inevitably spillover again. And has trillions of opportunities to do so.

When virologists talk about the inevitability of pandemics, this is the exact mechanism that worries them.

Not doing the GoF work is absolutely no guarantee that you’ll avoid these strains. I’m not convinced it’s worth the energy either, but playing ostrich isn’t a viable alternative.
That's even worse, because now the tests are wrong too! I asked it for a list of test cases for a particular function I wanted to write, and every single one of the cases it presented was incorrect. So it was worse than useless, now I had to check its work and then do the work myself anyway.
I did the same until recently. A lot of the Rust books are worth owning the paper version.
If you had to send in your cellphone each time there was an android update vs all IOS updates being OTA, I think you would see the distinction as a consumer.
I haven't followed any of this really at all, but is there a compelling reason why Ukraine isn't at the top of everyone's list? Seems like they would have the motive to prevent Germany from giving-in to Russian demands to keep gas flowing and at the same time hurt Russia. It doesn't seem like it was a highly technical or expensive operation that would have prevented a smaller player from accomplishing it, and in fact there are signs that it wasn't a highly coordinated job. My completely uninformed analysis starts the odds at 75% Ukraine, 10% U.S., 10% some Russian faction, 5% other.
https://forum.rpg.net/index.php?threads/turbo-necro-book-of-... I am to blame for a 20-year necropost.
Are you talking about Apples walled garden app store or are you talking about the Aplpe-enforced webkit browser monopoly in iOS?

Or are they Effectively dependant on each other?