sytse
sytse on Hacker News
“Check out all the resources and materials at the Sijbrandij Foundation. Sid (GitLab cofounder) took matters into his own hands when standard of care ran out. Schedule a call with these guys. They are great and have good materials and questions to ask your doctors.”
Thanks for your kind words about FCCT from the Sijbrandij Foundation. We help people look beyond the standard of care for cancer. Calling with them is a free service.
There are lots of waivers but the law prevents you from signing away liability for treatment.
Thanks, I replied to your email.
It wasn’t easy to learn it while dealing with the side effects of chemo. But AI helped a lot, also see the OpenAI forum talked linked on the page. Love BillionToOne, also see
https://osteosarc.com/timeline/ MRD Northstar for my results with it.
Yes, I’ve met many people already. Feel free to reach out if you have questions
[email protected]
Thanks for the warning, I hope that it wasn't a personal experience for you.
Thanks for the compliment about the elaborate design. I think that when you make something for one or a few patients it is easier to be more elaborate, even with the same knowledge and equipment.
Maybe the TCR and BCR-seq was most helpful for mRNA design and effectiveness monitoring, but hopefully someone else on my team will answer that better.
Of course it depends on what they need but please email
[email protected] with a screenshot of this message and we can discuss.
Really appreciate it. I agree the capability is here today. I'm trying to get it to more people so that the learning effects and economies of scale can bring the costs down.
I'm not knowledgable able fibrosis except that my tumor expresses a lot of FAP and it is a workable target for radio and immune drugs.
Certainly hospitals are in the business of minimizing liability while patients would prefer maximum survivability. Those are very different goals.
Thanks for you kinds words, glad to hear you recovered from Peyronies.
Yes, it felt like the universe provided in this case. I invest in my batch mate. We end up becoming best friends, our wifes become best friends. Biotech VCs are afraid click chemistry isn't hot enough. I lead multiple rounds and become the biggest investor and it becomes my biggest investment. The year I get cancer click-chemistry wins a Nobel prize. And I become a patient. Unbelievable.
All of these companies (including the Even One Ventures and Open Core Ventures ones) have CEOs who run them day to day. I try to help with positioning and setting ambitious goals. Y Combinator really opened my eyes to how helpful setting clear and hard to reach goals is.
Doing well. We've not seen the cancer for 10 months (not for lack of trying) and I'm enjoying an international trip for pleasure!
I have a stoic mindset, I try to not care about things that are outside my sphere of influence. While the cancer was unfortunate it was out of my control. Having my YCW15 batchmate step up for me during my initial set of treatments to get me Shasqi opened my eyes that I could help create and take new medicines. It was within my sphere of influence. When I reached the end of standard of care I stepped down from the CEO role of GitLab and pushed to do this for me. While it was hard it was easier than I expected and I created companies to help other patients in the same way (maximum diagnostics and single patient IND pathway).
Thanks for posting this. Happy to answer questions!
In case you're considering moving to GitLab we currently have no plans that I'm aware of to pay from bringing your own runners. Happy to answer any questions.
Sorry but I'm don't know how Kilo autocomplete compares with Supermaven. Maybe someone else does?
BTW For completeness, while we’re still in rollout for existing users autocomplete is default on for all new users already.
At Kilo (VScode plugin, BYOK so works with Claude Pro) we just rolled out autocomplete to 10% of our user base on Friday and we're happy with what we're seeing. The autocomplete is based a Mistal model (Codestral) that is fast and accurate
https://mistral.ai/news/codestral We copied a lot of code from Continue.dev (best open source autocomplete in our view). We plan to roll it out to 100% of our users no later than Tuesday. The autocomplete is consumption priced (no markup) but the cost per month should be low single digit dollars.
The cost improvements are great. If you miss the automation that AWS does for database servers consider using something like
https://www.ubicloud.com/ that is great for PostgreSQL servers. On bare metal these typically also support 5x the number of IOPS without paying through the nose.
The other post went from 0 to 5, people do appreciate it. I'll continue the experiment but under another account.
Thanks for the comment. This was part of my 2 comment experiment to see if ChatGPT summaries would be appreciated. The only other comment
https://news.ycombinator.com/item?id=45477313 got a downvote. So they are not appreciated and I won't post any more.
So California just capped HOA fines at $100 per violation, banned late fees/interest, with a carve-out for health & safety rules (in effect July 1)—tucked into budget trailer AB 130 using language from SB 681. Supporters say it reins in abusive, cascading penalties that have led to liens/foreclosures; HOA boards argue the flat cap weakens deterrence and could push more disputes into court. With ~tens of thousands of HOAs affected and median dues around $278, fines aren’t a big revenue line, but enforcement dynamics could shift.
What’s interesting about this is that it’s a real-world probe of behavioral governance—predictability and due process vs. big-stick deterrence. The “health & safety” carve-out becomes the pressure valve (watch for rule-creep). Expect substitution effects: fewer monetary penalties, more non-monetary remedies or litigation, possibly raising total conflict costs. It’s also a civics lesson in how policy gets made (budget bill jiu-jitsu) and a statewide natural experiment on small, high-frequency penalties. If you design communities (HOAs, forums, OSS), the takeaway is clear, bounded penalties + strong process, with high-stakes carve-outs only.
So the core idea is to use an LLM to draft reasoning as a structured, JSON domain-specific language (DSL), then deterministically translate that into first-order logic and verify it with a theorem prover (Z3).
Interesting that the final answer is provably entailed (or you get a counterexample), instead of being merely persuasive chain-of-thought.