I'd like to build an e2e encrypted distributed version control system and platform with homomorphic encryption. Think, something like git and github, that's end to end encrypted.
Not sure if it's e2ee but you might like https://radicle.xyz/
Ask HN: What cool skill or project interests you, but feels out of reach?
211–220 of 281 posts
Re: Ask HN: What cool skill or project interests you, but feels out of reach?
#212I'd like to build an e2e encrypted distributed version control system and platform with homomorphic encryption. Think, something like git and github, that's end to end encrypted.
What is the threat model against which you are protecting version control? It seems like you are either thinking about using GitHub as just a backup system, which is almost certainly better solved by actual encrypted backups, or posting encrypted patches to a mailing list to just collaborate with your friends
Re: Ask HN: What cool skill or project interests you, but feels out of reach?
#213The De-googling my life project
Fastmail is fantastic, has a standards compliant calendar, a notes space, webdav, and a pretty decent mobile app
I still have a Gmail address because getting a bazillion people to update their address books is a monster problem but otherwise I'm glad I at least halfway won't lose my digital life if some Google bot decided it doesn't like me
Re: Ask HN: What cool skill or project interests you, but feels out of reach?
#214Earlier quoted context omitted.
Not in Coq, but you might find this interesting from AWS: https://github.com/awslabs/s2n-bignum?tab=readme-ov-file#tes...
I've just taken a quick glance at this, and will explore further -- but at first, it seems like it's really a good application of ad-hoc proofs to assembly code; which is a subset of what I'm interested in, but for me the more interesting thing about the paper was the structured safety proofs for things like memory safety, no read-before-write, no overflow, etc., and thinking about how this can be expanded and genera…
Yeah, I hear you. Many things are simplified in this crypto code, for example there’s no dynamic allocation. At the same time it’s incredibly difficult to get a realistic model of the hardware instructions because they all have side effects. And it gets incredibly more difficult if you try to prove real world, hand optimized code (vs academic proof of concept code).
With all this said, I think this could be a good inspiration and look forward to seeing advancements!
Re: Ask HN: What cool skill or project interests you, but feels out of reach?
#215customized driver creation
Re: Ask HN: What cool skill or project interests you, but feels out of reach?
#216Running with an idea and starting a business. Some people are naturally entrepreneurs, but I don't feel that I have the bug for it. I'd like to find a niche in soft robotic actuation and run with it, renting a garage somewhere in my hometown after I finish my PhD.
Re: Ask HN: What cool skill or project interests you, but feels out of reach?
#217I'd like to build an e2e encrypted distributed version control system and platform with homomorphic encryption. Think, something like git and github, that's end to end encrypted.
What is the threat model against which you are protecting version control? It seems like you are either thinking about using GitHub as just a backup system, which is almost certainly better solved by actual encrypted backups, or posting encrypted patches to a mailing list to just collaborate with your friends
My primary motivations...
1. I'd like to store code without a company using my code to train their language model.
2. I'd like to store code without a company deciding my code's merit (Github removing youtube-dl, Sourcehut not allowing crypto projects, etc).
3. Something about storing private code on a closed source forge feels wrong. It also feels wrong that company can read my code, and any of its employees can.
Re: Ask HN: What cool skill or project interests you, but feels out of reach?
#218Being able to spontaneously speak with people and slow thinking. I am ok at writing with people, because it gives me time to think and refine my message. But I really suck at live events and talking to people in real life. Did anyone overcome it? And how?
For very clear, very specific advice, succeedsocially.com is the best website I’ve ever seen.
Besides that, you just need practice and if applicable a bit of therapy. Practice comes with interacting with a lot of people until it seems easy. Therapy clears some of the roadblocks that might hamper you.
Re: Ask HN: What cool skill or project interests you, but feels out of reach?
#219Earlier quoted context omitted.
See my previous comment here for how to get started - https://news.ycombinator.com/item?id=33628025 I highly recommend downloading Understanding Signals with the Propscope from Parallax (available for free online) and following the tutorials from it with an Arduino+Analog Discovery 2/3 device. You can use the Digilent "Real Analog" learning course along with it - https://digilent.com/reference/learn/courses/real-anal…
Thanks a lot for the recommendations. Would you recommend the Real Analog course independently? What does the Propscope one offer that Real Analog doesn’t? The Propscope one looks kinda old so I was wondering what I’d miss if I only used Real Analog. Also not sure if there’s a parts kit for the Propscope one that I can buy.
Sure, you can do the "Real Analog" course independently. Study it with a Parts Kit from Digilent+Analog Discovery 2/3 device(AD2/AD3)+Arduino board. That would be a nice entry point into Electronics+Embedded Systems.
I was referring to the tutorial pdf of Understanding Signals with Propscope containing very nice step-by-step lessons in using a USB Oscilloscope for measuring various circuit parameters. The Propscope itself is very old/underpowered (not being sold anymore) and not needed. You just use AD2/AD3 with its Waveforms software to do the same experiments with any board.
Note that if you use a AVR-based Arduino you can learn to program at the higher Arduino API/library level and then at the lower direct AVR level both with the same board. For learning Arduino Programming see Exploring Arduino by Jeremy Blum and for direct AVR programming see Make: AVR Programming by Elliot Williams.
Re: Ask HN: What cool skill or project interests you, but feels out of reach?
#220* Kernel development and eBPF: I tried many time to go deep on those topics, but never became proficient * Bayesian statistics: I know the basics and the theory, but I am not able to understand how to use it in a real world problem
> Bayesian statistics Look into real-world examples in e.g. The Bugs Book (Lunn et al) or any of Gelman's books. Pyro and PyMC also have good real-world examples in their tutorials.
Thank you for suggestions. I will give them a look :)