skysight-inc/HackerNews huggingface dataset:
I love this. I've been wondering how the picture is drawn with less than one `echo` per pixel, and it's very clever: the game is "not really" 3D, so you can run raytracing just once per column, and then you only need to draw a couple of lines (for sky, grass, and the actual object) -- this is done by outputting the "draw this pixel and move down by one" string to the terminal as many times as necessary using string repetition.

I've been considering working on a voxel render engine (not for Bash, but for another computationally limited environment). This is a treasure, I'm certain I'll find something useful here.
ubuntu announced they want to suppory RVA23 in their next LTS 25.04 IIRC. That doesn't really make sense, unless we get new hardware with RVA23 support till then.
INFP: Audio-Driven Interactive Head Generation in Dyadic Conversations
It’s not very common though.
Tangent but anyone know what software is used to draw those workflow diagrams?
"Formally verified" means someone has written a correct mathematical proof that the code has no bugs (the proof is checked by a computer program to make sure it is correct). This is a very high bar.

I'm not sure what it has to do with translating the code to Rust.
I wonder what source language they are using that will be compiled to WebAssembly.
I also wonder how they built their FaaS infrastructure.
A possibility is that they used the open source Firecracker (written in Rust) which powers AWS Lambda.
That's an old leaderboard -- has no one checked any SOTA LLM in the last 8 months?
It is amazing to me that we have reached an era where we are debating the trade-off of hiring thinking machines!

I mean, this is an incredible moment from that standpoint.

Regarding the topic at hand, I think that there will always be room for humans for the reasons you listed.

But even replacing 5% of humans with AI's will have mind boggling consequences.

I think you're right that there are jobs that humans will be preferred for for quite some time.

But, I'm already using AI with success where I would previously hire a human, and this is in this primitive stage.

With the leaps we are seeing, AI is coming for jobs.

Your concerns relate to exactly how many jobs.

And only time will tell.

But, I think some meaningful percentage of the population -- even if just 5% of humanity will be replaced by AI.
Actually, LLMs are for generating humorous nonsense. Putting them in charge of the world economy was not intended, but we did it anyway.
How is c2rust doing these days? For practical codebases?
Didn't the US fund those guys to do exactly that?
Dune 1 3D is fantastic. If you customize the Vision Pro’s light shield to put the screens closer & expand field of view, even better: you are essentially in the movie.
You are aware that hardware takes time to build, tapeout and productise?

On the open-source front, I can right now download a RVA23 supporting RISC-V implementation, simulate the RTL and have it out perform my current Zen1 desktop per cycle in scalar code: https://news.ycombinator.com/item?id=41331786 (see the XiangShanV3 numbers)
It would be an interesting use of AI tools to try to flag differences between the two as a means of identifying gaps in coverage or factual mistakes (in either one).

And I specifically mean flag. As in, for human review. The last thing Wikipedia needs is spam AI edit submissions (it's probably already happening).
The Parker solar probe gets much closer than the solar orbiter, 0.046 AU vs 0.28 AU respectively. The successive Venus flybys are to drop it increasingly further into the sun's orbit to take solar atmospheric data on quick flybys while the Solar orbiter is more for spectrograph measurements of the sun's corona, just different mission sets.
> ~doubling every 2-2.5 years) puts us at 20~25 years.

The trend for power consumption of compute (Megaflops per watt) has generally tracked with Koomey’s law for a doubling every 1.57 years

Then you also have model performance improving with compression. For example, Llama 3.1’s 8B outperforming the original Llama 65B
Do polyamorous people have more or less children compared to non-polyamorous people? This is a way to judge the viability of this way of life long term rather than just as a fad. For it to be sustainable it needs to be both more than the groups around it and above replacement. If it is neither it is a fad.
There are games designed to be addicting. Some even have gambling built in. Technology is just a tool.
How Science fiction predicted so much we now take for granted
I don't understand. How do I use Google Workspace to pay $19.95 to solve a problem with my Gmail account?
The robot brain could be layered so that more basic functions are embedded locally while higher-level reasonings and offloaded to the cloud.
How will you get business done if you never answer a call or open an email, no exceptions?
Maybe AGI as a goal is overvalued: If you have a machine that can, on average, perform symbolic reasoning better than humans, and at a lower cost, that's basically the end game, isn't it? You won capitalism.
> buy online, return in store

