skysight-inc/HackerNews huggingface dataset:
Yes, there were plugins for different video formats. A popular one was QuickTime. There were others but QuickTime was popular.
I'm definitely bullish on this angle of compiling C down to LLVM assembly, and then "decompiling" it back to Rust (with some reference to the original C to reconstruct high-level idioms like for loops)
“An awesome great weapon is buried there. We must dig it out and use it on our enemies”.

I feel like if at the point we lost knowledge or technology and the ability to understand what is buried there, does the effort matter that much? Or to put it another way, if we are back in the stone age, some nuclear waste that is buried is the not biggest problem.
Given that in my (small, employer-mandated) explorations with Copilot autocompletions it’s offered incorrect suggestions about a third of the time and seems to like to also suggest deprecated APIs, I’m skeptical about the current generation’s ability to be useful at even this small task.
That's only one of many definitions for the word agent outside of the context of AI. Another is something produces effects on the world. Another is something that has agency.

Sort of interesting that we've coalesced on this term that has many definitions, sometimes conflicting, but where many of the definitions vaguely fit into what an "AI Agent" could be for a given person.

But in the context of AI, Agent as Anthropic defines it is an appropriate word because it is a thing that has agency.
I have been diving deep into LLM coding over the last 3 years and regular encountered that feeling along the way. I still at times have a "wtf" moment where I need to take a break. However, I have been able to quell most of my anxieties around my job / the software profession in general (I've been at this professionally for 25+ years and software has been my dream job since I was 6).

For one, I found AI coding to work best in a small team, where there is an understanding of what to build and how to build it, usually in close feedback loop with the designers / users. Throw the usual managerial company corporate nonsense on top and it doesn't really matter if you can instacreate a piece of software, if nobody cares for that piece of software and it's just there to put a checkmark on the Q3 OKR reports.

Furthermore, there is a lot of software to be built out there, for people who can't afford it yet. A custom POS system for the local baker so that they don't have to interact with a computer. A game where squids eat algae for my nephews at christmas. A custom photo layout software for my dad who despairs at indesign. A plant watering system for my friend. A local government information website for older citizens. Not only can these be built at a fraction of the cost they were before, but they can be built in a manner where the people using the software are directly involved in creating it. Maybe they can get a 80% hacked version together if they are technically enclined. I can add the proper database backend and deployment infrastructure. Or I can sit with them and iterate on the app as we are talking. It is also almost free to create great documentation, in fact, LLM development is most productive when you turn up software engineering best practices up to 11.

Furthermore, I found these tools incredible for actively furthering my own fundamental understanding of computer science and programming. I can now skip the stuff I don't care to learn (is it foobarBla(func, id) or foobar_bla(id, func)) and put the effort where I actually get a long-lived return. I have become really ambitious with the things I can tackle now, learning about all kinds of algorithms and operating system patterns and chemistry and physics etc... I can also create documents to help me with my learning.

Local models are now entering the phase where they are getting to be really useful, definitely > gpt3.5 which I was able to use very productively already at the time.

Writing (creating? manifesting? I don't really have a good word for what I do these days) software that makes me and real humans around me happy is extremely fulfilling, and has allevitated most of my angst around the technology.
I’m pretty sure I’ve seen people buying in the 100-200 range on r/FirstTimeHomeBuyers. Nit sure where tho.
RE :....Was not shot because of insider trading ...." This could have certainly COULD been a motivation - as some claim to have lost many millions $$$. However , now the accused guy caught - and his motivation claimed to be discerned by his notebook ... Insider trading and fraud accusations if proven in court , show he was dodgy and other in company also dodgy as others suffered BIG losses , claimed in media articles.
just ask the LLM to solve enough problems (even new problems), cache the best, do inference time compute for the rest, figure out the best/ fastest implementations, and boom, you have new training data for future AIs
How do the organisers keep the private test set private? Does openAI hand them the model for testing?

If they use a model API, then surely OpenAI has access to the private test set questions and can include it in the next round of training?

(I am sure I am missing something.)
> and a clever manually coded algorithm could do better and much more efficiently.

Sure, but how long would it take to implement this algorithm, and would that be worth it for one-off cases?

Just today I asked Claude to create a jq query that looks for objects with a certain value for one field, but which lack a certain other field. I could have spent a long time trying to make sense of jq's man page, but instead I spent 30 seconds writing a short description of what I'm looking for in natural language, and the AI returned the correct jq invocation within seconds.
blue strip from iRobot?
Computers can execute precise computations, it's just not efficient (and it's very much slow).

NNs are exactly what "computers" are good for and we've been using since their inception: doing lots of computations quickly.

"Analog neural networks" (brains) work much differently from what are "neural networks" in computing, and we have no understanding of their operation to claim they are or aren't algorithmic. But computing NNs are simply implementations of an algorithm.

Edit: upon further rereading, it seems you equate "neural networks" with brain-like operation. But brain was an inspiration for NNs, they are not an "approximation" of it.
There’s many facets to the eco only tho. Why blame Amazon for not paying a livable wage instead of blaming the government and NIMBYs for shitty planning and not building enough housing? If housing and healthcare cost 1/3 of what it does today wouldn’t this be more of a living wage?
I think moving OTA updates for embedded devices to project-specific key management rather than relying on web roots of trust should become the norm.

Since your firmware images should themselves be signed and relying on some physical fusing of the key hashes + have some ratchet system, this leaves a web root-of-trust as a liability.

With the setup described above, you could deliver the OTAs signed by some key material that could more easily and/or effectively be made public.
Note how much the principles here resemble general programming principles: keep complexity down, avoid frameworks if you can, avoid unnecessary layers, make debugging easy, document, and test.

It’s as if AI took over the writing-the-program part of software engineering, but sort of left all the rest.
That's an unrealistic complaint.

These laptops had <1gb RAM. You should be amazed if you could open multiple website.

Each website is essentially a full program with sandboxing etc - and surely you'd be aware that opening I.e. Photoshop 4 times on such a resource restricted system would be just as impossible.

And it wasn't any different back then. At last not on Mac, as I had an iMac and vividly remember the same issue.

The last devices before they switched to Intel had pretty bad performance, that was the reason why they switched soon after.
Right now I can ask an (experienced) human to do something for me and they will either just get it done or tell me that they can’t do it.

Right now when I ask an LLM… I have to sit there and verify everything. It may have done some helpful reasoning for me but the whole point of me asking someone else (or something else) was to do nothing at all…

I’m not sure you can reliably fulfill the first scenario without achieving AGI. Maybe you can, but we are not at that point yet so we don’t know yet.
(auschwitz alone was almost doubling that 20k kill count each week btw)

Perhaps in its record week. But "each week", no. In fact its average was 4-5k per week.

Meanwhile, it is unlikely that the Dresden bombing (occuring as it did just 3 months before the end of the war, after Auschwitz and nearly all the other camps in the East had been liberated) did much of anything to hasten the end of the war, let alone to mitigate any further atrocities.

That's why it gets so much attention. From just the sheer senselessness of it.
Being able to side-load a random unsigned binary via the fdroid app, or getting it from the F-Droid repository where they do independently signed (and ideally reproducible) builds, are very different things.

The F-droid team does not have a high bar to be dicks. They do it to ensure their users get binaries that match the published code to prevent increasingly supply chain attacks.

The standards are there for good reason, and if you do not understand those reasons, then use a license that allows the people that do understand to distribute your software for you.

Very very few software engineers understand supply chain attacks or how to prevent them.
I know you said 2024 but this from 2016 still blows my mind. It’s Dave Beazly — Python legend basically building a concurrency async framework in a talk from the ground up. Coroutines. Python. It’s just so good!! https://www.youtube.com/watch?v=Z_OAlIhXziw
a little from column A, a little from column B

I don't think this is AGI; nor is it something to scoff at. Its impressive, but its also not human-like intelligence. Perhaps human-like intelligence is not the goal, since that would imply we have even a remotely comprehensive understanding of the human mind. I doubt the mind operates as a single unit anyway, a human's first words are "Mama," not "I am a self-conscious freely self-determining being that recognizes my own reasoning ability and autonomy." And the latter would be easily programmable anyway. The goal here might, then, be infeasible: the concept of free will is a kind of technology in and of itself, it has already augmented human cognition. How will these technologies not augment the "mind" such that our own understanding of our consciousness is altered? And why should we try to determine ahead of time what will hold weight for us, why the "human" part of the intelligence will matter in the future? Technology should not be compared to the world it transforms.
This is called MFA bombing. Just send prompts until the user accidentally accepts one.

Microsoft’s authentication has protection against this, requiring you to manually enter a 2 digit number in your phone, matching what you see on your other device. Very simple, there is no excuse for Google to not have similar.
> Also, you typically need to be unsupervised with friends

There's a bigger cultural shift going on where people just don't like hanging out with each other anymore.
In this case specifically, two separate aspects are being referred to with regard to "formal verification".

The first is that the translation function (from C to Rust) has itself been formally verified. In other words: if you give it a C program that obeys certain necessary pre-conditions, it will give you a safe Rust program. I believe the title of the paper is primarily using "Formalized" with regard to this characteristic.

The second is that the set of programs the authors evaluate their tool on are C programs that have themselves been formally verified. I only barely skimmed the introduction and didn't see it addressed directly there, but I would assume that this is because the pre-conditions necessary for their translation to work are most easily (only?) met by formally verified C programs, where of course the verification has been rendered with respect to properties that would be relevant here (e.g., memory use).
> Because access to the financial system was democratized ten years ago

Huh? I'm not sure exactly what you're talking about, but mere "access to the financial system" wouldn't remedy anything, because of inequality, etc.

To survive the shock financially, I think one would have to have at least enough capital to be a capitalist.
Only on your last sentence did I realize you were describing something you thought was actually bad. In my opinion it's a pretty good system where everybody wins: the audience gets real, fresh music, the players get paid for some practice sessions with low pressure (sounds like fun), and the producers make some money. This is a pretty good expression of music as a service in my opinion.
I suppose that's why they are calling it "semi-private".
There aren’t many reasons to write an inline asm block that the compiler will elide because of no apparent effects; more likely you screwed up the constraints. If it’s due to ensuring correct memory accesses relative to the compiler, it’s usually better to define appropriate “m” constraints to give the compiler appropriate visibility, or if it’s complex/loopy enough to make that impossible then that is what the “memory” clobber is for, not volatile.

So I strongly disagree with 2 and 3.
Show HN: City Summit – buildings data visualization project
Apparently you only need one iPhone : https://support.apple.com/guide/iphone/spatial-photos-record...

But of course the quality is probably a lot lower than with this camera
it could most certainly kill Mozilla, but it will surely not kill Firefox
And here is an update from [1] Reuter

"I don't think either side had a clear victory or would have had a clear victory if this case is tried again," Noreika told the parties."

After more than nine hours of deliberations over two days, the eight-person jury could not reach a unanimous verdict on the question of whether startup Nuvia breached the terms of its license with Arm.

[1] https://www.reuters.com/legal/us-jury-deadlocked-arm-trial-a...
How David Lieb Turned a Failing Startup into Google Photos [video]
I'm trying to understand. Is there an SDK I can use to enhance this? Or is this a package product?

I'm really hoping it's the former. But I don't see any information about how to develop with this.
Intelligence is about learning from few examples and generalising to novel solutions. Increasing compute so that exploring the whole problem space is possible is not intelligence. There is a reason the actual ARC-AGI price has efficiency as one of the success requirements. It is not so that the solutions scale to production and whatnot, these are toy tasks. It is to help ensure that it is actually an intelligent system solving these.

So yeah, the o3 result is impressive but if the difference between o3 and the previous state of art is more compute to do a much longer CoT/evaluation loop, I am not so impressed. Reminder that these problems are solved by humans in seconds, ARC-AGI is supposed to be easy.
Plastic SIGNIFICANTLY reduces waste. Freakanomics also pointed out that locally grown can have worse carbon footprint than food shipped around the world.
Rightly pointed out. One can argue on why Ding made the mistake but that has nothing to do with Gukesh's talent. For me the fact that he is only 18 is huge; it means that he has more than a decade of honours waiting for him.

HN seems to lately have had an influx of folks who just want to toot their "opinions" however clueless it might be. They need to be reminded of the Asimov quote; There is a false notion that democracy means that "my ignorance is just as good as your knowledge."
Fantastic info. Never heard about tasmota before, but it looks like a right thing to do.
playing devils advocate for a minute... isnt that similar to what our parents said in the 80's/90's about our generation? all that "tv and phone" brain rot
I don't think it's worth continuing then. I have previously got into long discussions only for a follow-up to be something like "it can't have purpose it's a machine". I wanted to check things before responding and there being a small word based issue making it pointless. You have not been as clear in your comments as perhaps you think.

To be clear I think faking is a perfectly fine term to use regardless of whether you think these things are reasoning or pretending to do so.

I'm not sure if you have an issue there, or if you agree on that but don't think they're faking alignment, or if this is about the interview and other things said (I have been responding about "faking"), or if you have a more interesting issue with how well you think the paper supports faking alignment.

Have a good day.
Or someone misunderstood. Teen drug use did not decline, it shifted. From substances to social media / “AI”.
To clarify, I really think that is what's happening. People feel that their future is not a guaranteed success and make safer choices to be clear minded and focused to achieve success. Probably just my bias is talking...
I wouldn't be surprised if GPT genuinely makes better decisions than an inexperienced, first-time CEO who has only been a dev before, especially if the person prompting it has actually put some effort into understanding their own weaknesses. It certainly wouldn't be any worse than someone who's only experience is reading a few management books.
> Rust isn't a "replacement for C"

Hmm I think to clarify I would say that Rust _is_ intended as a replacement for C in general, but that this isn't how the Linux kernel developers are choosing to use it.

As for why the kernel developers would choose Rust, I would think another one of the primary benefits is that the type system guarantees the absence of a wide class of memory-related errors that are prevalent in C, and this type system (as well as those of its predecessors) has been subjected to significant scrutiny by the academic community over the last couple of decades to help iron out problems. I suspect this is also part of why Rust has a relatively large and passionate community compared to other C alternatives.
You sound not well too,
And why o3 or any OpenAI llm is not evaluated in the actual private dataset.
> Requiring H1B holders to leave the country to renew paperwork is an insane anachronism

FWIW every country requires you leave and come back to change or renew visa status. The computers and processes are all setup at points of entry and just aren’t designed for people that don’t physically leave/enter.

It’s so common the guys at the us/Canada land border call it “flagpoleing” because you literally drive a u turn around the flagpole and go back. I’ve done it a dozen times, even driving 4 hours each way in a gnarley winter storm into Alaska and back to Canada at -45.
I wouldn't be surprised if the term "benchmark fraud" will soon been coined.
When all the business does is order from the catalog shipped from China and stock a shelf it’s not that worrisome when they die.

Businesses that should be able to sustain themselves are things that have additional experiences and services. Food, coffee, sports shops with fittings or lessons, bike shops with repair rooms, art galleries that are fun to browse, clothing stores that you can touch and try on, stuff crafted locally that is tangibly better than something mass produced, etc.
I think the point they are making is that google will let the fraudsters pay to place higher than the warnings because it's profitable to do so.
IPS in NeurIPS stands for Information Processing Systems.
> cache the best

How do you quantify that?
But the inference itself is orthogonal to the computation the NN is going. Obviously the inference (and training) are algorithms.
Differences in IQ currently exist, they're not based on racial genetics.

The Bell Curve isn't about organizing society fairly it's about justifying what is clearly an unfair and unjust society as natural and impossible to improve and therefore good

https://www.vox.com/policy-and-politics/2018/3/27/15695060/s...

https://www.vox.com/2018/4/10/17182692/bell-curve-charles-mu...
the financial crisis was just financial. 9/11 or war on terror was just behind a tv screen.

covid was actually something everyone felt personally - not just empathized with through media. I feel like I just started recovering mentally from the lockdowns - all my college years eaten up by them.
I wasn't sure the Bun bundler was powerful enough to handle my needs. Bundling is a hard thing to get right, and I tried many, many tools and configurations over the years before settling on esbuild.
o3 fixes the fundamental limitation of the LLM paradigm – the inability to recombine knowledge at test time – and it does so via a form of LLM-guided natural language program search

> This is significant, but I am doubtful it will be as meaningful as people expect aside from potentially greater coding tasks. Without a 'world model' that has a contextual understanding of what it is doing, things will remain fundamentally throttled.
Legalisation/decriminalisation was only one part of the strategy.

Real problem they had was heroin.
So they made heroin(or some replacement) free, pushing out drug dealers from the market. Importantly: providing other help to addicts, so they could/would be part of society.

https://youtu.be/6OYLoPvLzPo?feature=shared (1h video comparing situation in US, Portugal, Netherlands; Netherlands part starts around 27:00)
I don’t believe so. If it’s at the point where you could just plug it into a bunch of camera feeds around the world and it could only filter out a useful training set for itself out of that data then we truly would have AGI. I don’t think it’s there yet.
I don’t think this is a bad use. A bad use would be to give Claude the dataset and ask it to tell you which elements have that value.
There are studies about this. I don’t know how good they are or what specific scenarios they apply to (urban vs rural vs rural are all different calculations). But what I’ve seen is it’s about 14 items you’d have to buy before going to the store yourself is more efficient than shopping online.
In general, it was awkward to rely on plugins for video support, so flash was indeed generally used.

Here's a 2015 article referencing YouTube dropping flash for it's HTML5 player: https://www.theverge.com/2015/1/27/7926001/youtube-drops-fla...

The article touches on the challenge of getting to that point.
I don’t buy it. Alignment faking has very little overlap with the motivation to something with no prompt.

Look at the hackernews comments on alignment faking on how “fake” of a problem that real is. It’s just more reacting to inputs and trying to align them with previous prompts.
I didn't see it as tone policing. From my point of view, I saw a very interesting application being shared and I hoped it would be good and prosperous so i can use it. When the first comment says "i hate that you do X" it is a bit discouraging towards a team of developers who have probably poured tons of free hours into making this. Words play with psychology, and it is my personal interest that these devs have good morale to make this app great, and that meand giving them feedback about obvious mistakes in a tone that does not hurt this morale. I hope that make sense
What's condition 2?