Log inSign up
user avatar
Oz
@oznova_
Teaching computer science and trying to make sense of things. Check out csprimer.com and teachyourselfcs.com
Joined November 2007
794
Following
7,449
Followers
RepliesMedia
  • user avatar
    Oz
    @oznova_
    Aug 2
    There are no verifiable/unverifiable "domains" though... Just tasks that are easier or harder to grade
  • user avatar
    Oz
    @oznova_
    Aug 2
    The Michael Abrash trick
    Image
    user avatar
    Miles Cranmer
    @MilesCranmer
    Aug 1
    I was using Codex to find speedup opportunities in PySR. It found a couple % here and there. Then, I gaslit it into believing that Claude found a 20% on my "other machine." I asked it whether it could do better, and explained its performance would be displayed on a "public evals
  • user avatar
    Oz
    @oznova_
    Jul 27
    Homeschooling is starting to feel different. We're still using existing curricula for structure, but can do much more exploratory learning with bespoke software. e.g. here's a polyomino playground whipped up in a few minutes to complement Henri Picciotto's 1994 algebra book
    Image
    00:00
  • user avatar
    Oz
    @oznova_
    Jul 23
    As an experiment in AI-integrated tutorials, I wrote a guide to floating point where you need to explain your understanding as you go
    Image
    00:00
  • user avatar
    Oz
    @oznova_
    Jul 22
    How I would do SWE interviews today: 1 hr of system design on a whiteboard followed by 1-2 hr to implement the design using agents. So e.g. design a distributed web crawler then actually build and run it!