I work on a returns service. https://getredo.com

One of the things we offer (for a few bucks) is returns pickup. Leave it on your porch/mail area and we’ll pick it up for you.

(That’s for merchants that use our solution. I believe Uber and Doordash? offer something similar for consumers directly.)

One way or another, merchants are struggling making returns sustainable with rising shipping costs, returns fraud, and overall high return rates.

Often making the experience poor in the process.
It would also be cool if it were guaranteed up to a certain amount, very much like FDIC does for amounts smaller than $250k.
Its quite stunning to frame it as anti-LLM hate. It's on the pro-LLM people to convince the anti-LLM people that choosing for LLMs is an ethically correct choice with all the necessary guardrails.
It's also on the pro-LLM people to show the usefulness of the product. If pro-LLM people are right, it will be a matter of time before these people will see the errors of their ways. But doing an ad-hominem is a sure way of creating a divide...
More pictures of an interior and cross section here: https://www.abandonedspaces.com/uncategorized/bunker-town.ht...
What are the differences between the public offering and o3? What is o3 doing differently? Is it something akin to more internal iterations, similar to „brute forcing” a problem, like you can yourself with a cheaper model, providing additional hints after each response?
Maybe because zig isn't memory safe.
> If you’re going to make a claim this bold and this counter to the prevailing narrative

What do you see as the prevailing narrative? The one I see is homeownership itself, which suggests that homeownership has been seen as being hotly desirable. I strongly suspect we wouldn't have a homeownership narrative to speak of if ownership was unwanted. When something becomes unusually desirable like homeownership has, it is not unexpected to see an uptick in participation around it; in this case owning a home. Much of the urban age has been marked with the majority of the population being renters. Everyone wanting to own a home with such furor is historically unusual.

I expect homeownership has become so desirable as it has become seen as a way to build wealth. While, historically, housing only kept pace with inflation at best, real home values have risen by unfathomable amounts in the last decade or two. Which, again, attracts people willing to risk it all for a chance at some of that wealth opportunity. It would be unusual if said generational group had comparatively lower ownership rates given the "FOMO" aspect. People run away when prices are falling, not when they are rising.

Given the market we've watched, the extraordinary claim would be that Gen-Z has lower ownership rates compared to previous generations at the same age.
Why would anyone put fent in cocaine? It’s more expensive and has the opposite effect.

Drug selling is all about repeat customers I don’t really believe this happens apart from accidents.
Surely you would admit ...

You know, you could have asked your question in a normal, straightforward manner -- e.g. "Would you say the Oct 7th attack was also genocidal in nature, per these criteria?" -- and you would have gotten a straightforward answer.

But as it is, you've chosen a weird, pretentious way of formulating your question.

So I'll have to pass, and let you think whatever you want to think.
> Humans can tell you how confident they are in something being right or wrong

Humans are also very confidently wrong a considerable portion of the time. Particularly about anything outside their direct expertise
they probably use their own designers. jk. the arrows looks a lot like Figma/Figjam.
Yes, they have actionable definitions, but they are defining something quite different than the normal definition of an "agent". An agent is a party who acts for another.
Often this comes from an employer-employee relationship.

This matters mostly when things go wrong. Who's responsible?
The airline whose AI agent gave out wrong info about airline policies found, in court, that their "intelligent agent" was considered an agent in legal terms. Which meant the airline was stuck paying for their mistake.

Anthropic's definition: Some customers define agents as fully autonomous systems that operate independently over extended periods, using various tools to accomplish complex tasks.

