HN user

sytse

12,257 karma

I'm a co-founder and executive chair of GitLab https://about.gitlab.com/ and co-founder of Kilo Code. More information about me is on http://sytse.com/ I'm also a general partner at Open Core Ventures https://opencoreventures.com/ (portfolio companies are listed on the website)

Posts88
Comments3,322
View on HN
blog.kilocode.ai 10mo ago

From Zero to 76.5B: The Grok Code Fast Review

sytse
8pts1
blog.kilocode.ai 12mo ago

Kimi K2: First Open Model to Challenge Claude

sytse
3pts0
blog.kilocode.ai 1y ago

Why Cursor's flat-fee pricing could lead to its downfall

sytse
1pts2
www.kedify.io 2y ago

KEDA's dynamic scheduling fixes Kubernetes long-running workloads

sytse
2pts0
www.kedify.io 2y ago

Kubernetes Autoscaling Showdown – KEDA vs. Vanilla Kubernetes

sytse
3pts0
opencoreventures.com 2y ago

Open core split should be based on features, not on code base

sytse
3pts0
arkavian.com 2y ago

Why George RR Martins’s Generative AI Lawsuit Will Cost Authors Even If They Win

sytse
5pts7
ramatak.com 2y ago

Godot Project Organization Introduction for Unity Refugees

sytse
44pts4
opencoreventures.com 2y ago

HashiCorp switching to BSL shows a need for open charter companies

sytse
189pts183
arkavian.com 2y ago

Why Open Source AI Projects Need a Code of Ethics

sytse
3pts2
goauthentik.io 3y ago

Microsoft has a monopoly on identity, and everyone knows it except the FTC

sytse
4pts0
vitalik.eth.limo 3y ago

The Three Transitions

sytse
2pts0
www.mermaidchart.com 3y ago

Bad documentation is bad for developers

sytse
1pts0
goauthentik.io 3y ago

Monorepos are great! ... for now.

sytse
7pts1
blog.pragmaticengineer.com 3y ago

Uber's Crazy YOLO App Rewrite, from the Front Seat

sytse
2pts0
opencoreventures.com 3y ago

Preventing the bait and switch by open core software companies

sytse
68pts43
launchdarkly.com 3y ago

Why Innovative Software Delivery Starts with Trust and Psychological Safety

sytse
2pts0
www.raspberrypi.com 4y ago

Beowulf Clusters, node visualisation and more with Pi VizuWall

sytse
2pts0
news.ycombinator.com 4y ago

Hacker News Summary Service (HNSS)

sytse
29pts9
googleprojectzero.blogspot.com 5y ago

A Look at iMessage in iOS 14

sytse
1pts0
sites.google.com 5y ago

A MIDI Stage Piano

sytse
1pts0
meltano.com 6y ago

Building Meltano in Public: four weeks into the relaunch

sytse
1pts0
cdk8s.io 6y ago

CDK for Kubernetes

sytse
2pts0
archive.vn 6y ago

Jeffrey Katzenberg Blames Pandemic for Quibi’s Rough Start

sytse
14pts6
www.columnal.xyz 6y ago

Columnal

sytse
1pts0
d7y.io 6y ago

Dragonfly, an Open-Source P2P-Based Image and File Distribution System

sytse
86pts16
stimulusjs.org 6y ago

The Origin of Stimulus Reflex

sytse
4pts0
about.gitlab.com 6y ago

What Tracking Down Missing TCP Keepalives Taught Me About Docker, and Golang

sytse
3pts1
www.ghacks.net 6y ago

Firefox Premium for Enterprises is now available

sytse
5pts1
www.youtube.com 6y ago

GitHub Shipping Continuous Integration (CI)

sytse
3pts0

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.

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.

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).

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.

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.