Nikolaj
@nikolajbjorner.bsky.social
The wife didnt approve that i turned up the sound to this clip.
November 29, 2025 at 1:24 AM
The wife didnt approve that i turned up the sound to this clip.
Similar or differently from how Scott's posts are part of my life?
November 27, 2025 at 12:46 AM
Similar or differently from how Scott's posts are part of my life?
Posting subscriber's only content? Think about it: what can possibly beat a subscription to Yale law/phil/security/cs/ai prof?
November 18, 2025 at 6:39 AM
Posting subscriber's only content? Think about it: what can possibly beat a subscription to Yale law/phil/security/cs/ai prof?
Every D'Antoni paper is my top paper.
November 7, 2025 at 7:02 AM
Every D'Antoni paper is my top paper.
Ivana Bocevska comes tomorrow morning and talks about games and modularity at OOPSLA. I am trying to convince Ivana to dive into the unforgiving world of Positiv Stellensatz algorithms in z3. Please pretend to Ivana that i am not totally nuts..
October 13, 2025 at 5:18 PM
Ivana Bocevska comes tomorrow morning and talks about games and modularity at OOPSLA. I am trying to convince Ivana to dive into the unforgiving world of Positiv Stellensatz algorithms in z3. Please pretend to Ivana that i am not totally nuts..
Github repo instead?
August 26, 2025 at 2:24 AM
Github repo instead?
I know a cs prof at a reputable school who does too. You should meet some day.
August 20, 2025 at 4:02 AM
I know a cs prof at a reputable school who does too. You should meet some day.
Your riptide basketball citation is not even yale related?
August 20, 2025 at 3:58 AM
Your riptide basketball citation is not even yale related?
Do POPL submissions now come with a tiktok dance artifact or only a certified proof?
July 11, 2025 at 11:01 PM
Do POPL submissions now come with a tiktok dance artifact or only a certified proof?
Break a leg! or into a bank?
May 31, 2025 at 8:18 PM
Break a leg! or into a bank?
P to the left, greek p to the right, tilted T stuck in the middle.
May 26, 2025 at 11:14 AM
P to the left, greek p to the right, tilted T stuck in the middle.
Got on the mcp craze a few weeks ago. Added a minimal 20 line z3mcp server to z3 repo. It provides some nice entertainment in the vscode copliot environment or other mcp hosts to force some trust to answers.
May 8, 2025 at 2:24 AM
Got on the mcp craze a few weeks ago. Added a minimal 20 line z3mcp server to z3 repo. It provides some nice entertainment in the vscode copliot environment or other mcp hosts to force some trust to answers.
Twitter creator revenue sharing at work.
April 29, 2025 at 1:47 AM
Twitter creator revenue sharing at work.
z3guide does run in your modern browser :) but if it is someone else's elastic server how much does it matter for you?
April 25, 2025 at 1:43 AM
z3guide does run in your modern browser :) but if it is someone else's elastic server how much does it matter for you?
Then switch to vibescrolling.
April 16, 2025 at 1:54 AM
Then switch to vibescrolling.
Did it use intercom before? Ranjit, come to dean's office.. Video killed the radio star.
March 21, 2025 at 11:20 PM
Did it use intercom before? Ranjit, come to dean's office.. Video killed the radio star.
Have you learned your lesson and have something to share?
February 15, 2025 at 3:40 AM
Have you learned your lesson and have something to share?
Professors who hack^H^H^H^H code? Why dont you simply write code using a featherpen and have minions^H^H^H.... transcribe it?
January 15, 2025 at 4:27 AM
Professors who hack^H^H^H^H code? Why dont you simply write code using a featherpen and have minions^H^H^H.... transcribe it?
Venetian egg noodle chicken. Marco Polo style.
December 29, 2024 at 4:24 AM
Venetian egg noodle chicken. Marco Polo style.
What was the main result? Did it relate to positiv stellensatze or just nullstellen?
December 23, 2024 at 10:29 PM
What was the main result? Did it relate to positiv stellensatze or just nullstellen?
For sure not. But looking at cfa the temptation i submit my own (shitty) abstract on egaphs modulo theories,https://github.com/Z3Prover/z3/commit/87f7a20e14413eabc40bb9b0b7799136b1126daf, and it is an offer you cannot possibly resist and i bike around sd during weekend.
December 20, 2024 at 9:54 PM
For sure not. But looking at cfa the temptation i submit my own (shitty) abstract on egaphs modulo theories,https://github.com/Z3Prover/z3/commit/87f7a20e14413eabc40bb9b0b7799136b1126daf, and it is an offer you cannot possibly resist and i bike around sd during weekend.
Will have to ask your colleague cs professor if you dabble in toy programming only.
December 20, 2024 at 9:02 PM
Will have to ask your colleague cs professor if you dabble in toy programming only.
Abstract interpretation?
December 20, 2024 at 8:57 PM
Abstract interpretation?