That's an autonomous system, not an agent. Autonomy is about how much something can do without outside help. Agency is about who's doing what for whom, and for whose benefit and with what authority. Those are independent concepts.
Care to enlighten us with your explanation of what "reasoning" is?
Not to mention that safer sex practices are much more normalized in ENM circles. Getting tested before engaging with someone new (or on the reg if new partners are a more frequent thing), using protection, being open with partners about what you're up to are all great for preventing exposure to STDs.

Being monogamous with a cheating partner is...not so great at it. Their tolerance for risky behavior is obviously high, and they're already showing a lack of care for any consequences by stepping out. Yes, I know, "my partner would never be unfaithful," and I hope that's the case for everyone reading this. But it's a common enough occurrence that we all know someone who it's happened to.
Maybe F-Droid should just call their official blessed repo "F-Repo" to end the confusion, because this is clearly available through F-Droid, just not in the F-Droid official repo...
Nobody wants some silly digital "coin". Everyone wants US greenbacks.
Oh don’t worry, they have plenty of those too
> looking to zig as a C replacement rather than Rust

Rust isn't a "replacement for C", but an addition to it. It's a tool that Torvalds et. al. has recognised the value of and thus it's been allowed in the kernel. The majority of the kernel code will still be written in C.

I'm no kernel maintainer, but I can speculate that two of the main reasons for Rust over Zig are the compile time guarantees that the language provides being better as well as the rate of adoption. There is a lot of work done by many leading companies in the industry to provide Rust native code or maintained Rust bindings for their APIs. Windows devs are re-writing parts of _their_ kernel in Rust. There's a "movement" going on that has been going on for a while. I only hope it doesn't stop.

Maybe the maintainers feel like Zig doesn't give them enough over C to be worth the change? Many of them are still opposed to Rust as well.
Well yes Qualcomm is the CIA of course they won.
I've found in the past its good to have the model updates in the queue so that the animation controllers can be simpler. The animations simply need to observe the model and react to changes, and post events when they complete.
I am not exactly sure what makes a modern mainframe(same architecture as a historical mainframe I guess) but for historical machines I consider the wide machines(like the 36-bit pdp-10) mainframes, where minicomputers were usually narrower. 16 or 18 bit machines.

Really there is no good formal definition, dividing computers into three groups(mainframe, minicomputer, microcomputer) based on how much you payed for it, is as good a mechanism for figuring this out as any other.
And even then, not completely reliably it seems (from Section 2.2):

> The coercions introduced by conversion rules can however lead to subtle semantic differences

The example they give is this C code:

1 uint8_t x[1] = { 0 };
2 uint8_t *y = x;
3 *y = 1;
4 assert(*x == 1); /* SUCCESS */

getting translated to this (safe) Rust code:

1 let x: [u8; 1] = [0; 1];
2 let mut y: Box<[u8]> = Box::new(x);
3 y[0] = 1;
4 assert!(x[0] == 1) /* failure */

So the pointer (iterator) targeting an existing (stack-allocated) array declared on line 2 gets translated to an owning pointer/Box) targeting a (heap-allocated) new copy of the array. So if the original code was somehow counting on the fact that the pointer iterator was actually targeting the array it was assigned to, the translated code may (quietly) not behave correctly.

For comparison, the scpptool (my project) auto-translation (to a memory safe subset of C++) feature would translate it to something like:

1 mse::lh::TNativeArrayReplacement<uint8_t, 1> x = { 0 };
2 mse::lh::TNativeArrayReplacement<uint8_t, 1>::iterator y = x; // implicit conversion from array to iterator
3 *y = 1;
4 assert(*x == 1); /* SUCCESS */ // dereferencing of array supported for compatibility

or if y is subsequently retargeted at another type of array, then line 2 may end up as something like:

2 mse::TAnyRandomAccessIterator<uint8_t> y = x; // implicit conversion from array to iterator

So the OP project may only be converting C code that is already amenable to being converted to safe Rust. But given the challenge of the problem, I can respect the accomplishment and see some potential utility in it.

edit: added translation for line 2 in an alternate hypothetical situation.
Jokes aside, I think building a useful, strong, agile humanoid robot that is affordable for businesses (first), then middle class homes will prove much harder than AGI.
Zig is nowhere near mature enough to be considered for the kernel yet. There are breaking changes to it regularly still - which is a good thing for Zig now, but not so good for huge, long-lived codebases like Linux. Also compiler bugs happen.

