<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="3.10.0">Jekyll</generator><link href="https://hamidah.me/feed.xml" rel="self" type="application/atom+xml" /><link href="https://hamidah.me/" rel="alternate" type="text/html" /><updated>2026-07-02T18:54:38+00:00</updated><id>https://hamidah.me/feed.xml</id><title type="html">Hamidah Oderinwale</title><subtitle>A collection of ramblings that I edit to varying degrees on an ongoing basis.</subtitle><entry><title type="html">Explorations into (LLM) spatial reasoning with design patents</title><link href="https://hamidah.me/blog/spatial-reasoning/" rel="alternate" type="text/html" title="Explorations into (LLM) spatial reasoning with design patents" /><published>2026-06-25T00:00:00+00:00</published><updated>2026-06-25T00:00:00+00:00</updated><id>https://hamidah.me/blog/spatial-reasoning</id><content type="html" xml:base="https://hamidah.me/blog/spatial-reasoning/"><![CDATA[<p>Benchmarking structural reasoning for technical design with US design patent figures. We study structural reasoning in the context of patent and technical design understanding, and contribute several novel task types that benchmark capabilities needed for strong agentic performance in physical design domains. We release a gym environment with design patent figures as states, a DSL action space for composing figures, gradeable spatial reasoning tasks that provide verifiable rewards, and a renderer that turns the DSL into a visual form. Working draft.</p>

<p><a href="/spatial-reasoning/">Read the full piece →</a></p>]]></content><author><name></name></author><summary type="html"><![CDATA[Benchmarking structural reasoning for technical design with US design patent figures. We study structural reasoning in the context of patent and technical design understanding, and contribute several novel task types that benchmark capabilities needed for strong agentic performance in physical design domains. We release a gym environment with design patent figures as states, a DSL action space for composing figures, gradeable spatial reasoning tasks that provide verifiable rewards, and a renderer that turns the DSL into a visual form. Working draft.]]></summary></entry><entry><title type="html">ProcGrep</title><link href="https://hamidah.me/blog/procgrep/" rel="alternate" type="text/html" title="ProcGrep" /><published>2026-06-11T00:00:00+00:00</published><updated>2026-06-11T00:00:00+00:00</updated><id>https://hamidah.me/blog/procgrep</id><content type="html" xml:base="https://hamidah.me/blog/procgrep/"><![CDATA[<p>Agent trajectories as programs. Benchmark scores tell you what an agent got right; they do not tell you how it got there. We introduce methods for comparing agents procedurally, and find that ten agents are identifiable by their behavioral habits, which we define as fingerprints. ProcGrep is a library for auditing and evaluating agents for how they approach tasks at a procedural level given their traces.</p>

<p><a href="/procgrep/">Read the full piece →</a></p>]]></content><author><name></name></author><summary type="html"><![CDATA[Agent trajectories as programs. Benchmark scores tell you what an agent got right; they do not tell you how it got there. We introduce methods for comparing agents procedurally, and find that ten agents are identifiable by their behavioral habits, which we define as fingerprints. ProcGrep is a library for auditing and evaluating agents for how they approach tasks at a procedural level given their traces.]]></summary></entry><entry><title type="html">To my blog</title><link href="https://hamidah.me/blog/to-my-blog/" rel="alternate" type="text/html" title="To my blog" /><published>2025-12-30T00:00:00+00:00</published><updated>2025-12-30T00:00:00+00:00</updated><id>https://hamidah.me/blog/to-my-blog</id><content type="html" xml:base="https://hamidah.me/blog/to-my-blog/"><![CDATA[<p>My blog is around three years old. I’ll count the purchase of this domain as its birth date.</p>

<p>‘Working in public’ is a phrase I hear often and it’s synonymous with the ‘builder.’ But I like having a blog because it allows me to think in public. I think it’s an investment of compounding gains that takes very little investment. I implore everyone to start one!</p>

<p>This year I didn’t write as much on mine. I’ve never had it as a strict obligation but although I think journalling has a similar effect, I did find that the growing optionality of writing here a factor in ‘thinking less.’</p>

<p>Consolidation is very powerful. In some ways, it’s the preservation of trains of thought as relics of fascination. It’s the sharpening of mental motions into clarity. A kind of clarity that is the melding of intuition, reflection, and personal narrative-making: an introspective philosophy. I think the kind of clarity that is the basis of action comes from another form of writing that I don’t do here.</p>

<p>While I did write a fair amount this year through other outlets, the audience of all those writings weren’t me. I think this makes a big difference in how much they benefited my own mind as a result. For that reason, I think having a blog can and should be a selfish act for most. I think having a Substack where I write spirited essays about my subjects of study would be very fun, but it wouldn’t be a blog in the conception of one that I have in mind. That said, starting one would be interesting.</p>

<p>It was in spring 2022 when a friend and I spoke about starting our own. He had already written a few and I had none. I thought to myself why would I start my own? No one would read it. I did anyway. First, you make the front page and you’re tasked with coming up with a little blurb about yourself. What do you do? That’s a good question to ask. I remember this used to be a list of fleeting topics of interest. Now, it’s more a list of places I’ve worked. Neither is better than the other I think. I’m still working on my introductions.</p>

<p>Fun fact: I’ve had a website for a while, but the other one was made by my dad. I’d write bad essays about the political and economic state of the world on it and then send it to him to upload it. I’d later learn basic web development and figure out Github pages which marked my digital sovereignty.</p>

<p>I got my first official internship at a small local magazine with it. The founder told me that it was the main reason I was hired. I was also a terrible employee. At the time, Ramadan meant staying up until the crack of dawn which meant that I was half awake for the calls we had.</p>

<p>Anyway, the blog was never about other people and yet it’s paid major dividends. It’s most definitely not a design portfolio but I find the weird, kinda ugly, Y2K aesthetic kind of charming. It feels like an ode to my young self that this exists so I hope it continues to.</p>]]></content><author><name></name></author><summary type="html"><![CDATA[My blog is around three years old. I’ll count the purchase of this domain as its birth date.]]></summary></entry><entry><title type="html">(Researched) Advice I Like</title><link href="https://hamidah.me/blog/advice-i-like/" rel="alternate" type="text/html" title="(Researched) Advice I Like" /><published>2025-12-23T00:00:00+00:00</published><updated>2025-12-23T00:00:00+00:00</updated><id>https://hamidah.me/blog/advice-i-like</id><content type="html" xml:base="https://hamidah.me/blog/advice-i-like/"><![CDATA[<p><em>As with most things on this site, this is a work in progress.</em></p>

<p>One great thing about the internet is that advice is ample. While I think directly talking to someone you’ve reached out to is valuable, there is a lot to gain from seeking out expert opinion in the wild. This year, I spent a lot of time gaining exposure to research. Research encompasses a broad spectrum of activities, but in my infancy pursuing it, I would define it as the pursuit of understanding as a tool. And I think this pursuit is very cool.</p>

<p>Journalists seek to understand, and their goal is to communicate that understanding to the public. The engineer seeks to understand, so that they can tinker, fix, and build—often for the public. The (academic) researcher seeks to understand, so that they can build new tools of thought that others can extend upon.</p>

<p>That said, it’s been hard to decompose what it means to do research, how to do it well, and assume the traits of a good researcher. Furthermore, what does “good” even mean?</p>

<p>I think a good researcher is one who has their audience in mind, but I think tending to said audience can feel paralyzing. I think good research doesn’t have to stem from curiosity or “first-principles” but that being a good researcher means valuing both. I also think the best researchers have very top-down research agendas. Faculty positions will ask candidates to present <a href="https://mitcommlab.mit.edu/eecs/wp-content/uploads/sites/6/2021/09/Elena-Glassman-research-statement-annotated.pdf">research statements</a>, which can be taken as an expression of your interests and a cover letter of past experiences but in reality read more as expressions of your research taste. Naively, I think the best of them, articulate a narrative about world order, a theory of change coupled with motivations for why that change is needed, and a set of mediums and modes for executing on that change.</p>

<p>Most concretely, some things I have learnt for myself are:</p>

<p>1) The best information is feedback. Even if you are doing theory, the practice of decomposing ideas into testable tasks is a) an exertion of skill that I’m trying to develop and b) a means of scoping out wishy-washy thoughts into ideas and then contributions.</p>

<p>2) Using AI is a personal choice, and it’s important you define your own criteria for what and when it’s useful (on a project-by-project basis). I am very liberal in how I use it, but a general policy is to offload tasks that are not integral to the skills I’m trying to learn. For one, I think human verification is what makes you able to qualify and claim whatever you’re putting out into the world and it’s easier to do this when you’re capable of performing the task yourself or you’ve done the task yourself and can thus replicate and explain it. AI is a collaborator and in the same way you should have a grasp of everything a human co-author contributes to your work, you should be able to do the same for an LLM.</p>

<p>3) I’m getting used to the fact that things are very fuzzy until a draft is being written. I’m still figuring out how to classify the projects I’ve been working on, but I think a good number have their contributions wrapped up in the presentation of data or concepts. And therefore, the methods developed at this stage are the most novel. This also means that it’s a bigger question of articulating the curiosity than “solving the problem” itself. In hindsight, this is very harmonious with my definition of what research is, but there are other kinds that inject novelty at different stages of the evolution of an exploration.</p>

<p>Anyways, this is just a list of writings I like. So here they are:</p>

