Hacker Newsnew | past | comments | ask | show | jobs | submit | sockaddr's commentslogin

I agree. This is language evolving. If someone from the 16th century could hear a modern well-educated person speak English today they would likely be horrified at how degenerate it would sound to them.

So I don't think current English is in some perfect state that should not change.

On god.


The thought process goes like this:

They're a customer already if they're opening the home screen and they probably already mounted it on their wall so fuck them. Show them ads. Also turn on the microphone in the background (what my Hisense tv does).


Your amazon links are broken. But I think you're missing the point of this thing. This isn't for people that really even care about performance. It's for people that want a laptop that works with their iPhone, does all the things their school needs them to do in a browser, and doesn't come with a complete dogsh*t OS, and isn't of dubious quality like an HP or a "NIAKUN", whatever that is.

Now the color options, that's a tragedy.


>Your amazon links are broken.

Thanks. Fixed.

>This isn't for people that really even care about performance. It's for people that want a laptop that works with their iPhone

That was my conclusion to my comment in my original. The title of "no other budget laptop can compete" is not just sensationalized, it is factually wrong. It should have been "the least expensive macbook yet comes with a catch"


No that title is perfectly correct. You just can’t see past your technical blinders to what compete really means.

> Now the color options, that's a tragedy.

Maybe they need to bring back psychedelic iMacs.

https://www.slashgear.com/1706745/rare-apple-imac-designs-fl...


"No other budget laptop can compete on offering MacOS" is certainly a correct statement, but it's not a particularly interesting one. If they're missing the point, it's because it was exaggerated to the point of not being recognizable.

And for their kids sick and tired of trying to help them fix Window's incompetence. You're into Dell for at least $800 for anything approaching an actually usable laptop. This is definitely my mom's next laptop.

Because it's a different operating system?

> but the Neo may be proof that decades old macs could run Tahoe, and maybe as well or better than the Neo

The A18 Pro is going to out perform many "decades old" processors, which would you be referring to?

I wouldn't conflate "affordable" with "low-end" in terms of processing speed. Apple is able to get the price to this point because of decisions that the rest of the market did not make.


I think an old Mac Pro quad Xeon with 32gb of ram and an ssd of that era could do it. I agree that most cpus from 20 years ago could not. I understand that doing it and doing it well aren’t the same.

Exactly. Here's my experience using LLMs to produce code:

- Rust: nearly universally compiles and runs without fault.

- Python,JS: very often will run for some time and then crash

The reason I think is type safety and the richness of the compiler errors and warnings. Rust is absolutely king here.


I ve just vibed for 2 weeks a pretty complex Python+Next.js app. I've forced Codex into TDD, so everything(!) has to be tested. So far, it is really really stable and type errors haven't been a thing yet.

Not wanting to disagree, I am sure with Rust, it would be even more stable.


[flagged]


What will you use for dependent types, Idris 2? Lean? None are as popular as Rust especially counting the number of production level packages available.


Scala has dependant types (though inferior than Idris ones) and has the whole jvm ecosystem.


This is quite sad to see someone react to a comment they disagree with by assuming that different opinion is paid for. I'd love it if you dug into my comment history and found even a shred of evidence that I'm being paid to talk positively about my programming language of choice.

I hope there aren't many of your type on here.


All comments are paid for in some way, even if only in "warm fuzzies". If that is sad, why are you choosing to be sad? But outlandish comments usually require greater payment to justify someone putting in the effort. If you're not being paid well, what's the motivation to post things you know don't make any sense to try and sell a brand?


> If you're not being paid well, what's the motivation to post things you know don't make any sense to try and sell a brand?

Because it works. Because it does in fact make sense despite your frustration with the concept.


Right. So why did you deny it earlier?


I'm answering the part of your question about why I post about something that I find works.

Are you this dense in real life or is this an act?


Is a computer dense in real life? Does that not go without saying?

Are you under the impression that HN is some kind of intelligent animal?


Isn’t dependent types replicating the object oriented inheritance problem in the type system?


