🐦⬛
welcome to ravens' site
🐦⬛
hello, I'm
ravens
. I'm a
"member of technical staff"
for a biglab.
I do a lot of other
random stuff
on the side.
you can find me here:
@_R4V3N5_ on twitter
ravens2d on github
@rvns.moe on bluesky
random
ravens fact
:
ravens got lost in the amazon rainforest as a child
random
epigram
:
the only way out is through
currently reading
:
DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
The Surprising Effectiveness of Negative Reinforcement in LLM Reasoning
Learning to Reason without External Rewards
Machines of Loving Grace
backburner
:
Learn You a Haskell for Great Good!
Category Theory For Programmers
Keeping up with AGI (Google Doc)