skysight-inc/HackerNews huggingface dataset:
Wait until you find most ethnics are just remixes of each other since forever. Specially, the Roman Empire and the Mediterranean. It grew up thanks to three simple things:

- The same law for everyone no matter the race or ethnics.

- Sharing knowledge and goods. And genes. Inbreeding: retardation and diseases.

- Adopting the good things universally, discarding the rest.
The Golden Rule works. Math works. Science worked everywhere.

Just look at Unix. Stagnation and minimalism made it to evolve into Plan9/9front adopting traits from other OSes. Namespaces. Acme looking like Overon.

Even GNU mainly enhanced Unix from ITS with GNU/Emacs to crazy levels. Does the guy from that atrocious linked site (not tastyfish) use Emacs under ITS instead of GNU on top of Unix? No? Then he might be the greatest hypocrite ever.

Because RMS at least tried to bring the ITS hackability to the masses with pragmatical reasons under a libre reinvented Unix called GNU.

These purists don't realize that no system nor human has been pure, ever, save for very primitive inbreed humans and technologies.

Yeah, go, White Power. What where the WASP guys doing at the Roman times? Living in huts. What did the multi-ethnics spawning olive/white colored Roman and Greek doing in the meanwhile? Shaping up the Western Civilization.

On tech, did RMS kept using PDP10's and ITS/Maclisp with Emacs? No, he adapted and it carried on Unix' legacy by writting something technically superior with namespaces (Hurd), empowering the user and Emacs on top providing a great shell (even with Eshell) compared to the previous one.

Meanwhile, a pure Unix would leave us with bc/dc and a simple AWK plotting tool with C which is not as portable as you think, even with TCC and C99.

Heck, even Unix v10 and Plan9/9front don't look like your typical Unix at all. You have sam, not ed/vi. It shows up that using the mouse it's sometimes fine, it killed the VT, albeit using a keyboard helps with the RSI too.

That's why Emacs provides the two interfaces greatly working in parallel. Can you use Emacs under X with just a keyboard? Perfectly well.
The problem isn't the IDE, but that we are still using a programming language 24 years old.
Thanks for the list!

I suggest to add alternatives. Or do you only consider affiliates that offer your discount code?

Also I think email services and payments are missing.

- Sendgrid, Mailgun, Resend, Loops

- Stripe, Paddle

Would love to see boilerplates as well

- https://achromatic.dev

- https://makerkit.dev

- https://www.spirokit.com/

- https://saasykit.com/
Again: I’m only made redundant if there is no more work that my employer needs me to do.

Why should I be scared of technology that makes me more productive?
Gambling is a stupidity tax.
anyone here use logrocket and feedback on it?
If you were buying the paper, then two books of the same page count (even if those pages were blank) would be the same price and interchangeable. They are not. Likewise if you were paying for the paper, then a book with no paper, such as an audiobook, would be free. Again it is not. You are buying some form of media that contains the intellectual content.
Just a thought exercise. If we would have an AI with the intellectual capabilities of a Ph.D holding professor in a hard science.
How much would it be worth for you to have access to that AI?

100,000 ? 500,000 ?
To be fair, is waymo "only" AI? I'm guessing it's a composite of GPS (car on a rail), some high detailed mapping, and then yes, some "AI" involved in recognition and decision making of course but the car isn't an AGI so to speak? Like it wouldn't know how to change a tyre or fix the engine or drive some where the mapping data isn't yet available ?
A really good question! I've been out of the field for a long time, but it's important to stress the difference between "interactive proof assistants" and "automated theorem provers." The latter consist in various software tools that, given a well-formed logical formula, attempt to automatically derive a proof thereof in a given logic. There are of course well-understood limits to such tools given the foundational results of Gödel, Turing etc in the early 20th century.

