kfrzcode

Do not underestimate your enemy.

I would argue the 2024 election was quite the opposite.

> More than 155 million Americans voted in 2024: 156,302,318 to be exact. That’s the second largest total voter turnout in U.S. history in absolute terms. It is also just the second time that more than 140 million people voted in a presidential election.

https://www.cfr.org/article/2024-election-numbers

This misunderstands what Verifiable Compute actually does. VC isn't about restricting execution, it's about proving properties of computation. The key difference is that VC lets you verify what happened, not control what can happen.

Think SSH keys, not DRM. SSH lets you verify you're talking to the right server without restricting which servers exist. Similarly, VC lets you verify properties of AI models (like training data lineage or inference characteristics) without restricting which models can run.

The regional censorship concern isn't relevant here since VC doesn't enable content restriction. It's a mathematical verification tool, not an enforcement mechanism.

Which models? What are the specific dimensions? I assume if you're confident they're widespread, commercially available, you know what kind of aircraft we're dealing with. I'd hope you can help me demystify further what's going on in the controlled airspace near military installations.

Which apple did you bite?

Efficiency. If you don't have to recover the booster, load it up and transfer it back to the recovery & restoration bay, you save time and money. Not to mention if you can land the booster directly on the tower, clean it, fuel it up, and send it right back... imagine 4 Starships launching per day!

This seems like the tail wagging the dog

Probably not as much as if you steer it toward the graveyard

https://en.wikipedia.org/wiki/Spacecraft_cemetery

I figured out a good cadence; first threads discuss a schema and sketch/iterate over an ERD and C4 diagram. Then we have threads to build modules on top of a framework. It knows if we're working with python/typer/pydantic or go or typescript and various frameworks/design decisions... Key is keeping topics separate so contexts don't overrun. And be explicit to say "don't re-generate code just talk high level" etc.

To be fair it's not the energy that you're concerned with; it's the source of that energy.

Private jets can't run off nuclear power grids. Also the real problem-child of emissions is not America. China has a billion more people, what are their TVs like?

I've found myself in playtime with Claude 3.5 lately; it scratches both itches very satisfyingly.

X seems to be working quite well. Especially considering the significant reduction in overhead since Elon's purchase.

Wondering is the what.

Have you read the Lucifer Effect? It seems like you might not have read the book.

I've made a longer comment in another thread; but have you investigated the hashgraph algorithm? Gossip-about-gossip and virtual voting combine to result in leaderless consensus, fair ordering and aBFT. It's very performant with over 10k TPS on-chain. I'm learning about DLT from the perspective of hashgraph which is why I don't understand why it doesn't get love - it seems to have all of the good and none of the bad.

Great point, I wasn't being precise. My point stands, however! I must also correct your understanding re: "private company."

The DLT in question - Hedera - is built on the unique consensus algorithm, the "hashgraph". The hashgraph algorithm combines a gossip-about-gossip protocol with virtual voting.

In fact, services development is now in the hands of the largest open source foundation in the world. These implementations are entirely open source [0], and very recently the codebase has been donated in whole to the Linux Foundation.

Furthermore, Hedera is a Pioneer member of the newly founded Linux Foundation Decentralized Trust organization [1] - along with Chainlink, Deloitte, Hitachi, many other major organizations, some of whom are also on the Hedera governing council [2]. This foundation will be a big player in the future of decentralized web, and Hedera is the only L1 that I know of which is both primed for this future and actually scalable.

I understand the IETF and standards approach; and am not aware of a current draft or intention for such a draft. The idea of Hedera being the 'trust layer' of the internet is more about use cases like decentralized recovery, process validation, carbon offsets, extremely granular supply chain auditing, and any other application you might imagine that would benefit from having extremely fast (10k+ TPS), 100% guaranteed aBFT consensus on-chain. I'd love to hear what you might think up or where this could be particularly useful. Strong governance with 39 council members - including Google, IBM, Boeing, Tata, AP+, Hitachi and more... with decentralized network operation and stable fees (essential for enterprise application).

> Additional use cases include, but are not limited to, financial markets, matching engines (like those used in Uber or AirBnb), or supply chain negotiations (e.g., several competing factories bidding on parts from several competing parts suppliers).

So, admittedly the use cases maybe aren't evident or interesting to you and I right now at the TCP/IP layer, but I can certainly say there are a plethora of trust-based problems that could be solved with consensus only needing a few thousand ms. Think digital identity, healthcare, financial markets, IoT, supply chain, real-world asset tokenization... For any real-world, scaled application, a DLT must have very high throughput at high performance. It's the absolute highest performance and security possible in a leaderless consensus-based DLT as far as I know.

Literally carbon neutral or negative because of buybacks but even without Hedera buying carbon credits, it's the single most "green" i.e. power-efficient DLT on the market. Does HN still care about Bitcoin using too much power? They would like Hedera, to that extent. Predictable, very low fixed fees. Long list of the biggest tech players leading the open development process. What's not to love?

