nextaccountic

The article is not misleading either.

The title is but then OP should talk about just the title instead

Ok I missed this. But Git should be mentioned as well I think

Can you look up how many tokens both consumed?

In some cases, the point of a skill is to handle all context to a model, so that they don't need to look up on their own (sometimes filling up the context window with irrelevant stuff in their search)

Is this related to jujutsu? It's not mentioned in the landing page (and oddly enough, Git isn't either)

> The decoding is done via a companion app on your laptop or phone in the cloud, but end to end latency is still quite fast, under 500ms usually.

Why don't you do this on the phone? You don't want to have your proprietary tech on the user device? Or maybe you wanted to save the recording on your cloud anyway so you can train on it later or otherwise use the data?

It's also a nightmare to be homeless, yet they still pay their share of taxes

The contracts might, but do they pink promise?

The company was founded under the principle they will violate laws to acquire training material

Wait, how is this legal? How are current shareholders made whole?

> You blow $50k a year on servers running your LLMs? It cost you $50k.

Plus electricity

Shouldn't loras generally be distributed without being baked in the weights? Or is "de-baking" a lora trivial?

Is libghostty in charge of its own rendering, or can I bring my own renderer?

Such a "neutral raw benchmark" would need to be kept private and highly secured. If the labs get a hold of it, they may benchmaxx it to death

So you really need to develop it yourself. If you buy such benchmark from someone, and the benchmark is any good, you may bet the labs will be buying too

The actual end has all cryptographic keys used for remote attestation released to the public

Open source software will not embed them, but maybe ask you to download yourself

Our brains are just a biological computer. And actually our bodies as a whole, and the whole life, in a sense

Nostalgia

> and even when art is involved, I hope it evolves from GenAI to operating within human-operated graphics software

People use such Artist-integrated tools since 2022. For example, Krita or Photoshop plugins etc. Not all AI art is just prompting until the model gets it mostly right

It's a gift. No matter how you structure it - maybe subsidized loans, or anything like that - any bailout that doesn't transfer equity to the government is a gift

> Compile-Time Dependent Types

> It seems inevitable that compile-time dependent types will come to systems programming. C++ has templates and constexpr. Rust has const generics. Zig has comptime. Even C has _Generic. However, these features tend to be highly restricted, lack a proper type system, or both.

Those language features are not examples of dependent types, though...

> That is, Syl is dependently typed at compile time and simply typed at runtime.

> This is the core idea of Staged Compilation with Two-Level Type Theory https://andraskovacs.github.io/pdfs/2ltt.pdf though it’s not presented as a modal type system.

But dependent types (and static types in general) don't exist at runtime!

But I guess you mean that Syl implement dependent types them with no overhead, like no dictionary passing. So you can have full type erasure. Is that accurate? (will read the paper)

The look on his face looks a lot like Elizabeth Holmes in You Can See Everything

Ok so I was looking at the market rates for ipv4, and it appears that $20 per IP is a common figure, which means that a /24 block is worth about $5000.. so, what's the catch? And how many /24 blocks does ARDC have available, really?

I'm most curious to understand why didn't bad actors gobble up all those /24 blocks already.

I thought that the whole point of crypto was money laundering and tax evasion. Like, it's in cryptocurrency DNA, even if people try to squint and see legitimate use cases. Does anyone think otherwise?

I mean, that's what the big mean government does, they monitor financial transactions and they collect taxes. But when we talk about financial privacy from the prying eyes of the government as a goal, and let's suppose people actually use crypto like was dreamed, this necessarily implies crypto being a tool to launder money. (in practice, this is better realized by privacy coins like Monero and ZCash, since Bitcoin sucks for privacy: your address is an anonymous handle but the network leak metadata. But, the desire for financial privacy was there in the Bitcoin community since the beginning).

And what else people do when they can hide their money from the government? In a lot of cases, they don't pay taxes (which is also a disposition present in the Bitcoin community since the beginning, with a rhetoric like, collecting taxes are not legitimate)

What I think was a later development was the main use case for crypto in real world, which is to collect payment for ransomware and things like this. This, I don't think it's something the early Bitcoin community envisioned.

It WAS the way the species survived and thrived, but not anymore. We are thriving even harder today

And it's not like evolution don't apply to us anymore, we just have more agency now

This submission in special is unusually on topic though

That's why such dumps should be just the beginning. It should be accompanied by metadata, saying who is who

For example, each agent that killed people are presumably in this dump. Providing pointers to it is at least as valuable as the dump itself

It means ~millions

The ancient issues killed children and the weak

We adapted by having more children, with the understanding that many wouldn't make it

Would you prefer to live like this? In this more brutish world

No, but it required non trivial human work

If there are no sources, how do you ensure the contents are factual?

I'm willing to bet he's speciesist in relation to actual, existing species of other animals

there is a case to be made that weak encryption is equivalent to no encryption at all