No, unless you mean the problem of over-engineering? In which case, yes, that is a realistic concern. In the real world, tests are quite often more than good enough. And since they are good enough they end up covering all the same cases a half-assed type system is able to assert anyway by virtue of the remaining logic needing to be tested, so the type system doesn't become all that important in the first place.

A half-assed type system is helpful for people writing code by hand. Then you get things like the squiggly lines in your editor and automated refactoring tools, which are quite beneficial for productivity. However, when an LLM is writing code none of that matters. It doesn't care one bit if the failure reports comes from the compiler or the test suite. It is all the same to it.


I’m not sure they’re saying rust is king of types, they’re saying it’s king of llm targets.


Which it obviously can't be because it has an anemic standard library and depends on creates for basic things like error handling and async.

Not to mention it's one of the slowest compilation of recent languages if not the slowest (maybe Kotlin).


But there is no language that is best in all of these dimensions (including ones described above).

Everything is a trade-off.


I suspect a more general and much more clever learning algorithm will emerge by then and will require less training data to get to a competent problem solving state faster even with dirty data. Something able to discriminate between novel information and junk. Until then I think there will be a quality decline after a few more years.


How will it emerge? In the past we've been told that the a(g)i will write itself, rapidly iterating itself into a super intelligence that handily solves all our current and future problems, but it's beginning to look like a chicken or the egg scenario.

Living systems were able to brute force their way to human brain, but it took billions of years and access to parallel processes that make the entire collective history of human computation seem like a mote to a star.

What novel spark do you see accelerating this process to such a hyperbolic extreme?


I would imagine a trajectory similar to AlphaGo, it starts out trying to replicate humans and then at a certain point pivots to entirely self-play. I think the main hurdle with llms, is that there isn't a strong reward target to go after. It seems like the current target is to simply replicate humans, but to go beyond that they will need a different target.


I agree in general, but defining an appropriate target seems intractable at the moment. Perhaps it is something the AIs will have to define for themselves.

I think real intelligences are working with myriad such targets, but an adversarial environment seems essential for developing intelligence along this axis.

I do think if there's a path to AGI from current efforts it will be through game play, but that could just be the impressionable kid who watched Wargames in the 80s speaking through me.


It took a billion years to get to the tool-making state, and then less than a 1000th of that time to making CPUs. Then a 1000th of that time to make LLMs. We are in a parabolic extreme


This is begging the question. What evidence is there that this is all the same "stuff" driving towards some future apex? What does it mean to "get to" the tool making state outside of a Civ-style video game?


Sorry but for $5 in credits you can have an agent port over all your bullshit to the next fad. I'll have one port over all my bullshit when the time comes too.


Exactly. What Meta accomplished could have been done by a team of less than 40 mediocre engineers. It’s really just not even worth analyzing the failure. I am in complete awe when I think about how bad the execution of this whole thing was. It doesn’t even feel real.


Actually I would like see a post-mortem that showed where all the money actually went; they somehow spent ~85x of what RSI has raised for Star Citizen, and what they had to show for it was worse than some student projects I've seen.

Were they just piling up cash in the parking lot to set it on fire?


At least part of the funding went to research on hard science related to VR, such as tracking, lenses, CV, 3D mapping etc. And it paid off, IMO Meta has the best hardware and software foundation for delivering VR, and projects like Hyperscape (off-the-shelf, high-fidelity 3D mapping) are stunning.

Whether it was worth it is another question, but I would not be surprised is recycled to power a futuristic AI interface or something similar at some point.


Even within the XR industry, we had no clue where all that money went. During the metaverse debacle, the entire industry stagnated. Once metaverse failed, XR adjacent shops started to fail. There was no hardware or technique innovation shared with the rest of the industry, and at the time the technology was pretty well settled.

Since then we lost all the medium players and it's basically just Facebook, Valve, and Apple.


The sad part about this fact is that the tech is mated to a completely rotten ecosystem. If it were sold off I'd be excited to try it.


Big company syndrome has existed for a long time. It’s almost impossible to innovate or move fast with 8 levels of management and bloated codebases. That’s why startups exist.


That's the only reason that I clicked.


Especially after httpstatus.cat and the animal game the other day.

I've been had :(


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: