Skip Navigation

AtHeartEngineer

@ AtHeartEngineer @lemmy.world

Posts
1
Comments
302
Joined
3 yr. ago

Aspiring polymath.Trying to make things better. Opinions are my own and subject to change

  • Linux or Landfill? End of Windows 10 Leaves PC Charities with Tough Choice

    Jump

  • They said when they launched windows 10 it would be "last version"

  • Linux or Landfill? End of Windows 10 Leaves PC Charities with Tough Choice

    Jump

  • How much ewaste has Microsoft caused just by wanting to sell more copies of the next version of windows.

  • Tim Walz to launch national tour of town halls in Republican House districts

    Jump

  • Sanders has been going on rampage and is as passionate as ever. We don't need someone who "is a nice guy and follows the rules", the rules are what's getting broken, we need someone (man or woman) with some fucking BALLS. This is class warfare and we don't have a ton of time left. Between AI and climate change we need to figure out shit out way sooner rather than later. Waltz seems like a fine guy, but come the fuck on, we don't need a Midwestern nice dad, we need someone with some fire.

  • Deleted

    Permanently Deleted

    Jump

  • Where in the article did it say that? Did you read the article?

  • What host names do you use?

    Jump

  • All my personal devices are named "AHE"+n. So the abbreviation for "at heart engineer"+ a letter signifying the device. So my phone is "AHEM", my laptop is "AHEL", my desktop is "aheo" (O for office), my server is "ahes".

  • Amazon Boycot March 7-14th | No Purchases. Its time to disrupt the system.

    Jump

  • We need to turn this into a cancellation party

  • Amazon Boycot March 7-14th | No Purchases. Its time to disrupt the system.

    Jump

  • I cancelled mine recently and will actively try to avoid using it. They also need competition.

  • You guys have to end it

    Jump

  • I've had a Subaru CVT for 10+ years with over 200k miles no issues. Anecdotal yes, but I've grown fond of the CVT feel, it's smooth, I like it.

  • What do you believe that most people of your political creed don't?

    Jump

  • I agree. I'm glad you made this post and are actually interacting in the comments to be constructive.

    There's a book I was introduced to last year called "good strategy bad strategy" that is worth a read, most of it's somewhat obvious and a little dated as far as examples, but the framing of how to think about strategy is pretty solid. Its an easy read, and like most non fiction books, you get most of the meat in the first half.

  • What do you believe that most people of your political creed don't?

    Jump

  • Late is better than never

  • What do you believe that most people of your political creed don't?

    Jump

  • I'm a straight white male that leans left, and ya, I've had friends (who, it's sad to say, are hard to talk to now) who were center go right because they were welcomed with open arms by the right and shat on by the left. Before Elon went on a rant about the dude trying to rescue those trapped kids, before Joe Rogan started leaning into the propaganda for ratings, and when Bernie had a chance, we were on the same page... But since trump got involved, Bernie got shut out, and (it's obvious now) the rich started weaponising the media against us, we have very little media that we consume that's the same.

    I left reddit, rogan and switched to Lemmy and breaking points, and they have leaned in harder to Rogan and we're drawn down the rabbit hole of tim pool. Everytime I've tried to reason with them I get "what about isms", "the left is more violent", "the left hates everyone", and borderline conspiracy theory non-sense. Even my own mom was pretty center left when I was growing up and now she's bought into the non-sense because that's the media she sees.

    The right tells good tales, and a lot of people on the left are gate keeping, so... Just by fact of barrier to entry the right is going to be easier to drift towards. I hope we get our shit together.

  • FTC investigates “tech censorship,” says it’s un-American and may be illegal

    Jump

  • This would have been helpful 10+ years ago

  • Trump floats giving 20% of DOGE savings to American citizens

    Jump

  • Idk why you are getting down voted, what you are saying is also how I largely understand things. Props to you for following through on replied.

  • Trump floats giving 20% of DOGE savings to American citizens

    Jump

  • What??? Libertarians are almost all against income tax, they are literally stating it's necessity to the current system. Even if you don't believe them your statement makes no sense.

  • Should we have a day where we, as a community, go out of our way and thank our maintainers?

    Jump

  • Let's do it

  • Deleted

    No Kings on Presidents Day

    Jump

  • Doom NPCs with Zero-Knowledge Proofs

    Jump

  • Integrity of the model, inputs, and outputs, but with the potential to hide either the inputs or the model and maintain verifiability.

    Definitely not reasoning, that's a whole can of worms.

  • Doom NPCs with Zero-Knowledge Proofs

    Jump

  • Zk in this context allows someone to be able to thoroughly test a model and publish the results with proof that the same model was used.

    Blockchain for zk-ml is actually a great use case for 2 reasons:

    1. it's a public immutable database where people can commit to the hash of some model they want to hide.
    2. It allows someone with a "model" (that doesn't have to be a neural net, it could be some statistical computation) and verifier to do work for others for a fee. Let's say I have a huge data set of property values/data for some given area, and I'm a real estate agent, and I want to have other people run some crazy computation on it to predict which houses will likely sell first in the next 30 days. I could post this challenge online with the data, other people could run models against that data and post their results (but not how they got them) on chain. In 30 days the real estate agent could publish the updated data and reward the best performer, and potentially "buy" their model. You could do this with a centralized service, but they would likely take a fee, keep things proprietary, and likely try to make some shady back room deals. This removes the middleman.

  • Doom NPCs with Zero-Knowledge Proofs

    Jump

  • Ahh, ya, so this is a deep rabbit hole but I will try to explain best I can.

    Zero knowledge is a cryptographic way of proving that some computation was done correctly. This allows you to "hide" some inputs if you want.

    In the context of the "ezkl" library, this allows someone to train a model and publicly commit to it by posting a hash of the model somewhere, and someone else can run inference on that model, and what comes out is the hash of the model and the output of the inference along with a cryptographic "proof" that anyone can verify that the computation was indeed done with that model and the result was correct, but the person running the inference could hide the input.

    Or let's say you have a competition for whoever can train the best classifier for some specific task. I could train a model and when I run it the test set inputs could be public, and I could "hide" the model but the zk computation would still reveal the hash of the model. So let's say I won this competition, I could at the end reveal the model that I tried, and anyone would be able to check that the model I revealed and the model that was ran that beat everyone else was in fact the same model.