skysight-inc/HackerNews huggingface dataset:
> Why do even you portray the environment as being full of companies whose primary goal is to exploit their workers?

Companies primary goal is to exploit /everything/, and why wouldn't workers be included/
Wait what. I thought it existed for FFI purposes, regardless of if that's with C or network protocols. The defining crate getting away with it undermines this.
When negotiating, it’s referred to as “building a golden bridge.”
If you want to use LLMs for code, use them.

If you don't, don't.

However, this 'lets move past hallucinations' discourse is just disingenuous.

The OP is conflating hallucinations, which are a fact, and undisputed failure mode of LLMs that no one has any solution for.

...and people not spending enough time and effort learning to use the tools.

I don't like it. It feels bad. It feels like a rage bait piece, cast out of frustration that the OP doesn't have an answer for hallucinations, because there isn't one.

> Hallucinated methods are such a tiny roadblock that when people complain about them I assume they’ve spent minimal time learning how to effectively use these systems—they dropped them at the first hurdle.

People aren't stupid.

If they use a tool and it sucks, they'll stop using it and say "this sucks".

If people are saying "this sucks" about AI, it's because the LLM tool they're using sucks, not because they're idiots, or there's a grand 'anti-AI' conspiracy.

People are lazy; if the tool is good (eg. cursor), people will use it.

If they use it, and the first thing it does is hallucinate some BS (eg. intellij full line completion), then you'll get people uninstalling it and leaving reviews like "blah blah hallucination blah blah. This sucks".

Which is literally what is happening. Right. Now.

To be fair 'blah blah hallucinations suck' is a common 'anti-AI' trope that gets rolled out.

...but that's because it is a real problem

Pretending 'hallucinations are fine, people are the problem' is... it's just disingenuous and embarrassing from someone of this caliber.
In such a scenario you wouldn't be able to use fiat either. Guns and food would be of greatest value. Maybe we should just reserve guns and ammo?
Cost describes tradeoffs. Environmentalists ignoring costs and generating a backlash that completely undoes their work shouldn’t be a lesson needing relearning twice a generation.
I feel like it kind of fits in the same category as Hundreds of Beavers (also a fantastic film), as something using the roughness of low-cost methods as a genuine part of the artistic style.
Again, for 80% of filers, none of this matters. They have their one W2 and take the standard deduction. The only thing the IRS needs to know is what's on the W2 and their marriage status, which they absolutely do have because if you get the marriage status wrong they send you a letter (and it's a matter of public record anyway).

So for 80% of people, they would never have to fill out a tax form at all. They could just get the tax bill and have it auto-pay (or more likely auto-refund).

And for the next 10% of people, who only take a small set of deductions that you can take on top of the standard deduction, you don't need even a two page form, you just need a wizard that asks a few questions like TurboTax.