<ul>
  <li><a href="https://www.cs.utexas.edu/~dahlin/advice.html">“Advice to systems researchers” (A collection of links from Mike Dahlin)</a></li>
  <li><a href="https://www.hyperdimensional.co/p/how-i-work">“How I Work” by Dean Ball</a></li>
  <li><a href="https://james.grimmelmann.net/files/advice-junior-scholars">“Advice for Junior Scholars”</a></li>
  <li><a href="https://www.alignmentforum.org/posts/dZFpEdKyb9Bf4xYn7/tips-for-empirical-alignment-research">“Tips for Empirical Alignment Research”</a></li>
  <li><a href="https://gargnikhil.com/Blog/">“Nikhil Garg’s Blog”</a></li>
  <li><a href="https://terrytao.wordpress.com/advice-on-writing-papers/">“On Writing” by Terence Tao</a></li>
  <li><a href="https://elicit.com/blog/career-growth/">“Elicit on Career Growth”</a></li>
  <li><a href="https://medium.com/@bskdany/the-easiest-way-to-access-data-is-one-you-dont-know-about-db0893796668">“The  easiest way to access data is the one you don’t know about”: backdooring the web by Daniel Byshkin</a></li>
  <li><a href="https://tomsilver.github.io/blog/2024/lessons/">“Lessons from My First 8 Years of Research” by Tom Silver</a></li>
  <li><a href="https://togelius.blogspot.com/2016/04/the-differences-between-tinkering-and.html">“The differences between tinkering and research” by Julian Togelius</a></li>
  <li><a href="https://topos.institute/blog/2025-04-04-scalable-distillations-for-research/">On “Distilling Research at Scale” by myself (cheeky self-promo)</a></li>
</ul>]]></content><author><name></name></author><summary type="html"><![CDATA[As with most things on this site, this is a work in progress.]]></summary></entry><entry><title type="html">On Doing Research</title><link href="https://hamidah.me/blog/ondoingresearch/" rel="alternate" type="text/html" title="On Doing Research" /><published>2025-05-31T00:00:00+00:00</published><updated>2025-05-31T00:00:00+00:00</updated><id>https://hamidah.me/blog/ondoingresearch</id><content type="html" xml:base="https://hamidah.me/blog/ondoingresearch/"><![CDATA[<p>We’re in an age where making datasets is much easier. The tools are better, the data is more accessible, and the barriers to entry have never been lower. But easier access to data doesn’t automatically translate to meaningful research—it just changes the game.</p>

<h2 id="impact-statements-and-research-taste">Impact Statements and Research Taste</h2>

<p>Making a research agenda is very good, but one thing I’m trying to get better at is <span class="highlight">formulating impact statements</span>. Given your novel contribution, what do you expect to change? I think it’s possible to come up with empirical results and publish them without clarifying this to yourself, but it’s much more fruitful if you can clearly specify what it is that you care about.</p>

<p>It’s a good practice in asserting your judgments. Then, depending on what happens in the world, you can get feedback on your intuitions and overall grow as someone who is trying to build their research taste. This feedback loop is essential—it’s how you develop the ability to distinguish between work that matters and work that simply fills pages.</p>

<h2 id="finding-your-research-identity">Finding Your Research Identity</h2>

<p>I guess with my affinity for writing literature reviews, I’m able to say I enjoy the empirical analyses type of work. Knowing which area of work you’re interested in producing lays some basis for the type of insight you should expect to produce. Of course, don’t let this stymie the contributions you could make.</p>

<p>Along these axes, there’s then a number of contributions I could make for a given work:</p>

<ul>
  <li>I could try and come up with a novel dataset (structure unstructured data from neglected sources)</li>
  <li>I could draw some connection between parameters that people hadn’t considered (backing this up of course)</li>
  <li>I could also validate (or disprove) theoretical conclusions with real-world evidence (e.g. Epoch’s work on the Chinchilla paper)</li>
</ul>

<h2 id="the-ra-trap-and-escape-route">The RA Trap and Escape Route</h2>

<p>I do think being an RA is valuable, especially if you’re interested in the broader appeal of research. It’s also a good environment for getting a sense of the literature, especially since most of your tasks will involve reading and synthesizing it. I think it’s a decent opportunity to see what it looks like to come up with ideas and so on.</p>

<p>But it can definitely be a trap.</p>

<p>Here, I think there was an internal readjustment to orienting myself around thinking I could come up with new, important ideas. Then, it was important to test and transmit these ideas. Once you’ve developed some notion of subject-level interest, start reading the papers in a different manner: pay attention to their future work and directions that authors outline, come up with hypotheses (grapple with questions at a gears-level, that is, assert claims and intuit in what ways they may be true). Next, write these down.</p>

<p>Once you’re here, now it’s a great time to find mentorship. I think I’m at the point where having someone to help refine projects and plans, advise on writing papers is really nice and very valuable. Since you’ve done a lot of the heavy-lifting, the people you reach out to go from advice-givers to potential collaborators and advisors.</p>

<p>This is an environment where I think you can grow a lot and build fruitful mentorship. Don’t be afraid to sandbox ideas and perhaps my biggest regret is not speaking ideas into existence sooner. I think the biggest gap is going from the ideas in your mind to a workable project, and this is where a forgiving mentor who gives you direction while you explore helps a ton.</p>

<h2 id="the-value-of-tedium-in-an-automated-world">The Value of Tedium in an Automated World</h2>

