skysight-inc/HackerNews huggingface dataset:
> 5 days ago: https://www.reviewjournal.com/opinion/editorials/editorial-g...

This article is riddled with statements that are factually incorrect. :(

I guess this is hard to research if you don't speak German, though.

> If you want a less biased source, here is bloomberg: https://www.bloomberg.com/news/articles/2024-04-30/germany-s...

Can't read this, it's behind a paywall.

> Reserve plant capacity needs to double by 2026, regulator says

That does not imply more plants if you're in a phase where you take plants out of continuous operation. It's just that existing plants must be kept in reserve and can't be completely disconnected.
In just a couple of generations each training cycle will cost close to $10 billion. That's a lot of cheddar that you have to show ROI on.
Real button and knobs!
Of course people generally value truthfulness. That value commonly being trumped by other competing values doesn’t negate its existence.

I don’t think defeatism is helpful (or correct).
I think you mean hypocritical, instead of hubris.
Response from Theo de Raadt (https://marc.info/?l=openbsd-tech&m=171572099614639&w=2):

The proposal talks about a few applications which are better with nagle
off by default. Most of those applications have already turned off
Nagle, after deciding that the cognitive load of driving their small
write system calls via single internal buffing layering is too complicated
(that's ssh, that is most http services, etc). In that software, Nagle was
manipulated by a developer after systematically studying & modifying the
application as a whole.

But applying it to all applications, just because 'few applications
prove Nagle bad'? That is backwards. It needs to prove that the entire
application ecosystem is MAJORITY improved by disabling Nagle.

I strongly doubt it is improved. I suspect a majority of software is
different from the few well-known ones disabling Nagle -- and I'm sure a
few which intentionally leave Nagle enabled -- furthermore I suspect the
majority of software gains full-system benefits from this 'teeny buffer
bloat' layer.

It mostly has to do with what the internal IO subsystem of a program looks
like. Does it use stdio, does it use raw writes, does it use BIO, etc.
(That's where short writes due to intersecting layers of API).

So I suspect "Nagle always bad" would need to be disproven before we
give people a dangerous knob -- which a segment of the user community
would toggle, and thus increase our cognitive load when trying to
diagnose their vague bug reports in the future...
Planned in 2007, entered operation in 2020? Yes, given the changes in the last four years, it is not new!
nevermind meant to use ai sidebar
That title is a hallucination.
I can get close to 50 mph (safely) downhill on my 30 year old steel framed 8 speed bike with 20mm tubular tires pumped to 120 psi. No problem with riding at 20 mph on the flats and I'm close to 60 years of age. My "aero" CF bikes with deep carbon rims are minimally faster. Speed is irrelevant unless you are racing. Enjoy the ride and stop relying on equipment for minimal performance gains.
Not really. You can use and author COM components in .NET, but most developers use the platform more like Java.
You are right about funding levels, even taking inflation into account. Some of the infrastructure, like Connection Machines and Butterfly Machines seemed really expensive at the time though.
> a narrower tire is going to usually be better, because you gain the aerodynamic advantage

Testing has shown this to not be true. Width is less important than overall shape of the tyre/wheel/bicycle interface when it comes to aerodynamics.
Thanks for the feedback. Can you please share what did not work?
This might be possible someday: https://ipadlinux.org/
Article doesn't make it clear, but I assume that SMTP 550-5.7.1 was an extant error code and the VA redistricting was simply the message body that the server returned alongside the error code? Otherwise the article might lead one to believe that error 550-5.7.1 was explicitly created for the purpose of VA redistricting (a la HTTP status code 418: "I'm a teapot").
No, AI also needs to fail in similar ways as humans. A system that makes 0.001% errors, all totally random and uncorrelated, will be very different in production than a system that makes 0.001% errors systematically and consistently (random errors are generally preferable).
I think this is a really interesting equivalence to consider.

I think the difference is highlighted when someone is able to answer a question with "I don't know" or "I can't tell you that".

Interestingly, LLMs can be trained to answer that way in some circumstances. But if you're cunning enough, you can trick them into forgetting they don't know something.

While a human may hallucinate memories, we crucially have the ability to know when we're relying on a memory. And to think of ways we could verify our memory, or acknowledge when that's not possible.
related recent discussion: https://news.ycombinator.com/item?id=40146751 (about https://prosopo.io/articles/typescript-branding/)
This is a slam dunk for free software. Even Oracle can't deny the benefits.
How do you do this with template literal types? Does that mean you changed the string that gets passed at runtime?

The nice thing about branding (or the "flavored" variant which is weaker but more convenient) is that it's just a type check and nothing changes at runtime.
Using LLM enhanced screen recording to feed AI chat bot
Everyone hell bent on leaving is actually distracted from the real less immediately glamorous challenge, which is learning to sustain life and exercise restraint.
The article describes making "number" a different type, not A and B. It's true that making A and B different is a unique problem of TypeScript, but making number a different type is a common issue in many languages.
> It doesn't. It just the brand name Tesla chose

Well, a supercharger does charge the car „super“ fast, so there you go. Just a different kind of „super-charging“.
Well, also, plastic waste getting dumped in water ways, and in the USA, steel and coal waste being dumped into the Ohio (causing a huge dead zone in the Gulf). There are serious pollution problems everywhere, and I kind of hate the climate change narrative for taking people’s eyes off of those problems.
Reliability not it terms of getting it recorded and read back. This is obviously a non-issue. Reliability in terms of enforcing its trial restrictions. The more the program touches its trial state, the easier it is to crack.
> a sophisticated approach to their defense

A euphemism for apartheid and oppression?

> sources are rife with bias

What's biased about terming autonomous weapons as "AI"? Or, sounding alarm over dystopian surveillance enabled by AI?

> The nuance matters.

Like Ben Gurion terming Lehi "freedom fighters" as terrorists? And American Jewish intellectuals back then calling them fascists?

> The history matters... After that, articles such as the ones you posted really read quite differently than most might expect.

https://www.wetheblacksheep.com/p/i-changed-my-mind-on-zioni...
Wouldn't consumer Linux running on an ARM core just be a Chromebook?
You think leaving earth is the solution? The only place we've evolved to survive on.
I love the idea of saying "the computer was just freestyling that bit".
Letting off a few nukes could slow climate change a bit right? I vaguely recall that all the dust kicked up by the hundreds of tests in the 50s and 60s had an effect.
You did not look hard enough. Use search "GPS tracker charger" to get started. They still exist in there
The only AI remotely generic enough for that exists for like 2 years. Give it a few more, you might just get your wish.
Putin is quite old and will die soon. My concern is the chaos which follows, as Putin has killed all strong contenders for power.

It shows how little he cares, for the best thing a leader can do for a nation is to ensure a strong successor. The resulting civil war in Russia is where the nukes may appear.

Anyhow,
Ah yes, a "source" from Charles Koch's Cato Institute.

Do you really expect to be taken seriously with this "rebuttal" ?
Interesting way of elevating bug issue to compile time. I'll definitely try to apply it to my TypeScript Front-End.

I use the newtype pattern a lot in Rust. I try to avoid passing strings around. Extracting information over and over is cumbersome. Ensuring behavior is the same is big-ridden.

An example: is a string in the email address format? Parse it to an Email struct which is just a wrapper over String.

On top of that we then assign behavior to the type, like case insensitive equality. Our business requires foo@BAR.com to be the same as FoO@bAr.com. This way we avoid the developer having to remember to do the checks manually every time. It's just baked into the equality of the type.

But in Rust using

type Email = String;

just creates an alias. You really have to do something like

struct Email(String)

Also, I know the only way to test an email address is to send an email and see if the user clicks a link. I reply should introduce a trait and a ValidatedEmail and a NotValidatedEmail.
The visible component would still cause your eye to narrow the pupil.
The particular problem with 'proven' is a whole lot of things we use day to day are not proven and at best may only have statistical likelihood, but never be provable.

Things like understanding, consciousness, intelligence are all things on gradients that are going to be on that scale.
It is definitely oversold, but more importantly IMO it needs to be productized. We’re seeing very sloppy, ad hoc productizations but there are definitely lots of valuable, interesting problems that LLMs will help with. Probably most of them buried in the innards of archaic domains and institutions, which the public writ large will never directly interact with.
Works in the newest 2007 draft (v23), but not the 1997 (v20).
It makes me think about fraud statutes.
Lunar Surface Cuff Checklist
SHOW HN: I coded a Proposal tool to create Professional Proposals with GPT-4o
Intelligence is the ability to comprehend a state of affairs. The input and the output are secondary. What LLMs do is take the input and the output as primary and skip over the middle part, which is the important bit.
I should have worded that better - by "hold debt" I mean people who are paying the debts, especially things like fixed rate mortgages.

If you borrowed $500k to buy your house at 3% and we hit 10% inflation, you look like a financial wizard pretty fast.

If you bought non-TIPS bonds during that time to finance your retirement, you may end up nearly destitute.
Let the enshittification begin
Interesting. The spelling error seems to help the model!?

Anyway, tried the corrected prompt again on both 4 and 4o, but they failed them both. Reintroducing the spelling error didn't help either.

You can substitute 'elephant' for a whole range of animals, and for most, but not all, it will make something up.
Asking LLMs for imaginary facts is the wrong thing here, not the hallucination of the LLMs.

LLMs have constraints, these are computation power and model size. Just like a human would get overwhelmed if you request too much with vague instructions LLMs also get overwhelmed.

We need to learn how to write efficient prompts to use LLMs. If you do not understand the matter, be able to provide enough context, the LLM hallucinates.

Currently criticising LLMs on hallucinations by asking factual questions is akin to saying I tried to divide by zero on my calculator and it doesn't work. LLMs were not designed for providing factual information without context, they are thinking machines excelling at higher level intellectual work.
> Regardless of how one characterizes the magnitude of the changes, if the unanticipated difficulties had been handled openly, there would be no question of criminal liability

You’re skipping over the first half of my statement. If the unexpected difficulties had been handled openly they would have needed to go through more regulatory hurdles. Physics didn’t put them into some kind of catch 22 situation the aircraft could have been safe, it just couldn’t be safe while playing games with regulators. That’s where criminal liability shows up.
This is the source of those ads: https://en.m.wikipedia.org/wiki/Tobacco_Master_Settlement_Ag...
I imported one to the UK in 1998/1999. Not a very practical system but Nintendo likes to try new things.
Oracle owns the most permissive possible license to MySQL.
I agree that AI gets a lot wrong, and it doesn't seem to be too great at reasoning either.

Potentially more dangerous is how it repeats the lies we tell ourselves. Bits of cognitive dissonance may be something that we can ignore enough to live with, but what happens when learning algos have their tentacles in a lot of different systems & have the potential for wide-reaching consequences, and they're being taught the same lies?
If they have anything like that then there might be the case, but so far all that is publicly known is that Boeing plausibly had a motive for wanting them dead. No sane prosecutor will try their luck with only that to go on.
I don't think so. I actively use some of the Pi alternatives, and none of them are well-polished and stable as Raspberry Pis.

Also, an IPO doesn't mean that a company will go downhill from there. For example, when Bending Spoons got Evernote, everybody prepared for the worst, but it didn't happen, at least yet. They are genuinely trying to make it better from my understanding, at least for now.

I think the biggest thread to ARM SBC ecosystem is Intel's N series systems, which can run both Linux and Windows 11 equally well. An N95 runs a familiar chipset & ISA with familiar system dynamics and standard ports with good IO performance. They can act as good home servers and entry level home computers.

Who can deny the charm of a small box with a mSATA + NVMe port, WiFi6, a proper BIOS, two screen outs backed by an acceptable GPU?
What do you take away from this?
Nah. Politicians will still have the wrong incentives, and they’ll just let the poor die. Meanwhile the rich will buy up all arable land, and all land not largely affected. Following that, they’ll tighten control of national borders to stop waves of migration.
And after that keep quiet...unknowingly ?
Which is why we don’t generally put human memory at critical junctures in critical systems.
I'm using this example project from Apple to create and run linux virtual machines on macOS:

https://developer.apple.com/documentation/virtualization/run...

(Download the example project, build it in Xcode and run it. Point it to a linux .iso and you're good.)

I can stay in macOS for the stuff macOS is good at, and I can use linux for the stuff it's good at.
Downranking won't stop Google's deepfake porn problem, victims say
if the value really is 0.01%, then the education pipeline needs to be revised. 'blue collar' programmer positions should be the majority.
The claim being implied was that Anthropic was in a better position because they had partnered with AWS versus Azure and thus they would have more access to GPU.

That isn't the case, at all. All I'm stating is what the chart clearly shows - Azure has invested deeply in this technology and at a rate that far exceeds AWS.
Thank you for the reminder. Actually, we filled in the link to the English version of the blog, but for some reason, it turned into the Chinese version when it was submitted. So, I hid the content immediately. I have already emailed hn@ycombinator.com for help.

The English version is here: https://blog.nocobase.com/posts/nocobase-opensource-income-3....

I will try to resubmit it once the issue is resolved. Thank you for your kindness!
Show them a Quentin Tarantino film? ...or any film for that matter where the main characters seem so "cool, unfazed and untouchable". To a young (mostly male) mind, that's the ultimate goal; to be in charge. For most beginning smokers, it's not about the inhalation of tobacco, but the subversive "screw the rules, those don't apply to me" façade. This might sound obvious but, if we want 7th graders not to glorify smoking, we quit glorifying it in our media. Make the stupid guy in the movie the one that's dumb enough to smoke. Make everyone laugh at him every time he tries to look cool.
Lots of x64 apps making Win32 system calls. Those tend to have more problems on Arm than the x86 apps making those calls.
The article doesn't ignore that. The point is that we keep talking about that future as if it's now, and it's simply not.
What does it mean to get something right? If I ask GPT-4o (or any model, really) whether it's usually hot in Topeka during the summer, it will give me the correct answer. The model may or may not understand what it means for Topeka to be hot during the summer, but it has generated text with a single reasonable interpretation which happens to include a factually correct statement. I'm comfortable saying that GPT-4o "got it right" in that case regardless of what we believe about its understanding.
People never picture themselves as being among those great numbers who suffer and die in these scenarios.
In customer service, this appears to be how humans fail. They don’t know, so make up a policy.
That is the spammers' dream: shut people down for complaining. From the very beginning spammers have typically had the attitude that those they spam should "just hit delete". The more sociopathic spammers double down and spam complainers harder.

This amounts to thinking you've got a moral right to spam.

If it wasn't so easy to slide from advertising to spamming, this wouldn't matter, but that slide is easy.
That you get language support for something you're going to be doing anyhow.
At least those make comprehensible sentences in ordinary English.
IPO announcements need to come from approved/authoritative organisations. This one is distributed by the UK's authoritative organisation - RNS news. In the other territories, IPO announcements also have to be made by authoritative organisations. RNS is approved in the UK, but not the other territories.
Why Elon Musk fired the entire Tesla Supercharger staff
code gen sidebar
> I actively use some of the Pi alternatives, and none of them are well-polished and stable as Raspberry Pis.

Exactly.

Pis are obviously not perfect. You can definitely find much better "deals" - but overall it is a very good product for what you're paying for.
Any idea what tool was used to create this diagram?

https://github.com/Modos-Labs/Glider/blob/main/assets/glider...
Not at a startup, but at a small company (<10 developers) we regretted not doing a mono-repo.

We had our own GitLab instance and we were all open source enthusiasts and building micro-ish services, so it seemed natural for us to do multi-repo.

Eventually we realized it was creating a lot of unnecessary overhead, as we often were submitting patches for a single ticket to multiple repos which all required separate reviews.
Ask HN: WFH: Do you prefer surveillance at the workplace or at home?
The scenario I have in my head is that they had to override the safety team's objections to ship their new models before Google IO happened.
Maintaining an entire separate OS (like Solaris) is hard. Maintaining a fork of a Linux distro is easy.
Depends what you mean by "most languages." I think it's clearer to say which languages have zero-overhead custom types.

Go has it. Java didn't used to have it so you would use wrapper classes, but I haven't kept up with Java language updates.
Arm listing in the US was apparently quite a blow to the London Stock Exchange. What kind of decisions drive a company to choose one exchange over another?
> In fact, a tremendous amount of money is being invested right now to reduce/control hallucinations.

Ok, I can only laugh on this.

Those "hallucinations" are the one main feature neural networks. It's imposed by their fundamental structure, and what gives it all if its usefulness... when the people making use of it knows what they are doing.

The way to reduce/control the hallucinations of a neural network is to unplug it from the power outlet.
You can fix that fairly easily using private variables:

class A {
private value: number
}
class B {
private value: number
}
const x: A = new B() // error

You can also use the new Javascript private syntax (`#value`). And you can still have public values that are the same, so if you want to force a particular class to have nominal typing, you can add an unused private variable to the class, something like `private __force_nominal!: void`.
Regulate trade. Carbon taxes on production and shipping disincentivize this.
When you have a calculator, what is the point of testing people on how fast they can do complex math with paper and pencil.

I think same thing applies here. The interview process must evolve to factor in gen ai. If a candidate is effective coding with gen-ai, does it matter that they are not effective without it ?

Several people have mentioned code reviews, +1 to that.
When in doubt, rip it out. If you suspect bugs, then get rid of any suspicious cable you can't prove the provenance of.
If they do it likely won’t be until after the deal closes.
Scala 3 has opaque types for this. And libraries like iron build on top of it so you can have a very clean way of enforcing such things at compiletime.
It works best if the nukes hit densely populated areas, but I hope we manage to implement the solutions to climate change that don’t require killing billions.
> #3 will be solved by human ingenuity

It already started, billions of dollars in losses, with no real solution in sight.
It depends on situation. People want their health care provider to be correct. Same goes with chat bot when they are trying to get support.

On other hand at same time they might not want to me moralized to like told that they should save more money, spend less or go on diet...

AI providing incorrect information in many cases when dealing with regulations, law and so on can have significant real world impact. And such impact is unacceptable. For example you cannot have tax authority or government chatbot be wrong about some regulation or tax law.
1m is great for multimodal agentic workflows where you need to keep track of history
Isn’t the whole issue that the real action will be too late given our currently technology?
Hey, aren't you the user who was trolling I'm that one thread about someone making an app? https://news.ycombinator.com/item?id=40199670

Oh well, some concerns around AGI might be attempts at marketing and attracting attention, though some caution probably isn't too bad to have. AGI might become a thing, it's just that there's no guarantee that it will happen in our lifetimes. On the other hand, even LLMs will put some folks out of a job.

Relations between nuclear powers are anyone's guess but there's no reason why Russia couldn't be forced to back off, as opposed to "being backed into a corner". Wouldn't be the first proxy war and most likely won't be the last.

I care about climate change, there are certainly others. No idea whether much of a change will be made in our current course, but there's no reason to be super dismissive. If anything, recycling, eating a bit less meat or doing lots of the other common recommendations improves my own quality of life, even if the legislature that goes after the big corporations is nowhere to be seen yet. No reason not to make the world a better place, or ar least try to, in whatever ways are viable, like donating towards planting trees or something like Wren.
Looks like draw.io / diagrams.net
It reminds me the fake video they shown few months ago. Google burned a lot a good will this day
That's dissapointing. I was hoping they'd be happy getting enough revenue to stay private. What do they need to raise capital for?
Definitely not the solution. Ending capitalism for some other form of economy is the only way in my opinion. Not that I don’t think people should be rewarded for the products and services they offer just that the incentive to make cheap shit and sell an upgrade every year is definitely harmful to our earth. The problem I see is I don’t know what type of economic solution there is that would fit.