iiinova — where your digital self keeps evolving

Reposted by CF Bolz-Tereick

rain 🌦️ @sunshowers.io · 19h

Update on yesterday's post about Anthropic ripping off Mononoke:

sunshowers.io

More on Anthropic's Scion ripping off Mononoke

Answering questions and concerns.

27916

Reposted by CF Bolz-Tereick

mcc @dryad.technology · 14/10/2026

Gods are asleep. Post modernism

18415

CF Bolz-Tereick @cfbolz.bsky.social · 23/09/2026

Quinn is the absolute best, all her talks are amazing.

010

Reposted by CF Bolz-Tereick

Hila Peleg @hilacodes.bsky.social · 09/09/2026

The first annual Future of Property-Based Testing Workshop (FPBT'27) will be happening in Mexico City on January 12th (co-located with POPL'27)! Submissions are open now (deadline October 23rd); see popl27.sigplan.org/home/fpbt-2027 for details.

popl27.sigplan.org

FPBT 2027 - Future of Property-Based Testing - POPL 2027

Property-based testing has grown from a niche technique into a recognized discipline with a thriving research community and a considerable base of industrial practitioners. In fact, PBT is only increa...

178

CF Bolz-Tereick @cfbolz.bsky.social · 24/07/2026

Herzlichen Dank für die aufwändige Aufarbeitung! Und viele kollegiale Grüße aus der Informatik

010

CF Bolz-Tereick @cfbolz.bsky.social · 10/06/2026

It doesn't make any sense to us either (my kid, with a broken arm, and I just got sent from one radiology practice to another one for weird accident insurance reasons)

110

CF Bolz-Tereick @cfbolz.bsky.social · 31/05/2026

I just blogged: 'Knownbits in Lean' cfbolz.de/posts/2026-k...

021

CF Bolz-Tereick @cfbolz.bsky.social · 29/05/2026

I had read it before, read it again, still extremely funny

210

Reposted by CF Bolz-Tereick

Shriram Krishnamurthi @shriram.bsky.social · 29/05/2026

Startled to find out that there are young people who haven't read James Iry's magnificent "A Brief, Incomplete, and Mostly Wrong History of Programming Languages". Please drop what you're doing and head over. james-iry.blogspot.com/2009/05/brie...

james-iry.blogspot.com

A Brief, Incomplete, and Mostly Wrong History of Programming Languages

1801 - Joseph Marie Jacquard uses punch cards to instruct a loom to weave "hello, world" into a tapestry. Redditers of the time are not imp...

3308

Reposted by CF Bolz-Tereick

Kiran @kirancodes.me · 06/05/2026

ML researchers know Python. Proof engineers know Lean. Never the two should meet.. Until now! Announcing Lean.py, effortless Lean to Python and Python to Lean bindings! - Write Lean tactics in Python - Access the Python ecosystem in Lean github.com/kiranandcode...

import SymPyTactic

example : (1 : Int) * 1 = 2 := by sympy
example : (3 : Int) * 4 = 12 := by sympy
example : (5 : Int) * 6 = 30 := by sympy