<p>What is the value of tedium? What will change if we automate a considerable amount of mathematics and other fields? For example: what is the value of doing your own literature reviews, sketching your own proofs, and so on?</p>

<p>These tools can uniquely formalize a proof written on pen-and-paper, but we could head into a world where these sketches are generated by LLMs and then compiled into Lean or another formal, machine-readable representation. This makes me think of the 3-D representations with John Baez and something like could you formalize a 3-D, physical, functional, simulated representation of the world through your real-world model.</p>

<p>It’s more a vessel for people in other fields who already use math as a way of formalizing their domain-specific models and having an extension of that. For example, the economist wouldn’t have to solve for the integral by hand.</p>

<div class="quote">
    But we lose some essence of science once we start brute-forcing and if we completely abstract away human input.
</div>

<p>The tedium isn’t just busywork—it’s where intuition develops, where you build the tacit knowledge that lets you spot patterns and anomalies that automated systems might miss. The question isn’t whether we can automate these processes, but whether we should, and what we lose in translation when we do.</p>]]></content><author><name></name></author><summary type="html"><![CDATA[We’re in an age where making datasets is much easier. The tools are better, the data is more accessible, and the barriers to entry have never been lower. But easier access to data doesn’t automatically translate to meaningful research—it just changes the game.]]></summary></entry><entry><title type="html">Representation as Stack</title><link href="https://hamidah.me/blog/representationasstack/" rel="alternate" type="text/html" title="Representation as Stack" /><published>2025-04-30T00:00:00+00:00</published><updated>2025-04-30T00:00:00+00:00</updated><id>https://hamidah.me/blog/representationasstack</id><content type="html" xml:base="https://hamidah.me/blog/representationasstack/"><![CDATA[<p>Here, I’m presenting an instance of vibes-research. The process is basically me asking an LLM questions the way you would in any chat, but I’d like to think that the distinguishing feature of “vibes-research” — compared to a normal Q&amp;A — is that there’s some train of thought behind it.</p>

<p>The conversation started with me wondering what happens when underlying architectures, tools, and paradigms change — what happens to researchers and fields that depend on them? My motivation was to understand: are incumbent fields rendered useless by new approaches?</p>

<p><a href="https://en.wikipedia.org/wiki/Sepp_Hochreiter">Sepp Hochreiter</a> and <a href="https://en.wikipedia.org/wiki/J%C3%BCrgen_Schmidhuber">Jürgen Schmidhuber</a> came up with the <a href="https://www.bioinf.jku.at/publications/older/2604.pdf">LSTM</a> (Long Short-Term Memory) in 1997. Going through Schmidhuber’s site and Google Scholar, it looks like he still publishes a very fair amount. His work now covers newer work like <a href="https://arxiv.org/abs/2405.17283">autoencoders</a>, empirical research with “productified” models like GPT-4o, and architectures like Transformers.</p>

<p>ChatGPT responded correctly, saying that those with broad, conceptual knowledge often adapt. They understand new methods and continue to make advancements. Furthermore, it’s safe to say that LSTMs were an inspiration for their successors.</p>

<p>Anyway, I don’t think LSTMs were the best test-bed for my initial question. You know what really changed the game? Vectors — or rather, tensors. In some sense, we got a new vector when the tensor came around. Tensors have been around since 1898, but for machine learning, they really solidified themselves as the core representation in the early 2000s — which isn’t that long ago.</p>

<p>In 2009, Sutskever proposed <a href="https://papers.nips.cc/paper_files/paper/2009/hash/5705e1164a8394aace6018e27d20d237-Abstract.html">Bayesian Clustered Tensor Factorization</a> to model relational concepts while reducing the parameter space, and it was CNNs that really adopted tensors as the core representation for data in neural networks. Thus, future architectures took the tensor as their default representation.</p>

<p>That said, the uprooting of old paradigms for new ones might be especially interesting to study at the level of representation — specifically, how human-readable data is encoded. ChatGPT helped me intuit the current stack of representation, which, in today’s paradigm, can be summarized fairly clearly. (The ubiquity of Python is another interesting piece to look at.)</p>

<p>Even static typing isn’t really used in ML. I’ve heard of ‘RustTorch’ (or HuggingFace’s <a href="https://github.com/huggingface/candle">Candle</a>) and HaskTorch projects, but I imagine the language will follow the representation — and typing alone won’t be enough to trigger a switch. Furthermore, if you’re quantizing, then you want dynamism and variance. In that case, the goal is more type tracking (for precision, etc.) rather than traditional type-checking.</p>

<p>That said, ChatGPT then raised an interesting case where you have an “extended type system might look like in future ML — for example, a type that tracks not just “float32” but also “quantized from float32 with ±3% error”?”</p>

<blockquote>
  <p><strong>How would <em>new representations</em> (beyond tensors) change the <em>stack</em> — and what does that mean for <em>how people program</em>?</strong></p>
</blockquote>

<h3 id="how-programming-will-change">How programming will change</h3>