On the other hand, interactive proof assistants such as Lean, mentioned in the title article, or Isabelle are really something more like functional programming languages in which a human mathematician can specify and prove a given theorem, relying on the work of other mathematicians as equivalent to a third-party library. Again like with programming languages, the different tools will offer various trade-offs between expressibility and the kinds of guarantees that can be made at compile time about the validity of a proof. It has traditionally been viewed as far too time consuming to actually specify even intermediate mathematics in such tools, but LLMs really change the situation, as Terrance Tao in particular has demonstrated.

For anyone interested in the topic, I highly recommend the work of the CMU logician Jeremy Avigad. See, for example:
* Formally Verified Mathematics- https://www.andrew.cmu.edu/user/avigad/Papers/cacm.pdf
* Automated Reasoning in Mathematics- https://link.springer.com/chapter/10.1007/978-3-031-63498-7_...
* The Mechanization of Mathematics- https://www.ams.org/journals/notices/201806/rnoti-p681.pdf
Everything old is new. The poor child thinks he's invented webrings.
Or just block ads in the first place rather than filtering them at the print driver level.
As if I needed another reason not to buy HP products.
Fidelity Slashes Mobile Deposit Limits Following Fraud Wave
CoT is not RL'ing over reasoning traces, costs have come down 87.5% since that article, and I agree generally that "free" is a bad price point
I would suggest NOT using env files. They are a hack. The environment belongs in the environment, not a file on disk; and if it is on a file on the disk, it belongs outside your repository.

There is a script in the repository that will bootstrap your local env by storing encrypted secrets into ~/.config/ by asking some questions that you get from the shared passwords manager for development credentials. The key to decrypt them is password protected and requested at application boot.
In his recent "Intelligence Age" post, Altman says superintelligence may be only a few thousand days out. This might, of course, be wrong, but skyrocketing demand for chips is a straightforward consequence of taking it seriously.
Strongly feels like decentralized trackbacks and pingbacks which died because they turned into spam monsters.

This turns it into a centralized problem, but a problem nevertheless?
Why is it that we cannot provide a QR code money transfer solution in the US like they have in Singapore or India?
Back in 2014, Kevin Kelly wrote "The business plans of the next 10,000 startups are easy to forecast: Take X and add AI."

I remember reading that and wondering how it would play out. It's much worse than I ever imagined.

https://kk.org/wp-content/uploads/2010/06/The-Three-Breakthr...
I got a benq projector where the smart thing was an extra dongle that you could choose to add or not.
I also mentioned personal choice and responsibility. If someone doesn't want to change, why should we attempt to force them? It's not likely to have the effect you desire.

I think the "all it takes is a government ban" model lacks a nuanced understanding of human behavior. Cannabis is a prime example.

To be clear, I'm not advocating a solution for all of society's ills. I'm advocating a path toward the goals we all share. That path may be longer and more difficult to traverse, but it's my belief that it'll lead us closer to where we want to go.
Headline: “AI printer hallucinates 100mg as 100g sugar in cookbook. Leads to massive confusion. At least one person diagnosed with diabetes. Publisher files for bankruptcy”
> It's amazing how much the ethos on this site has shifted over the past decade

It hasn't. The hacker ethos is about openness, individuality, decentralization (among others).

OpenAI is open in what it consumes, not what it outputs.

It makes sense to have protections in place when your other values are threatened.

If "information want's to be free" leads to OpenAI centralizing control over the most advanced AI then will it be worth it?

