MyFirstSass

it very much is here in Scandinavia and has been for 30+ minutes..

Same question, i avoid facebooks toxic mind control feeds like the plague so this move was beyond gross (everyone i know is on FB in Scandinavia sadly).

I really hope EU or some other instance says you can't just mix propaganda, insanity and ads with simple messages to friends and family.

Hackernews has also been completely co-opted by boosters.

So much that i don't really visit anymore after 15 years of use.

It's a bizarre situation with billions in marketing and PR, astroturfing and torrents of fake news with streams of comments beneath them with zero skepticism and an almost horrifying worship of these billion dollar companies.

Something completely flipped here at some point, i don't know if it's because YC is also heavily pro these companies, and embedded with them, requiring YC applicants to slop code their way in, then cheering about it.

Either way it's incredibly sad and remind me of the worst casino economy, nft's, crypto, web3 while there's actually an interesting core, regex on steroids with planning aspects, but it's constantly oversold.

I say that as a daily user of Claude Max for over a year.

[flagged]

That's not true at all.

The ones who ace their careers are for the most people that are fun, driven, or psychos, all social traits that make you good in a political game.

Spending lots of time with other socially awkward types talking about hard math problems or whatever will get you nowhere outside of some SF fantasy startup movie.

I'd say it's especially important for the more nerdy (myself included) to be more outgoing, and do other stuff like sales or presentations, design/marketing og workshops - that will make you exceptional because you then got the "whole package" and undestand the process and other people.

Does anyone know if Stephen Lemay replacing Dye will potentially "save" the increasing mess that is OSX, at least UX wise, or is it more of a meaningless figurehead swap in a big org?

Tahoe is tragically bad by almost every UX measure, and following various Apple subreddits i wonder if they just don't care anymore - since the majority of people are shocked by the amateurishness of both bugs and design choices in the latest update - this comes on top of literally every major bug being ignored from the alpha to releasing anyway then continuing to ignore feedback.

Eh? The text reads:

"Aristotle integrates three main components: a Lean proof search system, an informal reasoning system that generates and formalizes lemmas, and a dedicated geometry solver"

Not saying it's not an amazing setup, i just don't understand the word "AI" being used like this when it's the setup / system that's brilliant in conjunction with absolute experts.

I'm not sure i understand the wild hype here in this thread then.

Seems exactly like the tests at my company where even frontier models are revealed to be very expensive rubber ducks, but completely fails with non experts or anything novel or math heavy.

Ie. they mirror the intellect of the user but give you big dopamine hits that'll lead you astray.

Based on Tao’s description of how the proof came about - a human is taking results backwards and forwards between two separate AI tools and using an AI tool to fill in gaps the human found?

I don’t think it can really be said to have occurred autonomously then?

Looks more like a 50/50 partnership with a super expert human one the one side which makes this way more vague in my opinion - and in line with my own AI tests, ie. they are pretty stupid even OPUS 4.5 or whatever unless you're already an expert and is doing boilerplate.

EDIT: I can see the title has been fixed now from solved to "more or less solved" which is still think is a big stretch.

"Built out products" like you're earning money on this? Having actual users, working through edge cases, browser quirks, race conditions, marketing, communication - the real battle testing 5% that's actually 95% of the work that in my view is impossible for the LLM? Because yeah the easy part is to create a big boilerplate app and have it sit somewhere with 2 users.

The hard part is day to day operations for years with thousands of edge cases, actual human feedback and errors, knocking on 1000 doors etc.

Otherwise you're just doing slot machine coding on crack, where you work and work and work one some amazing thing then it goes nowhere - and now you haven't even learned anything because you didn't code so the sideproject isn't even education anymore.

What's the point of such a project?

How's this different than the good old Doodle everyone uses in europe at least?

https://doodle.com/en/

Hackernews seems completely astroturfed in the last weeks.

It's not the hackernews i knew even 3 years ago anymore and i'm seriously close to just ditching the site after 15+ years of use.

I use AI heavily but everyday there's crazy optimistic almost manic posts about how AI is going to take over various sectors that are completely ludicrous - and they are all filled with comments from bizarrely optimistic people that have seemingly no knowledge of how software is actually run or built, ie. it's the human organisational, research and management elements that are the hard parts, something AI can't do in any shape or form at the moment for any complex or even small company.

I still don't believe that. Again yes a boilerplate calculator or recipe app probably, but anything advanced real world with latency issues, scaling, race conditions, css quirks, design weirdness, optimisation - in other words the things that actually require domain knowledge i still don't get much help with, even with Claude Code, pointers yes but they completely fumble actual production code in real world scenarios.

Again it's the last 5% that takes 95% of the time, and those 5% i haven't seen fixed with Claude or Gemini, because it's essentially quirks, browser errors, race conditions, visual alignment, etc etc. All stuff that completely goes way above any LLM's head atm from what i've seen.

They can definitely bullshit a 95% working app though, but that's 95% from being done ;)

I'm saying you can't do what you're saying without knowing code at the moment.

You didn't give any examples of the valuable bespoke apps that you are creating by the hour.

I simply don't believe you, and the arrogant salesy tone doesn't help.

I highly doubt "pumping out bespoke apps all day" is possible yet besides 100% boilerplate, and when possible then no good for any other purpose than enshittifiying the web, and at that point not profitable because everyone can do it.

