HNHacker News
TopNewBestAskShowJobs

the42thdoctor

75 karma · joined December 27, 2019

submissionscomments
the42thdoctor··on Mozilla's Opposition to Chrome's Prompt API
This reminds me of the speech to text API, which already uses AI and is available on almost all browsers. So there's already precedent.

But most importantly this would enable us to finally write JavaScript like this:

const a = prompt("how much is 31c in Fahrenheit")

The future looks bright!

the42thdoctor··on Show HN: Making missed workouts cost money with Android TEE and smart contracts
I’ve always been an expert at negotiating with myself to skip a workout. To fix this, I built FitVow: a system where I lock real money into a smart contract, and if I miss my weekly goals, I get fined.

The engineering challenge was: How do I prevent my future, lazy self from lying to the contract?

I tried to solve this by anchoring trust in three places:

1. Hardware-backed Proofs: The Android app reads from Health Connect (Galaxy Watch data) and signs a summary using a non-exportable key in the phone's TEE (Trusted Execution Environment). The smart contract verifies this signature on-chain.

2. Amnesiac APK Signing: To prevent myself from just "updating" the app to a version that fakes data, I sign the release with an ephemeral key and permanently delete the keystore. Since Android identity is tied to the signing key, I can’t overwrite the app without losing the hardware keys, which triggers an expensive on-chain penalty.

3. Permissionless Enforcement: The contract is "ownerless" regarding enforcement. If I fail a week, anyone can trigger the penalty function. The enforcer gets a small bounty, and the rest goes to charity (Giveth).

This is currently a 12-week experiment with ~$235 at stake. It’s not a product—it's a system design puzzle to see if I can make cheating more effort than just doing the workout.

Live Dashboard: http://fitvow.pedroaugusto.dev/

Source Code: https://github.com/pedrooaugusto/fitness-unbreakable-vow/

I’d love to hear your thoughts on the security model—especially how you’d try to 'break' the vow without actually exercising.

the42thdoctor··on Show HN: FitVow – a smart contract that fines me if I miss weekly fitness goals
Author here: I built this because I kept finding ways to “renegotiate with myself” on weeks I didn’t feel like training. I wanted a commitment device with real consequences and no trusted referee — just code and incentives.

Write-up / architecture / threat model:

https://pedrooaugusto.github.io/blog/posts/making-missed-wor...

Current run parameters:

- Network: Arbitrum (Ethereum L2)

- Duration: 12 weeks (Jan 19 → Apr 13)

- Total stake: ~$235 (0.075 ETH)

- Penalty per failed week: ~$19 (0.00625 ETH)

How enforcement works:

- If a week fails, anyone can call enforceAgreement() and receive a share of the penalty; the rest goes to the Giveth charity.

- There’s also a Chainlink Automation backstop so “nobody enforced” can’t become an escape hatch. If automation is the first to enforce a missed week, there’s no caller to reward, so 100% of the fine goes to Giveth.

I’d love feedback on:

1) where you’d try to cheat this,

2) what would make it more verifiable/auditable to you.

the42thdoctor··on Meta outage
That was my cue to check hacker news
the42thdoctor··on Anything longer ago than yesterday should just say the actual date
There, even better: 21/11/2021
the42thdoctor··on FedNow Is Live
So is this gonna kill apps like CashApp and Venmo ?
the42thdoctor··on Tell HN: Twitter switched temporarily to rate limited mode
I think he was trying to say that the Frontend of the Twitter timeline is not aware of the new request limit, and when that limit is reached it just retries the request, as it would in a normal network error, and keeps in retrying resulting on DDOS.

But I don't believe on that because Twitter is a billion dollar company and that kind of mistake is dumb. So idk.

the42thdoctor··on Apple Vision Pro: Apple’s first spatial computer
Can't wait for the GPT integration with GitHub and start programming like Tony Stark
the42thdoctor··on Show HN: Tabby – A self-hosted GitHub Copilot
If not for the wonderful product itself, take my upvote for the "hire" page. It's the first time I see a company presenting a formula where you can input your data and figure out how much you would get paid. Nice!

> https://tabbyml.notion.site/Compensation-Sheet-ad61218889ab4...

