Valentin Mihov 🦞

CTO @ k3_capital ~ Yield farming and angel investing ~ Crypto multi-cycler. @10b57e6da0 ~ co-founder of @daedalus_angels & @finexify ~ Shadowy super-coder👨‍💻

[Valentin Mihov 🦞 @vmihov]

@realmcore_ It’s fine. We will settle quickly this time

[Valentin Mihov 🦞 @vmihov]

@techsavvytravvy Yeah. Pretty much what we do with human engineers too

[Valentin Mihov 🦞 @vmihov]

This

[Kenton Varda @KentonVarda]

Building software by prompting agents without ever reading or editing the code directly isn't actually a new thing. It's just called being an engineering *manager*. We have decades of experience about how to be effective as engineering managers. It is a different skill, though.

[David Carretta @davcarretta]

Let’s fight for the European way of life.

Just like or repost it to send a clear message to the @ecb

[Valentin Mihov 🦞 @vmihov]

@0x9212ce55 YOLO

[Valentin Mihov 🦞 @vmihov]

This is what I find too. Usually asking questions around the PR is more productive than reading the code entirely.

[Uncle Bob Martin @unclebobmartin]

I’m significantly older than you. I started coding in the late 60s. My current strategy is to not read any of the code written by my agents. That’s the only way I can take advantage of their productivity. What I do instead is to surround the agents with extreme constraints. Unit tests, gherkin tests, QA procedures, quality metrics, mutation testing, test coverage, and a plethora of others. In the end, I have very high confidence in the code they produce because they’ve had to run the gauntlet of all of my constraints and tests.

[Valentin Mihov 🦞 @vmihov]

@MacroMate8 The privilege of having “fuck you” money

[Valentin Mihov 🦞 @vmihov]

@ivanburazin This is what it’s like to grow up being hungry. You learn to sell your time. The growth mindset is a step further. It’s our obligation to teach our kids that. Times are different. The required skills are different.

[Valentin Mihov 🦞 @vmihov]

It’s time to up the game of the DeFi curators 🤓

[K3 Capital @k3_capital]

https://t.co/1JYh7fyz01

[Valentin Mihov 🦞 @vmihov]

Some ppl don’t understand that centering a div might be harder than disproving a 130yo math problem at this point

[Brian Graham 🦬 @iroasmas]

you come to me today, on the day i disprove the jacobian conjecture, and you ask me to center a div

[Valentin Mihov 🦞 @vmihov]

This is the power of taking these LLMs and pointing them in the right direction. Might be a bit far, but it’s still enough. They will relentlessly work towards the goal and finally arrive at the solution. This is the most amazing tech ever made 🤩

[Andy Jiang @davikrehalt]

@littmath @__alpoge__ GPT:
Take π: P¹ × Sym²(P¹) → Sym³(P¹), (p, {q,r}) ↦ {p,q,r}.
R be its ramification divisor;
H ⊂ Sym³(P¹) ≅ P³ be hyperplane tangent but not osculating to the small diagonal;
X := (P¹ × Sym²(P¹)) \ (R ∪ π⁻¹(H)) ≅ A³;
Y := Sym³(P¹) \ H ≅ A³.
π|X: X → Y is counterexample

[Valentin Mihov 🦞 @vmihov]

@ivanburazin Stay hungry, stay foolish

[Valentin Mihov 🦞 @vmihov]

Seems like the US is rediscovering and becoming USSR 🤔

[MTS @MTSlive]

SITUATION BREWING: The Trump administration is considering restricting cutting-edge Chinese AI models, with momentum reviving after the launch of Kimi K3, per Axios.

[Valentin Mihov 🦞 @vmihov]

Ppl are writing history in numeric theory while I am euromaxxing around Greece in a camper van… reflecting on my life decisions at this point 🤔

[Valentin Mihov 🦞 @vmihov]

I would be **really** interested in reading the reasoning log of this session

[levent @__alpoge__]

hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final

((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)

[levent @__alpoge__]

hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final

((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)

[K3 Capital @k3_capital]

Two months ago, we joined @ether_fi on a mission to democratize non-dollar savings on-chain.

Today, we're outperforming traditional Euro money markets by a wide margin.

7.29% net APY. €3.7M TVL. 100% of the yield paid in EURC.

Here's exactly how we do it 🧵

[Valentin Mihov 🦞 @vmihov]

Hmmm. Turns out college might not be a waste of time after all🤔

[ThePrimeagen @ThePrimeagen]

What the fuck is a graph?

[Valentin Mihov 🦞 @vmihov]

@bcherny How many teams have you seen at stage 3 and 4?

[Valentin Mihov 🦞 @vmihov]

This is why kimi being a SOTA model is so great. I am no longer concerned the non-OSS vendors gating us out. The moment they do this, everyone will migrate to other platforms and forget to come back.

[@levelsio @levelsio]

Thanks everyone got OpenCode working with Kimi K3

First I tried OpenRouter but immediately it said "rate limited upstream"

So that upstream being Kimi's servers, so I signed up to Kimi, paid $19, got an API key and off we go!

Unlike Claude Code it doesn't block me every 5 minutes now for just making Windows XP work in the browser (zomg cybersecurity!!!!11), ridiculous being belittled by your AI model all day

Yesterday I asked about monocytes vs lymphocytes ratio in my blood cause I saw someone post it here and Claude started a whole tirade how it's worried about me because I ask him about my health, the actual fuck?