<blockquote>
  <p><strong>Today:</strong></p>
  <ul>
    <li>Programming ML = declaring tensor operations.</li>
    <li>You think in terms of <strong>arrays</strong> and <strong>functions</strong> on arrays.</li>
  </ul>

  <p><strong>Future (with new representations):</strong></p>
  <ul>
    <li>Programming ML = declaring <strong>local behaviors</strong>, <strong>graph rewrites</strong>, <strong>procedures attached to data</strong>.</li>
    <li>You think in terms of <strong>local programs</strong>, <strong>flows</strong>, <strong>patches</strong>, and <strong>dynamical systems</strong> — not just tensors.</li>
  </ul>

  <p><strong>Programmers might have to:</strong></p>
  <ul>
    <li>Specify <strong>local transformations</strong> rather than just matrix ops.</li>
    <li>Deal with <strong>irregular structures</strong> much more naturally.</li>
    <li>Rely on <strong>higher-level declarative specifications</strong> (“this space should be smooth”, “this patch interacts with that one”) and let compilers figure out efficient execution.</li>
  </ul>
</blockquote>

<p>Initially, it suggested that given the current stack, at the language-layer we would just see Python with specs for new representations.</p>

<p>I then asked how programming languages might change.</p>

<table>
  <thead>
    <tr>
      <th>Path</th>
      <th>What Changes</th>
      <th>Example</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><strong>Python Evolution</strong></td>
      <td>Python is <em>augmented</em> with new types and compilers that reinterpret your code.</td>
      <td>Like <strong>Triton</strong> and <strong>Mojo</strong>: still Python-looking, but compiles to efficient IR and machine code.</td>
    </tr>
    <tr>
      <td><strong>New DSLs</strong> (Domain-Specific Languages)</td>
      <td>Specialized new languages designed for structure-first ML.</td>
      <td>Like <strong>DiffTaichi</strong> for physics simulation; you describe computations differently.</td>
    </tr>
    <tr>
      <td><strong>Fully New Languages</strong></td>
      <td>Radical new designs for “composable dynamic systems” — replacing tensor-first thinking entirely.</td>
      <td>No real-world examples yet at scale, but <strong>Metaprogramming Graph DSLs</strong> and <strong>functorial ML</strong> research points here.</td>
    </tr>
  </tbody>
</table>

<blockquote>
  <p>The <em>language</em> might still look like Python for a while, but <strong>the mental model you need to have changes massively</strong>.</p>
</blockquote>

<h3 id="takeaways">Takeaways:</h3>

<p>I think this would serve as a decent basis to actually begin the research. I could imagine asking ChatGPT to conceptualize a new representation stack for the future, but given this, it would probably be too broad in scope. Your new representation stack should be grounded in some real-world motivation — for example, observing the needs of a robotics planner. Then, you would need to find a way to measure efficacy, and so on. ChatGPT could probably assist well with these steps too.</p>

<p>However, the <em>last mile</em> — intuiting how something would actually be used in the real world and polishing it into a usable product — is what I find takes the most time in any project. That said, I’m fairly sure that coming up with something like the above using only a search engine, or by going through textbooks and papers the traditional way, would have taken much longer.</p>

<p>Deciding that this was a path worth pursuing could be attributed to some form of “expertise.” Economists studying LLMs and research claim that this is why we haven’t yet “recursed into intellectual Narnia”: fitting concepts together remains the hard — and interesting — part. Still, it was nice to quickly get broad sweeps of existing fields without having to do tedious library work.</p>

<p>Like Schmidhuber, I think a major benefit of LLMs is how they can make research more enjoyable, helping eliminate a good fraction of the annoying parts. On the flip side, it seems plausible that more junior researchers like myself don’t always “pay our dues” — we do fewer reps, we get lazy. We gloss over the finer-grained patterns of the world and of our fields, ask “worse” questions, and form “worse” hypotheses. We risk operating at a level of abstraction too high to make truly meaningful theoretical progress.</p>

<p>That said, I’m not sure Vaswani et al. needed to know how to write a device driver from scratch to develop their work. But if they did, I’m curious what kind of tacit learning influenced their work.</p>]]></content><author><name></name></author><summary type="html"><![CDATA[Here, I’m presenting an instance of vibes-research. The process is basically me asking an LLM questions the way you would in any chat, but I’d like to think that the distinguishing feature of “vibes-research” — compared to a normal Q&amp;A — is that there’s some train of thought behind it.]]></summary></entry><entry><title type="html">On Doing Anything (Why Free Will is a Value)</title><link href="https://hamidah.me/blog/free/" rel="alternate" type="text/html" title="On Doing Anything (Why Free Will is a Value)" /><published>2025-04-19T00:00:00+00:00</published><updated>2025-04-19T00:00:00+00:00</updated><id>https://hamidah.me/blog/free</id><content type="html" xml:base="https://hamidah.me/blog/free/"><![CDATA[<p>I’m writing this post to ground myself in what I care about. The last few months have been interesting. A familiar feeling that’s come to the fore has been a quiet anxiousness that blooms in anticipation. I’m aware I’m in a bubble. Many of my friends—who I wasn’t particularly close to until this winter—have left their respective schools and taken gap terms. I suspect that many of them won’t return.</p>

