RSSAmplifier

Blog

Alex Korbonits

Personal blog and portfolio.

korbonits.com ↗RSS feed ↗48 posts

Latest posts

Who Writes the Question

Trust Nothing, Verify Everything: reproducing the Jacobian counterexample from my couch

I Killed a Container and It Came Back

Easier to Convince Than to Prove

Who Verifies the Verifier

Same-Day Model Integration: ESMC + ESMFold2 in Sheaf v0.11

The Verification Problem

What If the Feature Store Had Git Built In?

Journaling vs Meditation vs Writing

Planning an ML Survey Paper: Notes from a Notebook

Proofs and Essays Are Paths: An LLM ↔ Prover Loop for Falsifying Hallucinations

The Geometry of Language: Embeddings as Manifolds, Writing as Geodesics

Three Things Made My Blog Agent-Ready. Five I Skipped on Purpose.

A Room of One's Own, in a Bleak House

Sheaf: vLLM for Non-Text Foundation Models

19 Open Source Pull Requests in One Afternoon

The Philosophy of Machine Learning, or: What Comes After Hegel?

Cosine Similarity vs Claude: What Happens When They Disagree

I Was Thinking About LLM + Automated Reasoning Before It Was Cool (And I Wasn’t Ready)

I Deployed My First Smart Contract in an Afternoon

Sora Is Gone: Building on Open Source Video Generation

I Shipped a Feature From My Phone During Lunch

Migrating from GitHub Pages to Netlify in an Evening

Building a Self-Hosted Analytics Dashboard in One Session

Adding a CMS to My Astro Blog (and the OAuth Rabbit Hole That Followed)

Building a /now Page That Updates Itself

One GitHub Account, Many Domains: Deploying Family Sites with GitHub Pages

I Vibe-coded a Blog Migration in an Hour

Three Years of Pandemic Reading

In re: Seattle's New Theory of Crime

Le goût

Q(uarantine) P(hysics)

National Poetry (Writing) Month

2019 Retrospective

New Year's Resolutions 2019

Creating a writing habit from scratch

New Year's Resolutions 2018

NIPS 2017 Summary

NeurIPS notes

Deep Probabilistic Modelling with Gaussian Processes #NIPS2017

A Primer on Optimal Transport #NIPS2017

Caffe: Brew your first DNN

Teaching an LSTM to Play Beethoven

Torch: bleeding edge DNN research

Review of "Artificial Intelligence: Rise of the Machines"

Deep Learning with Python

Deep Learning in one year

Hello, World!