Cole Brown

“i’m sorry, it’s so strange to be on the internet.”

[Cole Brown @dtcb]

@difficultyang Infix apply is prob the thing I miss the most from the days where I was writing Haskell professionally. Truly a treat lol

[Cole Brown @dtcb]

@patdennis Pat this is making me very bullish on your election every day concept

[Cole Brown @dtcb]

@patdennis Large batch size smooths gradients. B=1 is an extremely volatile training regime. Wait

[Cole Brown @dtcb]

@VictorTaelin You’re learning. It’s all good man. Most these ppl are haters and projecting a lot. You already built something great. You’ll figure the rest out, just find some good ppl to help you learn. Investors may even have ideas there. Advisor types.

[Cole Brown @dtcb]

@patdennis Scoop from NYT that NYT may buy Letterboxd lol

[Cole Brown @dtcb]

@patdennis Dear god please will some people actually focus on taking care of the average citizen rather than taking their turn excising pounds of flesh

[Cole Brown @dtcb]

One thing that’s interesting about prediction markets is that they predict the present

[Cole Brown @dtcb]

@hamandcheese Is this a joke that is wooshing me

[Cole Brown @dtcb]

@joelthorst Hell yeah get it 😂

[Cole Brown @dtcb]

@joelthorst Yes that gap is tough. Traditionally handled via extraction - code generation from the prover itself. But I think agents can make this reasonably strong! What’s the application?

[Cole Brown @dtcb]

@joelthorst Yep definitely doable! I was a big fan / minor contributor to Idris 2 at one point. I love that language. Bend is fairly exciting, as is Lean!

[Cole Brown @dtcb]

@patdennis Lol I kind of love this. Startup idea?

[Cole Brown @dtcb]

@joelthorst I’m just dependent types guy generally! Have done some work on formalized software but mostly love it as a programming aid.

[Cole Brown @dtcb]

@ellev3n11 @humansand Schmidhuber did it in 1991 on a toaster

[Cole Brown @dtcb]

@patdennis Eg https://t.co/YcGnUMqleQ

[Σπύρος Η. του Α. @seliopou]

consciousness https://t.co/V0fy2jnEyf

[Cole Brown @dtcb]

@patdennis This is essentially neurosymbolic AI. In many ways coding agents are neurosymbolic systems. I have a feeling we’ll see more stuff rendered into weights.

[Cole Brown @dtcb]

@AlexiGlad Collab with @DimaKrotov? Very excited to read!

[Cole Brown @dtcb]

@damian_b I say this as a watch lover - it is just another niche status game lol

[Cole Brown @dtcb]

@JackMcCloy Everyone who uses GitHub is a masochist. Amongst them, there are developers.