<p>From conversations and assumptions, I gather they left either to make money, work on problems they felt were urgent, or because college felt unfulfilling or diminishing in return. All of these reasons resonate with me. Frankly, I left for a combination of medical reasons and, after my summer internship, not being in the right headspace to be in school. For those who ask why I didn’t apply for a transfer—this is why.</p>

<p>Over the past year, I’ve been fortunate to participate in opportunities that have helped me grow and feel cared for. With the spaciousness that being out of school provides, I tried to explore who I was. I forgot that being out of school isn’t a designation—people live and work in many ways as adults. I’m writing this because I think I’ve become consumed by expectations.</p>

<p>I value exploration, and this chapter has been about figuring out my purpose and how to orient myself to life. I believe that much of the intrinsic goodness in the world comes from our ability to make something of it. When external forces infringe on that ability, I think they’re culpable.</p>

<p>I’ll never get my twenties back—and I’m turning 20 next month.</p>

<p><a href="https://patrickcollison.com/advice">Patrick Collison</a> once wrote something I read at 17: that you shouldn’t judge your success relative to your peers. I think that still rings true. I’m a little weird relative to them, and that’s okay.</p>

<p>I’ve tried to go deep into different things. Most notably, I learned how to get comfortable with the terminal and the code editor. I also learned to enjoy writing—to express my thoughts—and, outside of this blog, to make those words more pointed and rooted in provoking ideas.</p>

<p>Domain-wise, I found a niche in policy and governance that I could speak to, albeit as a novice. I’ve grown fond of infrastructure—libraries and databases. Economics is a subject I thought I’d be good at, but I now spend little time with it. Still, I can navigate a wiki and reference the basics. Maybe I have some intuition.</p>

<p>Lately, I’ve felt out of breath. And when you’re catching your breath, it’s interesting how your body doesn’t do the most efficient things. Your lungs fill sharply in short intervals, your chest tightens, and your mind spirals into thinking you’ll never get enough air. You’re jailed in a loop of shallow breaths, and you forget to breathe. I feel like I’ve forgotten to breathe, but I’m trying to remember.</p>

<p>In responsibility, in events, in a world that feels out of control—it’s nice to feel like you have your breath and your pace. In reckoning with my values, I’ve become more confident that I care about space, choice, and the ability to act on what matters to me. I think I let that slip. This blog is a reminder to get it back.</p>]]></content><author><name></name></author><summary type="html"><![CDATA[I’m writing this post to ground myself in what I care about. The last few months have been interesting. A familiar feeling that’s come to the fore has been a quiet anxiousness that blooms in anticipation. I’m aware I’m in a bubble. Many of my friends—who I wasn’t particularly close to until this winter—have left their respective schools and taken gap terms. I suspect that many of them won’t return.]]></summary></entry><entry><title type="html">A Month in Questions</title><link href="https://hamidah.me/blog/amonthinquestions/" rel="alternate" type="text/html" title="A Month in Questions" /><published>2025-03-30T00:00:00+00:00</published><updated>2025-03-30T00:00:00+00:00</updated><id>https://hamidah.me/blog/amonthinquestions</id><content type="html" xml:base="https://hamidah.me/blog/amonthinquestions/"><![CDATA[<p>I’ve been using Remnote consistently for the past couple of months and I like it a lot. One of my favourite features is the “daily note.” Everyday, I get a new section dedicated to the day and it will normally be populated with new words that I’d learned, links and resources that I’d come across, and a to-do list. I will also put questions that come up as I went through my day and perhaps a summary of the main events. I think a good number of these bullet points could be expanded into a full blog post; instead, however, I’m going to feed the notes from the past month into ChatGPT and get a list of questions inspired by them. I hope this can be an artifact of my curiosities.</p>

<p>Note: I didn’t edit these questions after they were generated. Upon reading these questions, I find a lot of them pretty fluffy, but alas it took a minute max.</p>

<h2 id="ai-models-and-representations">AI, Models, and Representations</h2>

<ul>
  <li>What does it mean to “version” not just code, but the thought process that went into it?</li>
  <li>Could Datalog help us understand how LLMs encode and organize knowledge?</li>
  <li>How can we represent spatial and temporal knowledge in model embeddings more transparently?</li>
  <li>What is the role of diagrammatic reasoning in mechanistic interpretability?</li>
  <li>What would a declarative interface for inspecting model representations look like?</li>
</ul>

<h2 id="research-practice-and-knowledge-production">Research Practice and Knowledge Production</h2>