Saying this as someone who generally likes Zig's direction.
When is understandable when a terrorist standing on the boarder is within rocker range of major population centers—and have been firing those rockets. Seems like they’d be stupid not to expand their territory to get better buffer zone to protect their citizens.
"Continuous" would imply infinitely small steps, and as such, would certainly be used as a differentiator (differential? ;) between larger discrete stepped approach.

In essence, infinite calculus provides a link between "steps" and continuous, but those are different things indeed.
> It confuses folks into thinking that there is some garbage collection that isn’t tracing. There’s no such thing.

It is standard to consider reference counting as garbage collection.

Bacon, D.F., Cheng, P. and Rajan, V.T. 2004. A unified theory of garbage collection. ACM SIGPLAN Notices. 39, 10 (Oct. 2004), 50–68. DOI: https://doi.org/10.1145/1035292.1028982

Abstract:

Tracing and reference counting are uniformly viewed as being fundamentally different approaches to garbage collection that possess very distinct performance properties. [...] Using this framework, we show that all high-performance collectors (for example, deferred reference counting and generational collection) are in fact hybrids of tracing and reference counting.
So which country is it that fits your model and you can point to as an example?
Ask HN: Were playing web videos without Adobe Flash possible before HTML5?
I was quite surprised to find out that the `<video>` element wasn't supported until HTML5, which didn't reach W3C recommended status until 10/2014. I did a bunch of searches for this, including before 2013, 2011 and 2008. The later showed no results. I found the `<object>` element which can play videos, but that seems to depend on browser support for the video formats (containers + codecs), did browsers have native video playback before HTML5?
Intelligence requires the ability to separate the wheat from the chaff on one's own to create a foundation of knowledge to build on.

It is also entirely possible to learn a skill without prior experience. That's how it(whatever skill) was first done
I never ceases to baffle me how we're still stuck with these mind bogglingly slow shells. Pure madness. I can maybe understand that some apps require all the vt100 weirdness or whatever, but probably 90% of apps just write to stdout and err. Surely we can blit some text to the screen a bit quicker and put the other 10% into some compat mode.
Multiple times via iOS zero days. One example, https://www.theguardian.com/technology/2024/dec/20/whatsapp-...

> NSO Group Technologies, was accused in a lawsuit by Meta’s messaging app of infecting and surveilling the phones of 1,400 people over a two-week period in May 2019 via its notorious Pegasus software. The judge.. found the company had violated state and federal US hacking laws.. was used to infiltrate not only WhatsApp but also iPhones to extract pictures, emails and texts.. victims of the hack identified by Meta were senior government officials, journalists, human rights activists, political dissidents and diplomats.
Ask HN: Best programming talks you have watched in 2024?
I’ve seen and read extensive reviews, but yeah I have not read it. I agree that’s a blind spot, so I’ll go ahead and read the book then get back to you after. Give me like a week.
Kotlin is much better in that regard.

I use Kotlin scripts (.main.kts) as a replacement for Bash scripts for years.

You can inline dependencies without additional tooling, and Kotlin is still much more expressive than Java.
Because the advice is actually

* Don't respond to any unsolicited communications. Period.

* If some business you have a pre-existing relationship reaches out to you unsolicited and you suspect it might be real, still don't respond. Go reach out to them via their posted customer support channel.

I have complicated feelings about phishing training because while it's good they're teaching you about common manipulation tactics and scams, trying to sus out from vibes the legitness of an email is the wrong approach. Just don't do anything.
Of course there is. Always prefer an authenticator app over SMS. Also, Passkeys are supposed to be a big upgrade in this regard.
NN is a very wide term applied in different contexts.

When a NN is trained, it produces a set of parameters that basically define an algorithm to do inference with: it's a very big one though.

