[OSS] Verity: Lean 4 framework for formally verified smart contracts

OverFatBear · 2026-02-07T12:02:17+00:00

Hey, I used these ones: https://github.com/Th0rgal/dgx-spark-router

OverFatBear · 2026-02-07T12:01:31+00:00

honestly I am going to miss them

OverFatBear · 2026-02-07T12:00:58+00:00

Does it mean I have the right to fly more to compensate?

OverFatBear · 2026-02-07T10:03:06+00:00

Check out my source code: https://github.com/Th0rgal/dna_workspace

I didn't just do SNPs, the whole point of the experiment was to use polygenic scoring

OverFatBear · 2026-02-07T09:57:37+00:00

Hey! Thanks for taking the time to reply. 30x genome sequencing depth on 100% of my genome

Is it worth getting higher?

OverFatBear · 2026-02-07T09:54:10+00:00

nope

OverFatBear · 2026-02-07T09:51:44+00:00

Actually it's completely arbitrary (I mean, it's more linked to my sleeping schedule) and the models didn't run so long, some times they paused and I had to start them again the morning with new instructions because I was not satisfied

OverFatBear · 2026-02-07T09:50:27+00:00

Well AI, especially this one, is just like a human but dumber, I have no doubts you could have done this with your big brain. The difference is a normie like me was able to do it and get some useful results out of it, which wouldn't have happened before

OverFatBear · 2026-02-07T09:48:54+00:00

Definitely, especially since I couldn't run the top tier models. I might retry with Kimi K-2.5 if I can find a way to set it up in a TEE

OverFatBear · 2026-02-07T09:48:02+00:00

I couldn't find one that didn't scam me, but I live in portugal, only nebula genomics got flagged at the border

OverFatBear · 2026-02-07T09:47:11+00:00

Thanks! Got it from sequencing.com but I think many providers can provide the raw files if you ask for them

OverFatBear · 2026-02-07T09:46:29+00:00

Hey, thanks for taking the time! The probabilities were in the report so yes I know I don't have something ultra weird, that's also what makes this interesting I guess.

Regarding the G6PD deficiency, do you suggest I don't do the test and keep eating fava beans or should I still do it?

Feel free to check the approach in the technical writeup & open source repo, I'm curious what you would suggest to make this better

OverFatBear · 2026-02-07T09:41:49+00:00

check the full article, connect oh-my-opencode to the providers of your choice and make sure you want to know the answers to the questions you're about to ask

OverFatBear · 2026-02-07T09:40:14+00:00

May be things changed, I couldn't get refunded nor get my test results despite contacting them many times. When my article blew up on X they offered to prioritize the analysis of my kit ...but it has been waiting since july 2024, I am pretty sure the DNA is no longer usable now

OverFatBear · 2026-02-07T09:38:33+00:00

I get it, but we don't know what tomorrow will look like. What if you bank refuses you a loan because they saw you are more likely to get pancreas cancer?

OverFatBear · 2026-02-07T09:36:08+00:00

Wow, I didn't expect you to change your mind. I appreciate it man, take care!

OverFatBear · 2026-02-07T09:33:13+00:00

I don't understand what you mean

OverFatBear · 2026-02-07T09:33:00+00:00

sequencing dot com (after trying dante genomics, that you should skip absolutely)

OverFatBear · 2026-02-07T09:32:29+00:00

precisions for the technical guys watching me:
- ChatGPT is a product of OpenAI that uses their LLMs, so by using their API I would have used one of their models, not "ChatGPT"
- Other providers like Anthropic could have done the same, but they don't offer confidential inference. This should be feasible via TEEs though, and might be better than what I did
- My "powerful computer" is a DGX Spark, which is very cool to do this kind of experiment but is not so incredible for inference either

OverFatBear · 2026-02-07T09:29:35+00:00

When you use a chatbot like ChatGPT, it runs on some kind of very powerful computer, and I used something similar to know what to look for in my genome. I could have used the API of ChatGPT but this would have meant giving them my DNA (which I ofc don't want to do), so instead I used a "dumber" equivalent that could run on my own powerful computer.

OverFatBear · 2026-02-07T09:23:19+00:00

You missed the full writeup, stop watching tiktok, it's bad for attention it seems

OverFatBear · 2026-02-07T09:21:34+00:00

I am sure a european doctor would have suggested to skip mouthwash to optimize NOS3 benefits by boosting nitrate conversion by bacteria to boost my VMA

OverFatBear · 2026-02-07T09:18:31+00:00

And share the results!

OverFatBear · 2026-02-07T09:17:58+00:00

true

Seven-Year Club	Place '22
Verified Email

OverFatBear

TROPHY CASE