<ul>
  <li>Why are survey papers so undervalued despite their high utility?</li>
  <li>What would a better “testbed” look like for theoretical ideas?</li>
  <li>How do you measure the value of research beyond citations—perhaps by its inspirational power?</li>
  <li>Could research change more if dissemination models changed? (e.g., new patronage, collaborative distillation)</li>
  <li>What models of citation make sense in the era of training data aggregators and generative AI?</li>
</ul>

<h2 id="systems-semantics-and-programming">Systems, Semantics, and Programming</h2>

<ul>
  <li>How do gradual static types balance expressiveness and safety?</li>
  <li>What could a type system for CRDT-based declarative visual languages enable?</li>
  <li>What would an IDE for building “agentic datasets” look like?</li>
  <li>How can we define the “schema” of a model’s outputs for debugging and downstream tasks?</li>
  <li>Can a visual diff system make GitHub more understandable for non-programmers?</li>
</ul>

<h2 id="institutions-infrastructure-and-openness">Institutions, Infrastructure, and Openness</h2>

<ul>
  <li>Why wasn’t Dwarkesh’s book written using the tooling he often advocates for?</li>
  <li>What institutional infrastructure supports sustained, high-quality distillation (like Distill.pub)?</li>
  <li>Could LLM companies fund data libraries and citation repositories like Wikipedia?</li>
  <li>What would it look like if open-source thinking extended beyond code—into research workflows, testbeds, and policy ideas?</li>
  <li>Could libraries be reimagined as interfaces for analogical thinking and cross-domain discovery?</li>
</ul>

<h2 id="economics-and-social-thought">Economics and Social Thought</h2>

<ul>
  <li>Are markets efficient if they aren’t time-aware? What’s the temporal resolution of an efficient market?</li>
  <li>Is taste a kind of arbitrage?</li>
  <li>What are the limits of the behavioral economics approach to systemic problems?</li>
  <li>Why do people donate to research non-profits? What motivates sustained funding without a clear ROI?</li>
  <li>How do information economics principles apply to generative environments?</li>
</ul>

<h2 id="workflow-expression-and-pedagogy">Workflow, Expression, and Pedagogy</h2>

<ul>
  <li>What does a “working-in-public” research workflow look like in practice?</li>
  <li>How do you write for translators—people who span fields and need to “carry” your work?</li>
  <li>What does teaching look like when it’s reframed as an act of explaining <em>why</em> something matters?</li>
  <li>How do we track and version procedural knowledge over time?</li>
  <li>Could tests be treated like APIs: contracts that define the interface of your reasoning?</li>
</ul>]]></content><author><name></name></author><summary type="html"><![CDATA[I’ve been using Remnote consistently for the past couple of months and I like it a lot. One of my favourite features is the “daily note.” Everyday, I get a new section dedicated to the day and it will normally be populated with new words that I’d learned, links and resources that I’d come across, and a to-do list. I will also put questions that come up as I went through my day and perhaps a summary of the main events. I think a good number of these bullet points could be expanded into a full blog post; instead, however, I’m going to feed the notes from the past month into ChatGPT and get a list of questions inspired by them. I hope this can be an artifact of my curiosities.]]></summary></entry><entry><title type="html">Trying to Understand (Double) Categorical Systems Theory</title><link href="https://hamidah.me/blog/dcst/" rel="alternate" type="text/html" title="Trying to Understand (Double) Categorical Systems Theory" /><published>2025-03-25T00:00:00+00:00</published><updated>2025-03-25T00:00:00+00:00</updated><id>https://hamidah.me/blog/dcst</id><content type="html" xml:base="https://hamidah.me/blog/dcst/"><![CDATA[<p>Today, I was the test subject of an exercise to clearly explain categorical systems theory and double categorical systems theory. I was presented with a single clause and could “double click” any phrase, that is, ask a question regarding any phrase to try and understand what was going on.</p>

<p>It was super useful and I started of by asking definition-type questions and then later asking for clarity on the assumptions that I’d made as the activity went on. I think learning how to think, write, and talk clearly about your work is very important. In fact, it’s at the root of building knowledge and disseminating it—what any researcher aims to do.</p>

<p><em>The following is the outcome of the activity: a summary of the concepts I’d learned.</em></p>

<p>We make simulations to represent complex systems. Representing systems simulationally is useful because we can interact with them in a lower-dimensional way. Simply sharing an exact-copy replica doesn’t mean that you’re sharing the right things. Categorical systems theory is a way of simulating systems with grammar. This means that if I know the grammar I can 1)  rebuild the original state of the system (which is valuable to be able to do) from the lower-dim model, and 2) can understand any system that uses the grammar. Just like in natural language, you can combine thoughts into new ideas, you can do the same thing with models and thereby build new systems and worlds (which is great).</p>

<p>CST is a theory with two variants: one is operadic, where you model a system by capturing the whole state and can show how the state is different by looking at the graphical differences in the different captures; the second is procedural, where you model a system by capturing the transformations of the objects within it. These two variants convey different information, and each would reconstruct the original state differently.</p>