And then for the rest they can opt to fill out the regular forms if they don't agree with how the IRS calculated their bill. This is how it works in pretty much every other civilized country (and a lot of uncivilized ones too).
I made a simple javascript by copying your code so that I can add this cute guy on my website, please let me know if this is not OK (https://github.com/jwenjian/scroll-buddy)
Decentralization will solve it. The current heavily centralized scheme has just created a system where everybody's optimizing for the lowest common denominator's test scores. Anything that doesn't improve that is heavily deprioritized, especially if it could entail any sort of liability or risk. Infantilization follows naturally.
I've been wiping windows since 2015, before that I did dual boot.

In part the gaming support has improved.

I don't know if it's possible to give an answer to "most linux laptop users".

Nowadays you can find very detailed compatibility for arch on the arch wiki. There are some footguns like s3 sleep. It's better documented and many laptops will do pretty well.
Maybe if I remembered or looked at how HN handled Trump's first election win then I'd have a more accurate impression, but both the Twitter/Musk takeover and now Trump's win and DOGE seem to have sent a lot of people into strange hysteria that I've rarely seen on HN. I just want people to calm down and provide better commentary but I think that would be downvoted to hell with responses like "don't you know <insert apocalyptic event here> is happening? Are you <select from stupid/bigoted/evil>?"

The other day, I had a chat with a friend (IRL) and he told me his friend told him that planes are falling from the sky because Trump had fired all the air traffic controllers (which, as Trump would put it, is fake news, driven by irresponsible headlines). The commentary here is on that, very low, very misguided, tribal (not even partisan, worse) and very unhelpful level. That's not the kind of plurality of opinion HN needs, in my opinion.
Yup - my Nexus 5 is all sticky and nasty because they made the back out of rubber.

What are steering wheels made of? That material seems to last longer, and they exist in much harsher conditions.
When Mallory climbed on Everest (and possibly summited) it was a big deal because it had never been done. When Hilary and Tenzing did it, it pushed human achievement forward.

Today people still do it, but it means nothing to anyone other than those people.

Going to the moon in the 60s was an impressive feat. It pushed the boundary forward. But that's all it did. There's literally nothing of value there.

Sure most of the people who saw that are dead, or will be in the next 20 years. So it will seem "cool" to the next generation. But selling "cool" to a congressional appropriations committee is a tough sell.

We aren't gonna colonize the moon (or indeed mars) because frankly it would be too expensive, and there's no point. There literally is nothing to gain from a colony in either place, and there's no way to fund it (and no reason to fund it.)
Why is this considered "mentoring"? From what I read, you see an employee screwing up something and you have a chance to help your company before things go out of hand. Not everything you do at work should be considered mentoring. You can correct other's mistakes or warn them before they cause damage. If the person wants a mentor or a senior to help them, they will ask.
The parents' job is to understand what is being taught in school and to fill the gaps. Either by teaching directly or by influencing the direction that the school is taking.

There's no reason to make a list of school topics and keep it separate from parent topics (except perhaps in particularly sensitive cases, but that's now what's being discussed here).
I'm on your side, but playing devil's advocate: what would the "conflict" be plot-wise in solar punk?
I’m not trying to be flip here but isn’t the vast majority of pornography degrading and misogynistic?
I’d highly recommend looking up “Situational leadership” if you’re worried about coming off as micro-managing. You need to adapt how you’re mentoring based on the mentees skill and confidence.
Another option, if you can’t find a card, is a ZuluSCSI or BlueSCSI V2 in initiator mode to image the drive to an SD card. It’s pretty nifty! I’ve recently even been using ZuluSCSI as a USB-SCSI bridge with USB MSC initiator mode.
Saw this catapillar one a few weeks ago -> https://x.com/trunarla/status/1893705260142657764
> into the third dimension

Does this actually work? At some point, and this is been the case for a while, you're limited by thermals. You can't stack more layers without adding more cooling.
Penrose's argument does not require humans to prove every true statement. It is of the form - "Take a program P which can do whatever humans do and lets a generate a single statement which P cannot do, but humans can."

The core issue is that P has to seen to be correct. So, the unassailable part of the conclusion is that knowably correct programs can't simulate humans.
Hey look, the good guys won! It was well-deserved. Three generations within my family all loved it start to finish, including the snobs like me - that’s no small feat.

(Nothing against the other nominees though of course, just seeing the little guy take a huge W makes me feel good and … I feel a bit starved of this kind of W lately? Just me?)
This reminds me of what happens to that rubberized coating that was so popular on plastic peripherals a long time ago. I have a relatively recent Ubiquiti AmpliFi device and it's just...sticky. I can't get rid of the stickiness no matter what I try.
This. There are other options.
Natural progression of an industry. It always consolidates.
Those are my thoughts exactly. I see these "I am a mentor" posts on HN all the time. I think the developers (senior or not) fantasize about being a mentor to feel important. It is likely an unsolved ego issue. I help my friends at work or outside of work with bugs and any other type of work-related things and never consider myself a mentor. Also wanting to be a mentor type of fetish feels like BDSM to me.
No, but I believe it to be fair and proper to compensate someone for the value they provide in the event the org does not (and simply says thank you upon receipt of a genuine vulnerability report).
In my experience the KDE desktop lets you set monitor brightness from the UI... and on Wayland it happens even if you don't ask it to (https://bugs.kde.org/show_bug.cgi?id=494497). You can turn it off by "setting the `POWERDEVIL_NO_DDCUTIL=1` environment variable in PowerDevil as described in its README file: https://invent.kde.org/plasma/powerdevil/-/blob/master/READM..."
The whole point to reading an article like this is to get the considered opinions of an expert, though, not to "judge it on the merit". Only an elite handful of security folks here on HN (and this is one of the few forums where you can find them!) are capable of doing that.

So sure, when another security wonk comes along and says "Kaspersky is right about this", I think it's worth discussing. Until then, we need to assume that any communication from the company is compromised by unstated interests. Not all of it is, surely, but some probably is, and "judge it on the merit" isn't a good standard to detect the bullshit.
Wow that's super interesting! I've never heard of this, but the appeal is immediately obvious. Thanks for commenting, gonna have to do a Wikipedia binge.
I wonder what a structure of metal(aluminum?) would look like after hundreds of thousands of 14-day 450F cycles.

How many cycles would it take to turn into a mound? Would a coherent mound still count as "existing?"
You really think clueless manager types are the next batch of founders?
Calling the author a mindless zombie over KDE/Gnome differences is pretty authentic and usual, the rest was an atypical wild read.
Around here it's typically somebody who is using involvement in local education as a stepping stone towards a heavier hitting political career.

I think things would be much better if they had been teachers, but the teachers are all either burnt out or still teaching.
Even though I’m part of the people suffering from his election, over half of US citizens voted for him. They are the only people who can stop him. God bless America.
The Controversies section on Wikipedia pretty much covers it
Actually this implies there's probably an opening in YouTube for someone to make vulnerability videos in the style of speed run videos. And then poaching some of that audience, and riding the sponsorship opportunities. Not my skillset but yeah, I could definitely see that working.
VCS should be trivial push-button activity (and _is_ except with Git). There is no added value making a thing far less usable than could be. This is not git’s fault - it is what it is. But it is incomprehensible industry selected it as it’s de facto vcs.
> > What stops a script on evil.com from going to bank.com...

> CORS

CORS does the exact opposite to what you think.

Those types of cross-site requests are forbidden by default by the Same-Origin Policy (SOP) and CORS is designed so you can allow those requests where they would otherwise be forbidden.

CORS is not a security barrier. Adding CORS removes a security barrier.
Why a Chinese Gadget Company Can Make an Electric Car and Apple Can't
Driving the ASN Truck Without a Licence
pg_bm25 - Optimized for faceted search & PGroonga - Full-text search with JSONB support
It's precisely the utopic part that's an issue. All other punks before it like dieselpunk, cyberpunk, atompunk etc are dystopia. To make solarpunk actually interesting, we have to be willing to discard the escapism and consider horrific consequences that we may face if we actually try to implement it.
They plan to sell public lands to fund this. National parks, BLM land, etc. Terrible trade.
Super Micro to Build Third California Campus
Show HN: Manas – Multi-Agent Framework for Complex LLM Applications
Hey HN,

I built Manas to solve challenges I faced in my PhD research on formally verified systems for LLM applications. After repeatedly implementing similar patterns for agent orchestration, I decided to create a reusable framework.

What makes Manas different is its approach to multi-agent workflows. It implements a think-act-observe cycle for agents with proper state persistence, while providing visualizable workflow orchestration between specialized agents. The core flow execution logic is formally verified, which was critical for my research.

Interestingly, I "vibe coded" much of Manas - using LLMs to generate code while I guided the architecture. This meta approach of using LLMs to build LLM orchestration tools proved surprisingly effective.

The framework is provider-agnostic (OpenAI, Anthropic, HuggingFace, Ollama) and includes vector store integrations (FAISS, Chroma, Pinecone) for RAG applications. Everything is async-first with proper error handling.

The docs include several examples to get you started: https://manas.koley.in

GitHub: https://github.com/arkokoley/manas

I would love to hear your thoughts!
I don't think its useful or even interesting to talk about AI in relation to how humans think, or whether or not they will be "conscious" whatever that might mean.

AIs are not going to be like humans because they will have perfect recall of a massive database of facts, and be able to do math well beyond any human brain.

The interesting question to me is, when will we be able to give AI very large tasks, and when will it to be able to break the tasks down into smaller and smaller tasks and complete them.

When will it be able to set its own goals, and know when it has achieved them?

When will it be able to recognize that it doesn't know something and do the work to fill in the blanks.

I get the impression that LLMs don't really know what they are saying at the moment, so don't have any way to test what they are saying is true or not.
Wow, thank you for providing this source. I was about to respond to this news with something like "that RFK jr. is not anti vaccine but pro safe vaccine". But after seeing this I see that he is just a flip flopper
Honestly yeah it won't be "perfect" but neither is a videogame being rendered in real time and it looks pretty good

Since they're not going crazy with effects it seems like a good compromise
Drilling the well is the expensive part. It heats at a relatively constant rate depending on the geometry. You could size the plant to be exactly matched to the well output--but the generators and such are relatively cheap. So instead you make that part of the plant slightly oversized, so you can run at over the well's capacity when electricity is expensive, and under the capacity when it's cheap. The thermal mass of the rocks allows you to average this out over time.
> 1. Why an ESP32? Its a bit of an odd duck I would think. Can it withstand a month of DNS bombardment from your phone?

The advantage is that it is really, really cheap and low power.

They are cheap enough that I keep a supply of ESP boards just in case I want to throw something together.
It's a very demanding job, physically and emotionally, as well as, specialized training and liability since you literally have people's lives in your hands. You have to deal with people at their worst. Pay is quite high, and it's challenging to get into a nursing school program, but still only ~10-12% male (and about 1/3-1/2 are gay). Social dynamics are really different in nursing from school, to work, to supervision and management.
Appropriately for the topic, I tailored the level of consideration to just barely exceed that of your original argument. So, next to none.
Triple glazed windows keep the sirens out pretty well, for everything else, living in a building that poor people can’t afford seems to work
In my own experience, I have all sorts of ways that I try to 'drag' the llm out of some line of 'thinking' by editing the conversation as a whole, or just restarting the whole prompt, and I've been kind of just doing this over time since GPT3.

While I still think all this code generation is super cool, I've found that the 'density' of the code makes it even more noticeable - and often annoying - to see the model latch on, say, some part of the conversation that should essentially be pruned from the whole thinking process, or pursue some part of earlier code that makes no sense to me, and then 'coaxing' it again.
I don't care about the programmers who can't write FizzBuzz. Why should I? If I employed them, they were costing me money. If I worked with them, they were costing me time and hair follicles. I need them about as much as I need a buggy whip.

The linked article makes the claim that the majority of comp sci majors cannot write FizzBuzz. That's a bold assertion; how did the author sample such people? I suspect the sample pool was people applying for a position. There is a major selection bias there. First, people who fail many interviews will do more interviews than those who do not fail, so you'll start with a built-in bias towards the less competent (or more nervous).

Second, there is a large pile of money being given to people who make it over a somewhat arbitrary bar. As a random person, why would I not try to jump over the bar, even if I'm not particularly good at jumping? There are a lot of such bars with a lot of such large piles of money behind them. If getting a chance at jumping over those bars requires me to get a particular piece of paper with a particular title printed at the top of it, I'll be motivated to get that piece of paper too.
I recognize that URL! Git-sim is so cool!
Why would it take you an hour+? Also lots of people can...
No kidding, Shrek probably had to do with 100x less computing (per hour) than a modern production. First Toy Story probably something like 1000x less computing

We did come a long way
If you really do think that Terraform is code, then go try and make multiple DNS records for each random instance ID based on a dynamic number of instances. Correct me if I'm wrong, but I don't think you can do that in Terraform.

Great take.
>This isn't even opinion. It's fact.

I honestly don't mean to insult you but when you say things like this in a discussion where others obviously disagree with you, it makes you seem like either an overly enthusiastic beginner that hasn't learnt about tradeoffs yet, or a very stupid fanatic. You might be neither, but that is how it comes across.

>Anyone who has experience regularly(keyword) using both CLI and GUI for merge conflicts will side with me on this

I and many others simply disagree with you. I have used those tools. They work okay in simple cases but break down in more complex ones. That is my opinion.
It lets you have a middle ground, with the decision of when breaking happens left up to library users.
Without non_exhaustive, all consumers always get your second scenario. With non_exhaustive, individual zoos get to pick their own policy of when/if animals should starve.

Each option has its place, it depends on context. Does the creator of the type want/need strictness from all their consumers, or can this call be left up to each consumer to make? The lint puts strictness back on the table as an opt-in for individual users.
I wasn't saying the comic was right or wrong, but certainly it's what was running through my mind when I say that we all have 'cherished' or 'deeply held' beliefs. I think at some point deeply held beliefs will be challenged by edge cases, or can hold self-contradictions at the extremes, or turn out to be impractical when applied to the real world – specifically a world of people who won't ever align on a single set of deeply held beliefs, and specifically a world with a subset that would exploit those who hold too fast any kind of belief.

> I don't find that comic compelling.

Perhaps you don't, but I've certainly seen it play out in real life. People don't like beliefs shoved down their throats, no matter how much it might be in their favor.
I think we have a pretty good idea that we are not stochastic parrots - sophisticated or not. Anyone suggesting that we’re running billion parameter models in order to bang out a snarky comment is probably trying to sell you something (and crypto’s likely involved.)

I think you’re right, LLMs have demonstrated that relatively sophisticated mathematics involving billions of params and an internet full of training data is capable of some truly, truly, remarkable things. But as Penrose is saying, there are provable limits to computation. If we’re going to assume that intelligence as we experience it is computable, then Gödel’s theorem (and, frankly, the field of mathematics) seems to present a problem.
Isn't there quantum mechanics in every particle interaction though?
He misrepresents Penrose's argument. I remember Scott Aaronson met Penrose later on, and there was a clarification though they still dont agree.

In any case, here's a response to the questions (some responses are links to other comments in this page).

> Why does the computer have to work within a fixed formal system F?

The hypothesis is that we are starting with some fixed program which is assumed to be able to simulate human reasoning(just like starting with the largest prime assuming that there are finitely many primes in order to show that there are infinitely many primes). Of course, one can augment it to make it more powerful and this augmentation is in fact, how we show that the original system is limited.

Note that even a self-improving AI is itself a fixed process. We apply the reasoning on this program including its improvisation capability.

> Can humans "see" the truth of G(F)?

https://news.ycombinator.com/item?id=43238449

> one only has to note that even if you believe humans can "see" truth, it's undeniable that sometimes humans can also "see" things that are not true

https://news.ycombinator.com/item?id=43238417
Those aren't the numbers here though.

Pretty much every time people mention BYD EV numbers, they add hybrids.

I see it as intent to mislead.
Not that anyone’s offering me the choice of course but I’m happy to leave it to the robots. Lunar dust gives me the creeps.

Imagine stepping outside into a world where absolutely everything is coated
in dark gray copy toner that gets ingrained into all that touches it.

I don’t think I could do it due to the anxiety.
There is a setting in YT to disable shorts.
Why It's Premature to Cancel Google Search