HNHacker News
TopNewBestAskShowJobs

wyes

10 karma · joined June 6, 2022

submissionscomments
wyes··on Mermaid ASCII: Render Mermaid diagrams in your terminal
How is the LaTeX compatibility? Base mermaid's LaTeX compatibility is quite sparse.
wyes··on I accidentally became PureGym’s unofficial Apple Wallet developer
100%

"The crown jewel? Your 8-digit gym door PIN is your API password and you most likely didn't set it yourself. The same PIN that hasn't changed since the iPhone 8 was cutting-edge technology."

Reads directly from ChatGPT

wyes··on Claude 4
They have gotten worse.
wyes··on Trapping misbehaving bots in an AI Labyrinth
Interesting to see that AI search was basically turned off during the election time. edit: no the election was later, why we're AI searches basically non-existent mid sept - mid oct?
wyes··on Private Cloud Compute: A new frontier for AI privacy in the cloud
Attestation will run on the RoT.

>While we’re publishing the binary images of every production PCC build, to further aid research we will periodically also publish a subset of the security-critical PCC source code.

I expect that they'll publish the attestation source code.

But, basically what will happen is the Verifier will request a certain memory region to be attested, then that region will be hashed and the digest will be sent back to the Verifier. If the memory is different from what is expected, the hash digest will NOT match.

wyes··on Private Cloud Compute: A new frontier for AI privacy in the cloud
They rely on Trusted Execution Environments and the fact that hash functions are one-way functions.

Verifier -> requests a Prover to attest its software state

Prover -> goes into RoT, verifies authenticity of Verifier (and request), computes hash of attested memory region, sends hash digest

Verifier -> receives digest and compares to known hash

> What’s stopping remote endpoint always responding “yes” The attestation code is inside of a RoT, so a bad actor shouldn't be able to call this code, only callable by receiving a request from a Verifier

wyes··on F* – A Proof-Oriented Programming Language
We use F* for some of our crypto for embedded systems software :D
wyes··on Show HN: I made an AI-based domain name generator with availability check
It suggested securedomain.co, but when I clicked it it actually meant securedomain.co.in
wyes··on Zipf's Law (2008)
Zipf’s law is also super useful for web caching