<p>DCST unifies the two variants into a harmonized grammar that can generalize to more simulations and helps us reconstruct original states with more confidence (as there’s a single grammar that we could add to a manual to then refer to).</p>]]></content><author><name></name></author><summary type="html"><![CDATA[Today, I was the test subject of an exercise to clearly explain categorical systems theory and double categorical systems theory. I was presented with a single clause and could “double click” any phrase, that is, ask a question regarding any phrase to try and understand what was going on.]]></summary></entry><entry><title type="html">Notes on Consilience</title><link href="https://hamidah.me/blog/consilience/" rel="alternate" type="text/html" title="Notes on Consilience" /><published>2025-02-17T00:00:00+00:00</published><updated>2025-02-17T00:00:00+00:00</updated><id>https://hamidah.me/blog/consilience</id><content type="html" xml:base="https://hamidah.me/blog/consilience/"><![CDATA[<p>Recently I ‘finished’ reading <em>Consilience: The Unity of Knowledge</em> by E.O. Wilson and here are my notes.</p>

<p>A few months back when I set out to really get started, a friend asked what I was reading, and I told him this book. At first glance, he thought it was pretty fluffy. I agreed at the time. Now, I would disagree — pretty strongly so. Published in 1998, his accurate predictions give him authority, and that aside, his claims resonate and the research he includes is dense but grounding. For example, he acknowledges the power of protein structure prediction but suggests that it will be solved. Of course, today DeepMind’s AlphaFold is well-known and capable. But he also awaits predictive models for environmental science. He claims that it’s harder — cells and proteins are much more deterministic than entities and organisms. And indeed, we’ve yet to crack that puzzle.</p>

<p>The meat of the book dives into his tranches of knowledge, including the natural sciences, the mind, genes and culture, the social sciences, ethics, and religion. He commends them for their progress since inception but ends each chapter questioning how they can be better.</p>

<p>He spends much of his time explaining how disciplines can improve on the basis of how strong their models are. For the most part, these models are assessed on their accuracy and their generalizability. But you’re still left asking: so what? At the end, though, you gain clarity that models are the only means in which we can reason about the world. Models are consilience.</p>

<p>He mentions how, with evolution, will come conservatism. The kind of conservatism that implies a narrow perspective and narrower trajectory. We’ll remedy our ailments with the new treatments we work to discover, we’ll fix our man-made problems with man-made technology. Perhaps it is that simple but he calls us to pay attention to the human ethic.</p>

<p>A core focus of this book is explaining how subscribing to monoliths as a scientist is stifling. A question, though, that arises while reading this book, is why? Why venture into other fields when you have your own? Well, I believe Wilson is motivated by being able to understand specific complex systems (p. 93), and doing so simply requires being able to point to different fields.</p>

<p>He touches on religion and ethics very beautifully and states that “Science faces in ethics and religion its most interesting and possibly humbling challenge. […] Religion will possess strength to the extent that it codifies and puts into enduring, poetic form the highest values of humanity consistent with empirical knowledge.”</p>

<p>In the <em>Natural Sciences</em> chapter (p. 53), he writes that “the theory that unites […] basic phenomena is an interlocking set of graphical representations and equations.” Here, he refers to ‘quantum electrodynamics (Q.E.D.)’ to describe the wave-particle duality (Louis de Broglie (1924)).</p>

<p>He also gives his takes on the nature of theory. He satisfyingly writes that complexity without reduction is art, and complexity with reduction is science (The <em>Natural Sciences</em>, p. 59). As I interpret this, dimensionality reduction — figuring out how to do it — is an act of rigor. Dimensionality reduction is seeking signal in the noise: it’s how we engineer understanding. And to engineer understanding is to do science.</p>

<p>While he does condemn computational theorists to some degree — those who make themselves victims to combinatorial explosition by simulation — Wilson writes about the value of theory (p. 56). In fact, he claims that science is nothing without theory. To theorize is to narrate. And to build a theory either from scratch or to build someone else’s is a way of reconstructing the system — to tell the story again.</p>

<h2 id="select-quotes">Select Quotes</h2>

<blockquote>
  <p>“Each advance is also a prosthesis, an artificial device dependent on advanced expertise and intense continuing management.”</p>
</blockquote>

<blockquote>
  <p>“A united system of knowledge is the surest means of identifying the still unexplored domains of reality. It provides a clear map of what is known, and it frames the most productive questions for future inquiry.”</p>
</blockquote>

<blockquote>
  <p>“Historians of science often observe that asking the right question is more important than producing the right answer. The right answer to a trivial question is also trivial, but the right question, even when insoluble in exact form, is a guide to major discovery. And so it will ever be in the future excursions of science and imaginative flights of the arts.”</p>
</blockquote>

<blockquote>
  <p>“The ideal scientist thinks like a poet and works like a bookkeeper.”</p>
</blockquote>]]></content><author><name></name></author><summary type="html"><![CDATA[Recently I ‘finished’ reading Consilience: The Unity of Knowledge by E.O. Wilson and here are my notes.]]></summary></entry></feed>