Readit News logoReadit News
byteware commented on Ask HN: What Are You Working On? (June 2025)    · Posted by u/david927
byteware · 8 months ago
polynomial commitment based zero knowledge proof system
byteware commented on Ask HN: What are you working on? (April 2025)    · Posted by u/david927
byteware · 10 months ago
first order zero knowledge proof system (zk-stark), it works on android, macos, linux, webassembly, vulkan/cuda backend (metal coming), but the composition polynomial evaluation is suboptimal so i am working on that now

https://theorium.org/constraints.html

byteware commented on Ask HN: What are you working on? (March 2025)    · Posted by u/david927
byteware · a year ago
zero-knowledge proof framework to prove for example that a bank has the necessary funds, or for a loan application that I make enough without revealing how much
byteware commented on Apple Vision Pro review   wsj.com/tech/apple-vision... · Posted by u/fortran77
klausa · 2 years ago
Not really?

Do the math of how much bandwidth like three windows/screens (because with this model each window is basically its own screen) at 4K/100hz/10bit color each would take.

You're at limits of TB4 _very quickly_.

You can compress the image, try to do something smart with foveated rendering (only stream the windows that users are looking at; but that breaks if you want to keep a window with logs in your peripheral vision), use chroma subsampling, etc; but those all are varying trade-offs with relation to image quality.

byteware · 2 years ago
why would foveated rendering break down? it does not stop rendering where you are not looking just lowers the resolution
byteware commented on Circle (or highlight or scribble) to search   blog.google/products/sear... · Posted by u/meetpateltech
byteware · 2 years ago
how is the "world is on its knees"? also didn't google target net-zero carbon by 2030? https://sustainability.google/operating-sustainably/ what do you want google to do about war?
byteware commented on Welcome to the ad-free internet   economist.com/business/20... · Posted by u/Brajeshwar
littlefish444 · 2 years ago
Hmm interesting.

But it seems like one industry that has gotten this down is p*rnography? OnlyFans seems to be an enormous processor of micro-transactions for marginal content. Maybe people are just more willing to open wallets for that type of content?

It's interesting to see that even press "rebels" like Substack use a subscription model. You could argue this benefits writers with steady streams of incomes, and that per-purchase would incentivize clickbait and winner-take-all (not 100% sure I agree but could argue it). The more I think about it, the more concerned I am that subscriptions are a psychological trick where people (myself included lol) overly discount future dollars and over-estimate their ability to remember and cancel subscriptions.

byteware · 2 years ago
tangent: do we have to censor words here as well? i thought it was for youtube and tiktok recommendation systems (unalive is particularly funny imo)
byteware commented on Ask HN: What apps have you created for your own use?    · Posted by u/fuzztester
byteware · 2 years ago
in theory some publications are available as torrents, in theory they are in batches zipped together and in theory one could, by requesting certain parts of the zip file using a crafted torrent client, download only the publication they are looking for, in theory
byteware commented on My techno-optimism   vitalik.eth.limo/general/... · Posted by u/yarapavan
nonethewiser · 2 years ago
Who should we stop from reproducing?
byteware · 2 years ago
10 races we should sterilize, number 6 will shock you, click here to learn more
byteware commented on $10M AI Mathematical Olympiad Prize   aimoprize.com/... · Posted by u/jasondavies
7373737373 · 2 years ago
It would be cool to have a Patreon-like system for math proofs. But to reward solvers appropriately and at scale, the award conditions and evaluation would have to be very formalized and specific.

This seems to be one potential, actually useful application of blockchains which support general purpose computing - if you can port a proof verifier onto them, you give anyone the ability to commit to (and claim) proof bounties.

Now, precisely formalizing specific conjectures and ensuring the proof system is expressive enough but doesn't allow for the introduction of any new assumptions is another problem...

byteware · 2 years ago
talking as someone who is building such a system, why would an avarage participant of the network give their own money, i dont think they would for the same reason i'm not running a bounty program with my dollars, the only use of having it on the blockchain is rewards without using your own money (so it's economics depends on the eventual value of the coin), for that it has to be bound to the minting process, but a purely algorithmic system for determining who gets how much based on their proofs seems elusive (think of the infinite possible proofs 1+2=3, 1+3=4...), we are going for having a central authority doing the minting for proofs (as voting based on money would hardly reflect mathematical experties)
byteware commented on A Video Game That Pays: Lessons Learned from Working Remotely   dtransposed.github.io/blo... · Posted by u/dtransposed
thih9 · 2 years ago
> Remote work is like playing a video game (…)

Haha, no; at least not much more than regular work is - and it all depends on a particular workplace.

Can you have a peaceful on-site office job with lots of uninterrupted focus time and challenging and engaging tasks? Yes.

Can you have a miserable remote job with pointless meetings, deadlines, context switching and an overbearing meaninglessness? Also yes.

byteware · 2 years ago
I am in a such a "meaningless" pickle myself, I have never imagined that hard tasks with strict deadlines are a breeze compared to this, it slowly but surely chips away my will to live, even though on the outside it sounds wonderful

u/byteware

KarmaCake day47October 5, 2021View Original