A solution here would be similar to the GPL: even megacorps can use GPL software, but they have to contribute back. If OpenAI and the rest would be forced to make everything public (if it's trained on open data) then that would be an acceptable compromise.
A few days ago I finally gave up on ever buying and owning an HP printer at home.

While the mechanical part is OK, the software and consumable ecosystem is insanity.

They might think AI will fix it but is gonna be without me.
600W for a customer product, when will this stop, 10 years from now we'll get 1200w pc to play games...
How is this different from the public annotations in https://web.hypothes.is ?
> Now, I'm not going to criticize anyone that does it, like I said, you have to, that's it.

Why do you say people have to do it?

People absolutely can choose not to use LLMs and to instead write their own words and thoughts, just like developers can simply refuse to build LLM tools, whether its because they have safety concerns or because they simply see "AI" in its current state as a doomed marketing play that is not worth wasting time and resources on. There will always be side effects to making those decisions, but its well within everyone's right to make them.
Collaborative Text Editing with e.g.-Walker: Better, Faster, Smaller
Reminds me of https://ruby-talk.ruby-lang.narkive.com/buiXXTZh/what-is-hoo... :-)
From the examples he's mentioned, it sounds like there's quite a bit of [bike shedding] (https://en.wikipedia.org/wiki/Law_of_triviality) in the process for RFC's in Rust. That's a problem when you've got lots of smart people trying to help.
Years ago we used to tease a guy in our incubator about using SQLite in production. Who knew he was just ahead of the curve…
AI assistants are also quite good at helping you create a high level map of a codebase. They are able to traverse the whole project structure and functionality and explain to you how things are organized and what responsibilities are. I just went back to an old project (didn't remember much about it) and used Cursor to make a small bug fix and it helped me get it done in no time. I used it to identify where the issue might be based on logs and then elaborate on potential causes before then suggesting a solution and implementing it. It's the ultimate pair programmer setup.
That's probably what every self-driving car company thought ~10 years ago or so, everything was moving so fast for them back then. Now it doesn't seem like we're getting close to solution for this.

Surely this time it's going to be different, AGI is just around a corner. /s
> China can barely project power in its own backyard while the US has nearly a century of experience projecting around the world, with eleven carrier groups to China's two

Today. China is clearly building up their ability. In a few years the situation will look different which is the real worry. Also China may not need to be as big - China isn't patrolling the ocean like the US and so it is their 2 carrier groups near Taiwan against whatever the US can afford to send
Retrospectively framing technologies that succeeded despite doubts at the time discounts those that failed.

After all, you could have used the exact same response in defense of web3 tech. That doesn't mean LLMs are fated to be like web3, but similarly the outcome that the current expenditure can be recouped is far from a certainty just because there are doubters.
An excellent article. Shared this with my family to help convey the craziness that's happening.

Definitely the most impressive level of growth happening at any startup today. I'm curious to see where things head in the future!
Rather, he’s saying if someone sold something to you, you get to use it. I don’t think any further analysis of this comment will yield anything more.

Money can be exchanged for goods and services. (And licenses, but don’t obscure that point in the fine print.)
This seems like a great idea designed for well-intentioned people. Unfortunately, the internet is running a bit short on well-intentioned people.

The potential for abuse here is enormous. I have a difficult time seeing this becoming anything other than a cesspool of ads, 4chan-style joke links, and general inanity.
even the non-cheap recorders produce a huge quality loss. It would be slightly easier, but if you're considering archiving something, why not do it as good as possible
Funny you should mention Logitech because they recently added AI to their mouse driver.

https://www.logitech.com/en-us/software/logi-ai-prompt-build...
I really want to import a minidisc player from japan for my r53 mini cooper. I probably should before they are all gone forever.
As someone who wrote OS software in the past and had little no people contributing back except the core team, i total disagree.

If you write OS and put it out there for the world to use, you should be doing it because you want to _give_ to the world. you should not expect _anything_ in return. the is the essences of giving, to not expect something back.

if Matt wants WPEngine to require a contribution to WordPRess, then he should relicense it under a license that requires this or close the code and charge subscriptions.

what he is doing is giving a bad name the OS community in general. this is not how you act.
But you still have no idea how much you'll actually pay when you sign up. Even if you can cancel it later.
With inflation being a thing the biggest [sum of money] always leaves me a bit sceptical as people often don't account for it...
> Do you honestly think that once we're able to build AI that _fully_ mimics humans by every measurement we have,

What made you think that is measurable and if it is then we can build something like that ever?

I already linked https://garymarcus.substack.com/p/this-one-important-fact-ab... did you read it?
No need to draw on past experience. I'm watching it unfold right here. Quite hilarious.
AGI will buy back the company.
Visa has announced the acquisition of UK-based AI-driven fraud detection firm Featurespace in a deal valued at approximately $935 million. Featurespace, known for its innovative Adaptive Behavioral Analytics and ARIC platform, provides real-time fraud detection for major financial institutions like HSBC and NatWest. What are your thoughts on Visa’s strategy with AI and fraud detection? Could this reshape how we think about securing global payment systems?
I've definitely noticed Copilot making it less annoying to write code because I don't have to type as much. But I wonder if that significant reduction in subjective annoyance causes people to overestimate how much actual time they're saving.
for some people that is probably a feature, and not a bug.
This looks awesome, any users out there that can opine?

Not sure this is the answer but for sure this is highlighting the right question. I’ve never been a teacher, but having been involved in mentoring newbies more often than I expected.. error traces with absolute filenames and terminals with Click-to-edit-file support are the smallest effort you can put in to get the biggest results (although this can also lead to confusion with virtual envs and such).

That’s just the beginning of the nav we really want though. The key point is all about focusing on “don’t make me mess with file systems” because the code already has many dimensions of inherent structure.
Exactly my thought. Maybe an idea worth dusting off. Web rings were a thing when search barely worked.

https://en.wikipedia.org/wiki/Webring
This would indeed be the best way around.The code reviews might even be better - currently, there's little time for them and we often have only one person in the team with much knowledge in the relevant language/framework/application, so reviews are often just "looks OK to me".

It's not quite the same, but I'm reminded of seeing a documentary decades ago which (IIRC) mentioned that a factor in air accidents had been the autopilot flying the plane and human pilots monitoring it. Having humans fly and the computer warn them of potential issues was apparently safer.
My advertising is so efficient it no longer works
thank you for supporting it!
The way companies are flailing to include AI in their plans in any way possible seems to be driven by investors rather than anyone in touch with the actual business of the business. Very bubble behavior.
I've built a sales AI that needs 1 minute to start selling your product
> It is reasonable from his point of view

If he wants to actually accomplish his objectives, he needs to get inside the minds of the executives that run these companies. Empathize with their concerns and then develop a strategy for walking them towards a path to build even one additional factory.

Throwing out a cartoonish figure and then hoping to be taken seriously is not something I'd expect from the CEO of something so adjacent.
IBM and Oracle to support 280k users after winning mega ERP govt tech contract
Yeah we are working on that. Sometimes it is hard to get public info out of private projects, but there’s going to be a bit more on that in the not so distant future :)
Re:AGI

LLMs don’t have any ability to choose to update their policies and goals and decide on their own data acquisition tasks. That’s one of the key needs for an AGI. LLM systems just don’t do that / they are still primarily offline inference systems with mostly hand crafted data pipelines offline rlhf shaping etc…

There’s only a few companies working on on-policy RL in physical robotics. That’s the path to AGI

OpenAI is just another ad company with a really powerful platform and first mover advantage.

They are over leveraged and don’t have anywhere to go or a unique dataset.
> why not let anyone contribute to any webpage?

I can think of a few reasons.
Small developers have multiplayer games all the time that aren't affected by issues like the ones SKG is concerned with. Ad-hoc multiplayer and dedicated servers that players can self-host are long-established solutions. A common argument in bad faith is that SKG demands perpetual upkeep of presumed infrastructure that will somehow harm small developers, and it just isn't true.
I have to use the phrase (and concept) of choice architecture much more :-)
> Great deal for Meta while it lasted!

The word "deal" implies some kind of (commercial) transaction that has a price tag associated with it (deal = good price).

But DT keeping this peering connection up should be (IMHO) DT just doing the job they're paid for.

DT's customers pay for "Internet access", and since Meta is on the Internet, the customers should be able to connect to it. Customer's send requests to Meta, DT passes those requests along, and it is DT's job to pass along Meta's responses.

Why should Meta pay DT anything? DT is claiming to offer a service, and part of that service is transporting the responses to DT's customer's requests. If those responses are high bandwidth it is part of DT's job to deal with it. If 'dealing with it' entails special connections to particular corners of the Internet to better serve their customer's then it is DT's job to do that.
Well done @keybits for reaching out for help. Another option is that you could split the workload between 3-4 data archivists and start a separate archive until it finds a better home. Personally I don't have the time for this but more people might have the time for a 1 year effort if you were to provide your setup. A few other archivists have been suggested on this thread. Perhaps they would take a portion rather than the whole responsibility, it could be pretty cool to have a bi-monhtly catch up with others with the same hobby and who would all be eager to share their discoveries!
it _supports_ one for a specific legacy users, the default is more modern.
Ask HN: How should I teach undergrad intro to programming?
I was just hired as adjunct faculty to teach computer science undergrads at a top 100 US university. The department would like me to start by teaching the introductory C programming course. This course (or its Python counterpart) is a requirement for CS majors, although it is open to other students as well.

I am under no illusions that my unfinished PhD (dissertation pending) gives me any special insight into how to teach fundamental programming concepts. These are topics that thousands of students are introduced to every day in high school and college courses, coding boot camps, or through self-study. I know how I learned this stuff, but that doesn't mean the same approach will be effective for everyone else.

The bulk of my preparation is in developing the content of my classroom lectures (about 24 sessions, 80 mins each). My goal is for the lectures to be sufficiently engaging that all my students choose to attend, even if I don't grade them on attendance. Anyone can go watch the Harvard CS50 lectures on edX if they want to learn programming; the only advantage I have is that I'm doing it live in front of my students and, if I prepare well, can pull them into the subject with an interactive personal experience.

So, I'm asking the HN community for advice. I'd like to hear about the best experiences you have had as a student, not just limited to learning CS topics. I'd also like to hear about any particularly memorable or effective approaches to learning fundamental programming concepts that you've encountered which I might be able to employ in my own course.

Thanks!
Amazon was not profitable for many years, yet they are one of the most valuable companies in the world.
Why? Because they kept growing.

What OpenAI is doing is "sustainable" if they keep growing like that.
From summer 2023 to summer 2024 they 6x their revenue to 3.4B USD.
If they 4x next year and 3x the year after, they would make 40B in revenue.
Lawyers are forming mass arbitration groups, costing companies thousands per arbitration case...

>For example, in the TurboTax case, a judge tallied (PDF) Intuit’s potential costs for the arbitrations to be at least $128 million—$3,200 for each of the 40,000 clients represented by Keller Lenkner, the firm behind the mass arbitration.

https://www.consumerreports.org/money/contracts-arbitration/...

So companies are removing the provision...

>Finally, companies may want to reconsider whether individual mandatory arbitration still represents the best dispute resolution system for their needs. Some companies already have opted to revert to court litigation and class actions, although the majority – even after having to face a mass arbitration – continue to use arbitration, albeit with several of the risk mitigation strategies described above.

https://www.cooley.com/news/insight/2022/2022-06-30-how-comp...
> Not once did he need to ask me a question. When I asked him "how long did this take" and expected him to say "a few weeks" (it would have taken me - a far more experienced engineer - 2 months minimum).

> Current LLMs fail if what you're coding is not the most common of tasks. And a simple web app is about as basic as it gets.

These two complexity estimates don’t seem to line up.
What other countries? There are maybe 10 that care even a little a bit about icebreakers.
They'll be writing off all those contributions 4000 hours is a lot of hours.
Yeah, the issue with "it's their choice" is that through addictive behaviors they are trying to take away that sort of agency from people. I don't have an issue with gambling in general but I have a huge issue with people trying to trigger and profit from addicting behaviors. It's a phenomenally cruel thing to do to people.
its brought about a lot of shops that can rip the electronic tracking devices out of your car pretty easily too, which is nice in case you don't feel like being someone's datapoint