I use AI daily as a senior coder for search and docs, and when used for prototyping you still need to be a senior coder to go from say 60% boilerplate to 100% finished app/site/whatever unless it's incredibly simple.

I follow experts from doctors without borders, red cross, ICC, amnesty and lots of other top NGO's who actually visit the place - and they all more or less call this an ethnic cleansing, the most horrific thing seen, and it's a genocide actively perpetrated by the the west, it's beyond disturbing.

There's talks of upwards of 500 thousand deaths now, half a million, most of them civilians, women and children.

It's not in any way controversial anymore and the info is out there and has been for a long time.

That people like you call this into question, i'm truly shocked at the heartlessness. It's a slaughterhouse, just like the original holocaust and industrial in its scale and efficiency which makes it that more frightening.

"Why senior developers just don't get how blockchain is going to change the world economy"

Yeah no, this angle is offensive.

I use LLM's daily as a search engine and syntax help - but this bizarre meta-meta-meta now if you just abstract even more it'l work, maybe invent an entire universe, or hey why not invent a cluster of universes that'l turn off the lights in eastern europe so you can vibecode... no, no, no.

I don't think this crazy energy wasting hell is getting us anywhere useful when someone's going to wade through the bullshit and the energy needs will go exponential on an already strained energy infrastructure not to mention the state of climate.

I still believe LLM's are helpful but in the other direction, more focused, smaller scaled and with less abstraction and magic happening.

Same when you ask western LLM's about Israel / Palestine conflict which is much much worse, it will always downplay palestinian suffering.

But yeah both are very bad.

The number one priority must surely be fixing the keyboard, besides the horrible UX?

Millions are having problems for years so it's not just me, honestly thought i was "getting old" but no incredible amount of threads and now this on YT with 1 mil views:

https://www.youtube.com/watch?v=hksVvXONrIo

Wild typing on a 3210 was less stressful for me.

Exactly, how about the much more relevant ethnic cleansing (according to the UN), with upwards of 30.000 women and children killed in Palestine perpetrated by Israel and Supported by the US right in this moment?

Or the myriad of american wars that slaughtered millions in South America, Asia or the Middleeast for that sake.

Both the US and China are empires and abide by brutal empire logic that washes their own history. These "but Tiananmen square" posts are grotesque to me as a europeean when coming from americans. Absolutely grotesque seen in the hyperviolent history of US foreign policy.

Both are of course horrible.

Is this akin to the quants already being done to various models when you download a GGUF at 4 bits for example, or is this variable layer compression something new that can also be make existing smaller models smaller so we can fit more into say 12 or 16 gb's of vram?

Where are you guys using the full model?

Doesn't it require 220GB ram? I only se V-3 on their website and the distills available to run locally.

What? Is this what this is? Either this is a complete joke or we're missing something.

I've been doing similar stuff in Claude for months and it's not that impressive when you see how limited they really are when going non boilerplate.

But how will that prove that it's more than a stochastic parrot, honestly curious?

Isn't it just like any kind of conversion or translation? Ie. a relationship mapping between diffrent domains and just as much parroting "known" paths between parts of different domains?

If "sun" is associated with "round", "up high", "yellow","heat" in english that will map to those things in SVG or in whatever bizarre format you throw at with relatively isomorphic paths existing there just knitted together as a different metamorphosis or cluster of nodes.

On a tangent it's interesting what constitutes the heaviest nodes in the data, how shared is "yellow" or "up high" between different domains, and what is above and below them hierarchically weight-wise. Is there a heaviest "thing in the entire dataset"?

If you dump a heatmap of a description of the sun and an SVG of a sun - of the neuron / axon like cloud of data in some model - would it look similar in some way?

I'm in Northern Europe and lately spam calls, and especially spoofing from random peoples numbers have become so bad i know multiple who stopped taking any calls, or even changed their phone numbers because they got too many calls, or angry people called them because their number was spoofed.

To me the whole system is archaic - i know gen z would never ever take a call from someone they don't know, or even call each other - it's simply not something you do - it would be like reading your spam mails.

And i'm coming to the same conclusion, answering random people is naive.

Practically we need something new though.

Northern Europe here.

Has been down for over 20 minutes.

Suddenly logged out of Messenger then FB - got "wrong password" error, had a quick panic, checked twitter, and calmed down.

Wow this is bad. And by bad i mean worse than leading open source and existing alternatives.

Is it me or does it seem like OpenAI revolutionized with both chatGPT and Sora, but they've completely hit the ceiling?

Honestly a bit surprised it happened so fast!

And “comment of the year” award goes to.

Sorry for the filler but this is amazingly put and so true.

We’ll get so many unintended consequences that are opposite any worthy goals when it’s AIs talking to AIs in a few years.

This is the most interesting comment in this highly autistic field.

Im extremely jealous of this techno optimism perspective. In my view at no point has there been a decrease in monopolisation or increase in democratisation since the hopeful cybernetic 90's, so i just don't see this as good, more like some Tyrell or state owned corporate almost fascist dystopia where everything is owned and censored by the few, and just because it's "awesome and space based" only adds to the exclusivity. It's already leaked Musk is working for the US military, so it isn't some benevolent, utilitarian or even broad scaled project it's a project for world domination and enslavement.