the42thdoctor··on Show HN: Lander, a lunar lander style web game
Great game, why can't it go on all directions ? lef, right, down AND UP ?
the42thdoctor··on GitHub Actions Down / Degraded
Oh no! I was working on my side project; about to test the integration with Azure Computer Vision and this happened. Since I have no idea how to deploy my code to Azure without GitHub Actions and don't have the time to learn I will call it the day and see it tomorrow.
the42thdoctor··on Microsoft announces new Bing and Edge browser powered by upgraded ChatGPT AI
For paying the people that create the content on which this thing if built on top of they could implement the YouTube premium model.

Whenever ChatGPT uses something you wrote to answer a query they give you some cents based on how much content was stolen from you.

This would also encourage people to write more...

the42thdoctor··on Ask HN: Is TypeScript worth it?
My biggest fear with TS is people forgeting why TS exist in the first place and stop trying to solve the problem TS solves because it's already solved. It's not solved, TS is by far the best option, but its far from being ideal. Deno coming out of the box with TypeScript support and the JavaScript Type Annotations Proposal [1] gives me faith that we will grow past TS.

[1] https://github.com/tc39/proposal-type-annotations

the42thdoctor··on Automatic1111's GitHub account suspended for "ToS violations" [restored]
From what I have gathered anime porn. This reminds me the day I wanted to include a painting, The Birth of Venus by Bouguereau [where Venus is nude], in the release notes and wondered if I could get banned for it.
the42thdoctor··on Ask HN: Will Google ever launch a successful new product again?
I have heard about in this thread genuinely interested. Specially if it's included in YouTube Premium.

In fact, they could release Google Prime and give us a lot of free products for a reasonable price .

the42thdoctor··on Two weeks of dealing with Google as a developer
It seems like an algorithm evaluates your app and the support guy simply sends you the result. He has no saying in the process. It's dumb I know, but it's what looks like.
the42thdoctor··on Twitter’s mass layoffs have begun
Let's wait for the severance package, I hope they do something similar to Stripe.
the42thdoctor··on Help pick a syntax for CSS nesting
Hey, I am just happy that survey is not on Google Forms requiring a G account.
the42thdoctor··on Colombia shares unprecedented images of treasure-laden wreck
> When that happens, though, Colombia will face a challenge from Spain and an indigenous group in Bolivia to determine who keeps the bounty.

They should de divide the gold between all the natives (indigenous) of the region. I don't think the gold should go to Colombia simply because that country did exist back then, the Spanish were stealing from natives.

At the very least they should give all the gold to some branch of government concerned with indigenous rights.

the42thdoctor··on What hacking AOL taught a generation of programmers
And then what, you had to combine the four files yourself ?
the42thdoctor··on Show HN: I made a puzzle game in HTML5
Awesome! It looks like rubik's cube in 2D.
the42thdoctor··on Embedded Malicious Code in node-ipc
> Honest question, what can be done to address this type of issue?

Paid subscription-based NPM ? Yes, you could download a dependency directly from the repository on Github for free, but if do so through the paid NPM they assure you that the package is malware-free.

the42thdoctor··on Making the dislike count private across YouTube
It's sad to pay for a service, Youtube Premium, and see they pulling shit like this without no clear competitor to switch to.
the42thdoctor··on GitHub Copilot available for JetBrains and Neovim
I was working on some internationalization stuff, translating some phrases from english to portuguese and Copilot just did it for me, does not seem like much but for me that is amazing.

I was able to write {"Settings":...} and Copilot completed with {"Settings": "Configurações"} that tool is simply amazing.

the42thdoctor··on How many robots does it take to run a grocery store? [video]
What types of algorithms are used in this type of problems ?
the42thdoctor··on YouTube Will Monetize Videos Without Paying Content Creators
Its thanks to youtube that I can read HN, it is also probably thanks to youtube that I can afford premium.

I just wish we could choose which series to fund for youtube originals, like a big contest or something.

the42thdoctor··on I am resigning along with most other Freenode staff
HU3 HU3 HU3 BR
the42thdoctor··on Are you an anarchist? The answer may surprise you (2000)
As long a group does not try to conquer another and everyone is free to change groups, there's no problems with it.
the42thdoctor··on Swiss companies must pay share of rent for employees working from home
I mean, since I started working from home my eletric bill is up by 20%. So is only fair to assume that they should pay me more, to cover that cost.
the42thdoctor··on Microsoft’s quest to go ‘carbon negative’ inspires $1B fund
Not if you have or plan to have kids though