I urge you to help me invalidate these claims as it's pretty important I understand the tech here... But I'm very bullish on the token price as the technology is proven, robust, and overall extremely undervalued by retail - in my opinion. NFA.

> The Hashgraph consensus algorithm is an algorithm for asynchronous Byzantine fault tolerance intended for distributed shared ledgers. Its main distinguishing characteristic is it achieves consensus without exchanging any extra messages; each participant’s votes can be determined from public information, so votes need not be transmitted.

For more rigorous explanation, see [3] and the associated Coq proof of the algorithm [4].

[0]: https://github.com/hashgraph/hedera-services

[1]: https://www.lfdecentralizedtrust.org/

[2]: https://hedera.com/ecosystem/governing-council

[3]: https://hedera.com/papers

[4]: https://www.cs.cmu.edu/~crary/papers/2021/hashgraph.pdf

DLT technology discussions are entirely incomplete without consideration of Hedera Hashgraph [0], an aBFT, leaderless, fair and fast DLT using a gossip-about-gossip consensus mechanism. It's absolutely a more robust and scalable technology than Paxos or any other DLT for that matter. I'd love to know what the HN crowd thinks about Hedera as the trust layer of the internet but.... nobody around here seems to have any. It's like ignoring Linux while comparing Mac and Windows based computing.

[0]: https://www.swirlds.com/downloads/SWIRLDS-TR-2016-01.pdf

Paxos is nice, sure, but Hedera does DLT with aBFT and much more efficient, as well as being faster and ensuring fairness. It's leaderless, and achieves incredible TPS (10k+ in practice, 100k+ in theory).

I am curious on your thoughts here.

What are your thoughts on Dr. Leemon Baird's Hedera Hashgraph?

https://www.swirlds.com/downloads/SWIRLDS-TR-2016-01.pdf

Perhaps they should try adjusting the parameters of their economic paradigm. I hear market capitalism is nice this time of year...

"There can be no freedom of the individual, no democracy, without the capital system, the profit system, the private enterprise system"

Pragmatic use of $LANGUAGE is a telltale sign of the wizened programmer; one who understands the use-case and solution set well enough to know when the tool fits.

I wrote Ruby when I got started because it was the most accessible and the Rails learning content was top notch. Now I use python when I need more than a few `bash` pipes to accomplish anything, but if I were to solve a capital-P Problem, of course the tool often chooses the project after constraints.

Of course, you could avoid this entirely with Hedera HBAR and fair consensus on the hashgraph. But the puzzles are on BTC where the money is.

In esoteric muggle magick it is the same.

Cognitive productivity during sleeping hours; it may not be working on a problem but oftentimes is, or emotional labor. Oneironautics for it's own sake.

This is essentially what the advanced tantric sadhana of dream yoga is all about... Lucid dreaming is a super power. Cultivate a practice of recognizing when you are in a dream state (during sleep) and building the ability to visualize intently with the minds eye is essentially what all the esoteric traditions are trying to teach.

https://en.wikipedia.org/wiki/Dream_yoga

But in fact, in order to kidnap these people you'd also need to know these people, and know they are assigned to be part of the derec network. With DeRec all the helpers don't need to know about each other at all. And you may not know how many helpers a given helper has behind them. It's actually much much more difficult to do the heist-and-interrogate-with-a-pipe-wrench approach if you don't know who to beat up, nor how many of them need to authenticate.

Edit: OT but while I have a glimpse of your attention, kudos in order!! I love datasette and basically everything you write is highly useful to me!

The Decentralized Recovery (DeRec) Alliance has recently launched to solve this very problem. Dr. Leemon Baird gave a talk last year on how this works at a higher level [0]. The alliance is comprised of members from the Algorand, Hedera, Ripple crypto communities but the application of proper DeRec would be certainly applicable anywhere you have any type of secret; in fact I believe you can be a DeRec 'helper' right now. There's a robust primer on the protocol published as well [1], here's a pull-quote:

> Decentralized recovery is a method of safeguarding a user's secret by distributing shares of that secret among multiple helpers, who store their individual share on their local device in order to help the user recover that secret in future. The shares are constructed under a threshold secret-sharing scheme (e.g. Shamir's secret sharing scheme), with a chosen threshold (defaults to half) -- at least three helpers must be present in order to use the protocol. Should the user lose access to their device, they can recover their secret data by retrieving the previously-distributed shares from at least half of their helpers. For successful recovery, the user only needs to recall the identities of half of their helpers and authenticate with them in-person.

[0]: https://www.youtube.com/watch?v=AcF4abPoveM

[1]: https://github.com/derecalliance/protocol/blob/main/protocol...

pwnd

You are inculcated and yet provide no hard evidence to convince me. Invert your position and consider, empathetically, that I feel just as strongly that Trump is the clear only option for this election cycle. What do you immediately feel when trying on that empathetic lens? Disgust? Anger? Emotion?

Or can you provide an unbiased, data-driven set of metrics from which you would base a decision?