/-- Expr-based equality check. Receives `Lean.Expr` trees (via the
`derive_python` Reflect registration) and delegates conversion entirely
to Python's `lean_to_sympy` module. -/
@[python "sympy_expr_eq_accept"]
def sympyExprEqAccept (lhs rhs : Lean.Expr) : IO Bool := do
init ()
let mod ← import_ "lean_to_sympy"
let checkFn ← mod.getAttr "sympy_eq_check"
let convFn ← mod.getAttr "expr_to_sympy"
let lhsSy ← convFn.call #[← Py.ofLeanObj lhs]
let rhsSy ← convFn.call #[← Py.ofLeanObj rhs]
(← checkFn.call #[lhsSy, rhsSy]).toBool

45619

CF Bolz-Tereick @cfbolz.bsky.social · 06/05/2026

Germany has something similar! It's located in the same spot, an arrow shaped button. The arrow points the direction how to cross. If you press the button, it starts vibrating when it's green. youtu.be/SUZJ9rlu6Io?...

youtu.be

Aufgeklärt: DAS bewirkt der mysteriöse Knopf unter dem Ampelkasten

YouTube video by gofeminin

020

CF Bolz-Tereick @cfbolz.bsky.social · 27/04/2026

I wonder how slow cpython running on Fil-C is though. I guess it's quite a bit worse?

140

Reposted by CF Bolz-Tereick

verijit @verijit.bsky.social · 17/04/2026

Hi! We build fast verilog simulators using just in time compilation. Our simulator outperforms existing verilog simulators by up to x100. verijit is a project by @cfbolz.bsky.social and Can Joshua Lehmann. Check out out demo video here: www. youtube.com/watch?v=PXgUsEjvAOY

youtube.com

Verijit – Up to 100x faster Verilog simulation

YouTube video by verijit

176

Reposted by CF Bolz-Tereick

Pavel @spavel.bsky.social · 28/03/2026

Make sure to rotate your pronouns periodically, so that if your gender becomes compromised, attackers can only access it for a short period of time.

191287345

Reposted by CF Bolz-Tereick

ee @durbin.ee · 21/01/2026

Some news, I’ll be departing the PSF as a staff member at the end of this week.

8395

CF Bolz-Tereick @cfbolz.bsky.social · 11/01/2026

There's a bunch operating in Germany and under protected building status, so they won't actually go away (might just be broken indefinitely or something). If you ever make it to Duisburg, let me know, we'll go to the town hall

130

Reposted by CF Bolz-Tereick

haha yeah @freshfleisch.bsky.social · 29/12/2025

we must imagine Sisyphus being directed to the boulder corporation’s outsourced mental health support service for up to 2 hours of free counselling per eternity

0284

CF Bolz-Tereick @cfbolz.bsky.social · 25/12/2025

www.der-postillon.com/2025/12/drog...

000

Reposted by CF Bolz-Tereick

Savannah Ostrowski @savannah.dev · 13/12/2025

I’m incredibly excited to serve on this coming term’s Steering Council! Working on CPython has been one of the most rewarding endeavours of my career. I’m so grateful to everyone who voted & honoured that so many placed their trust in me. peps.python.org/pep-8107/

peps.python.org

PEP 8107 – 2026 Term Steering Council election | peps.python.org

This document describes the schedule and other details of the 2025 election for the Python steering council, as specified in PEP 13. This is the steering council election for the 2026 term (i.e. Pytho...

25411

Reposted by CF Bolz-Tereick

Martha Wells @marthawells.com · 11/12/2025

Re-upping this, since it's only available for two days:

4353174

CF Bolz-Tereick @cfbolz.bsky.social · 05/12/2025

People have argued with me about every single square of this, on one channel or another 🤷‍♀️

020

Reposted by CF Bolz-Tereick

Julia Evans @b0rk.jvns.ca · 28/11/2025

it's happening!!! from now until the end of the day on Friday, November 28th (if it’s Friday anywhere, the sale’s still on!), all my pdf zines are 50% off, and print zines are 30% off! wizardzines.com

woman with shell necklace and a redirects belt accessory

78846

CF Bolz-Tereick @cfbolz.bsky.social · 28/11/2025

@tartanllama.xyz Building a Debugger got a review in c't, a big German computer magazine:

020

Reposted by CF Bolz-Tereick

Manish @manishearth.bsky.social · 06/11/2025

lol @hikikomorphism.bsky.social just described Ea-Nāṡir as "CMOT Dibbler (Assyrian Edition)"

0238

Reposted by CF Bolz-Tereick

Robbie Richardson @londonmikmaq.bsky.social · 06/09/2025

Tlingit artist Nicholas Galanin, “Architecture of return, escape (The British Museum)”, a deerskin map a floor plan of the British Museum and possible escape routes for various Indigenous cultural belongings held there.

An animal hide covered in blue felt with a floor plan of a museum drawn on it

192178874

Reposted by CF Bolz-Tereick

absolute horses @jcoglan.com · 14/10/2025

it has been 0 days since I wrote a tiny interpreter to prototype some new database features. you will never regret writing a tiny interpreter

2244

Reposted by CF Bolz-Tereick

Denny Perez @dennyperez18.bsky.social · 09/10/2025

📣 The “People from PSF” interview series continues! 🐍💬Meet the people behind the @python.org staff, directors & contributors making the magic happen. 💟 Meet Deb Nicholson @eximious.bsky.social 🔗Read the full interview 👇 dennyperez.dev/projects/psf... #Python #PyLadies #PSF #PeopleFromPSF

054

Reposted by CF Bolz-Tereick

Antonio Cuni @antocuni.bsky.social · 06/10/2025

The SPy project is kicking off community calls! 🎙️ Join us tomorrow (Oct 7th, 17:30 CEST) on Discord to chat, ask questions, and meet other SPy folks. Everyone’s welcome! 💚 🥸 Discord link: discord.gg/ZN4afjvq?eve... Google calendar link: lnkd.in/d3U62QNn

discord.gg

Join the SPy lang Discord Server!

Check out the SPy lang community on Discord - hang out with 43 other members and enjoy free voice and text chat.

032

CF Bolz-Tereick @cfbolz.bsky.social · 02/10/2025

Even his London post hints at transphobia in the paragraph about Lineham's arrest. A dog whistle anti trans people would recognize 😒

010

Reposted by CF Bolz-Tereick

Antonio Cuni @antocuni.bsky.social · 24/09/2025

Last week I was lucky to take part in the CPython Core Dev Sprint. This is a summary of what I did, including an annotated and extended version of my talk on tracing JITs in real-world Python scenarios, plus some comparisons between PyPy’s JIT and CPython’s new JIT. 👉 antocuni.eu/2025/09/24/t...

antocuni.eu

Tracing JITs in the real world @ CPython Core Dev Sprint

My experience at the CPython Core Dev Sprint

083

Reposted by CF Bolz-Tereick

The Midnight Society @midnightpals.bsky.social · 12/09/2025

hey we have a lot of fun here, living in a fascist dystopia and goofing on the very real lives being ruined by the state, it's great, things are fine, we love it! Why not enjoy the end of civilization with a good book? why not do it with MY book?? www.hachettebookgroup.com/titles/bitte...

hachettebookgroup.com

Moonflow

"A bizarre and fiercely original splatterpunk phantasmagoria of queerness. Deranged and gleefully weird as f*ck, this is an impressive debut from a singular...

28214

Reposted by CF Bolz-Tereick

Elizabeth Bear @matociquala.bsky.social · 18/08/2025

2008, I am driving back across the Canadian border from Montreal with @stillsostrange.bsky.social and @batwrangler.bsky.social in my tiny1998 Honda Civic sedan.

2452

Reposted by CF Bolz-Tereick

Kate @katef.bsky.social · 14/07/2025

happy analog gender week nerds 💛🤍💜🖤

16312

CF Bolz-Tereick @cfbolz.bsky.social · 05/07/2025

Anil Dash wrote this post about this question: bsky.app/profile/anil... Thanks for being so cool Danielle!

1621

CF Bolz-Tereick @cfbolz.bsky.social · 29/06/2025

There was a new movie this year! And the one before that was the highest grossing German movie in 2023 😅

000

CF Bolz-Tereick @cfbolz.bsky.social · 28/06/2025

The books series is unbelievably popular in Germany, until today. It's called The Three Question Marks here and my eight year old devours it. There are extra novels that were written just for the German market, radio plays, movies, two spinoff series etc. en.wikipedia.org/wiki/German_...

en.wikipedia.org

German editions of the Three Investigators - Wikipedia

120

Reposted by CF Bolz-Tereick

Shriram Krishnamurthi @shriram.bsky.social · 26/06/2025

OMG no!!! I still think Knuth's deep dive from "I want to write about algorithms" to "I need typesetting software" to "I need fonts" to "I need font software" to "I need software to write software" may be the most epic software exploration in human history, and kids these days have NO IDEA about it.

35411

CF Bolz-Tereick @cfbolz.bsky.social · 12/06/2025

It's 100 copies of that loop that are traced in 34ms. But yes, I hope so!

010

CF Bolz-Tereick @cfbolz.bsky.social · 12/06/2025

This is mainly due to the double interpretation overhead: the meta-tracing interpreter will execute the Python interpreter, while the latter executes one iteration of the Python loop.

100

CF Bolz-Tereick @cfbolz.bsky.social · 22/05/2025

Want me to stick it in an envelope and mail it to you?

100

CF Bolz-Tereick @cfbolz.bsky.social · 21/05/2025

@keleshev.com not sure whether you already saw, but Compiling to Assembly from Scratch got a review in c't 9/25 (the largest German IT magazine)

151

Reposted by CF Bolz-Tereick

The PyPy Project @pypyproject.bsky.social · 21/05/2025

We just merged an improvement to the PyPy JIT heap optimizations: type based alias analysis for Python instances. Work was done by @cfbolz.bsky.social and their student Nico Rittinghaus.

162