We also call that a NN (the joy of natural language).
Sorry man, but I literally know of startups invested into by YC where CEO's for 80% of their management decisions/vision/comms use ChatGPT ... or should I say some use Claude now, as they think it's smarter and does not make mistakes.

Let that sink in.
1. Why make claims about 5x dopamine and 2x Ca2+ instead of just scoring how people respond to the drug at various dosage?

2. None of that is relevant. I'm talking about people taking >30x the dose, not 5x lol. Do you have a background in pharmacology and not understand how that would make a difference?
The CppCon because I've been writing C++ for more than 20 years and those videos teach me to go further even if I don't have a need for it: https://www.youtube.com/@CppCon
You reply does not address the great great great grandparent.

RISC-V does indeed not have pipeline reordering.

The Geekbench score thing is a strawman invented to distract from that, no one has mentioned Geekbench except the people arguing it doesn't matter. Everyone agrees, it doesn't matter. So why pound the table about it?
I love the right to repair work Louis Rossmann does, and this project goal as a whole, but this license is a major step backwards for software distribution with high assurances of security, freedom and privacy.

Debian, Arch, Guix, F-droid or any other independent signed reproducible build channels require a true Open Source license to function legally.

The license thus forces users to download unsigned non-reproducible binaries off grayjay servers and trust blindly that their build server is creating binaries from exactly the published code and not compromised to inject tracking or malware not in the public repo (an increasingly common attack they may not even know about for years!). Or say the grayjay domain is hijacked or even a BGP attack or a LAN MITM. All sorts of ways they could be helping distribute malware and not know it with no signatures or reproducible build proofs.

Thing is, your team would not have to solve these problems if you licensed it so the community could solve them for you, as we do for thousands of open source software projects.

I really want to see a project like this take off and would gladly donate, but only if it can be opened up for accountability via third party compilation and distribution channels so it can never be backdoored or co-opted for surveillance if your leadership or release engineers are ever compromised.

Said license:
https://github.com/futo-org/Grayjay.Desktop?tab=License-1-ov...

There are other licenses like AGPL that would kill any attempt for someone to rip your code off to make their own proprietary offering, without locking yourself out of established freedom, security, and privacy preserving software distribution channels.

If anyone from the team is reading this, I would be happy to detail and discuss my concerns further as a software supply chain security specialist. Hit me up.
I would say you are right that function is not an algorithm, but it is an implementation of an algorithm.

Is that your point?

If so, I've long learned to accept imprecise language as long as the message can be reasonably extracted from it.
if it aint broke get a new one. is "capitalism".
> I'm not sure what it has to do with translating the code to Rust.

Formally verified C programs typically have had all their undefined behaviour already stamped out during the verification process. That makes mapping it over to Rust a lot simpler.
While I agree with the premise of keeping it simple (especially when it comes to using opaque and overcomplicated frameworks like LangChain/LangGraph!) I do believe there’s a lot more to building agentic systems than this article covers.

I recently wrote[1] about the 4 main components of autonomous AI agents (Profile, Memory, Planning & Action) and all of that can still be accomplished with simple LLM calls, but there’s simply a lot more to think about than simple workflow orchestration if you are thinking of building production-ready autonomous agentic systems.

[1] https://melvintercan.com/p/anatomy-of-an-autonomous-ai-agent
I don’t think that’s necessary
In the UK on the receipt from most stores you get an itemisation of which items are liable to sales tax (some things are not taxed), at which rates (there are lower rates for some things), and how much of your total bill was to tax. E.g. https://smallbusinessowneradvice.co.uk/wp-content/uploads/20...

All the while the prices you see as a shopper are inclusive.
I thought you were going to say that now we're back to bigger-than-room sized computers that cost many millions just to perform the same tasks we could 40 years ago.

I of course mean we're using these LLMs for a lot of tasks that they're inappropriate for, and a clever manually coded algorithm could do better and much more efficiently.
does it support SBSA or anything?
discussed at https://news.ycombinator.com/item?id=42470541
The motivation to try drugs, especially initially, is often social. I would wager that’s really what OP means
You can't "just drop", it requires energy (fuel) and that's probably the answer why.