iiinova — where your digital self keeps evolving

Reposted by Zachary 🦋

Kiran @kirancodes.me · 30/09/2026

to know where you are going, you have to know where you have been: pldb.kirancodes.me Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.

84010

Reposted by Zachary 🦋

Louis Maddox @permutans.bsky.social · 29/09/2026

📄 Schemas for graph data (2026) dl.acm.org/doi/pdf/10.1...

dl.acm.org

012

Reposted by Zachary 🦋

Matt Keeter @mattkeeter.com · 28/09/2026

hi friends I'm very excited to announce Halfspace, my experimental cross-platform IDE for solid modeling with distance fields! This has been in progress since midway through last year, and it's finally "done enough" to make it more public.

mattkeeter.com

Halfspace

An IDE for solid modelling with distance fields

520748

Reposted by Zachary 🦋

Kuba Suder 🇵🇱🇺🇦 @mackuba.eu · 28/09/2026

Look what a beautiful torment nexus, so many threads to read! 🤩

Many clusters of various kinds of AI discourse

1342

Reposted by Zachary 🦋

Orhun Parmaksız @orhun.dev · 19/09/2026

I love terminal spinners! 😍🐀 github.com/ratatui/rata... #rustlang #ratatui #terminal

1433

Zachary 🦋 @zed.earth · 18/09/2026

subtyping is often framed as intersection typing,,, but suffers from the diamond inheritence problems (usually) {subtyping ≅ logical implication ≅ inheritence} if you model your types as constraints, this extends arbitrarily {constraints ≅ logical conjunction (AND, ∧)}

010

Zachary 🦋 @zed.earth · 18/09/2026

Refinement types are a form of "intersection typing" If you consider types as constraints on some universe - and you have multiple constraints -> then the intersection of those "refinement" constraints describe the universe of that "intersection type"/refinement see: LiquidHaskell, for example

110

Reposted by Zachary 🦋

José A. Alonso @jalonso.eurosky.social · 15/09/2026

Mechanizing Gödel's incompleteness theorems and provability logic. ~ Shogo Saitou, Mashu Noguchi. arxiv.org/abs/2609.13780 #LeanProver #ITP #AI4Math

022

Zachary 🦋 @zed.earth · 15/09/2026

Cloud Atlas is my all-time favorite movie. I am known to host viewing parties of it lol

010

Reposted by Zachary 🦋

ligi @ligi.de · 13/09/2026

Yesterday there where echoes of @getdweb.net camp at @berlinfediday.berlin.social.ap.brid.gy by @cypherhippie.bsky.social Awesome to see AT Protocol and ActivityPub getting closer together and join the fight against centralisation instead of wasting energy with infighting - this is the way!

0229

Zachary 🦋 @zed.earth · 13/09/2026

As a PL designer, this space is one of the most unclear/undecided as to what are the “correct” semantics. This one deserves some first principles drawing board and hammock time

060

Zachary 🦋 @zed.earth · 13/09/2026

As a PL designer, this space is one of the most unclear/undecided as to what are the “correct” semantics. This one deserves some first principles drawing board and hammock time

111

Zachary 🦋 @zed.earth · 13/09/2026

I hope my response is not too… _α_bstract!

000

Zachary 🦋 @zed.earth · 13/09/2026

She sounds constructed to be “well-founded” ^_^ Perhaps able to handle a paradox or two :) I wish you success pursuing the unknown… 🫰

010

Reposted by Zachary 🦋

Alice ✨ @welltypedwit.ch · 12/09/2026

you know, i thought the reputation of cousot papers was at least a little exaggerated but no, they actually look like that lol (this is page 3)

a page full of symbols and operators and... biblically accurate expressions spanning several lines casually inlined into regular sentences as if they were obviously understandable

8609

Zachary 🦋 @zed.earth · 12/09/2026

Every 2-3 days we lost one 9/11 worth of americans... for two years Also, 1/5th of global deaths were American (we do not have 1/5th of world population)...

010

Reposted by Zachary 🦋

gabby @fullmoon.id · 02/09/2026

New blog post: "Dependent if expressions without dependent types" This trick lets you write code like: example bool = if bool then 5 else "hi!" … with only one language extension: RebindableSyntax haskellforall.com/2026/09/depe...

haskellforall.com

Dependent if expressions without dependent types

Folklore trick for dollar-store dependent types

3385

Reposted by Zachary 🦋

Xor @xordev.com · 04/09/2026

Excellent visualization! This is basis of the technique I called "turbulence" which I use in my tiny shaders for fluids, smoke and fire. It's cheap and deterministic

0496

Reposted by Zachary 🦋

LaurieWired @lauriewired.bsky.social · 31/08/2026

I’ve alway’s thought it’s a shame that WebAssembly has the word “web” in it. Gives it a connotation that it’s “only for browsers” or something.   Meanwhile, NASA’s over here with a flight-compliant derivative (SpaceWASM) intended for spacecraft!

1035744

Reposted by Zachary 🦋

dame @dame.is · 21/08/2026

atproto devs scrambling to release the first permissioned data apps, call that the atproto space race

615519

Reposted by Zachary 🦋

José A. Alonso @jalonso.eurosky.social · 28/08/2026

A curmudgeon tries a language server. ~ kqr. entropicthoughts.com/curmudgeon-t... #Haskell #FunctionalProgramming #Emacs #Lisp

021

Reposted by Zachary 🦋

aron @adler.dev · 27/08/2026

session 12 of learning lean with @yetanotheruseless.com 🔥🔥🔥 LIVE NOW let's get dis shi link below 👇

262

Reposted by Zachary 🦋

Admirable Women @admirablewomen.bsky.social · 27/08/2026

Katharine McCormick: a most consequential yet historically overlooked woman of the 20th century. She funded the development of the world’s first oral contraceptive pill & drove progress across 3 fronts: her scientific education (MIT), militant suffragist action & backing mental health studies. 1/2🧵

A beautiful black-and-white portrait of Katharine Dexter McCormick (1875–1967), the pioneering MIT biologist, suffragist, and philanthropist who single-handedly bankrolled the development of the world's first oral contraceptive pill. Set against a soft, featureless, neutral studio backdrop, the composition focuses tightly on her upper torso and face. She looks directly forward with a solemn, intense, and piercing gaze, her features composed in a serious expression. McCormick wears an elaborate, wide-brimmed dark hat adorned with a thick, light-colored decorative band across the base of the crown. Her dark, voluminous curls cascade and blend with a highly textured, thick fur or feather boa wrapped high around her neck and shoulders. Underneath, a glimpse of a fine lace or embroidered white garment is visible. The soft vintage lighting casts gentle shadows across her face, accentuating a mood of quiet determination, dignity, and historical consequence.

151567455

Reposted by Zachary 🦋

pckt.blog @pckt.blog · 26/08/2026

six blogging apps on atproto is not too many 🙂‍↕️ seven thousand (7000) would be correct actually☝️

3506

Reposted by Zachary 🦋

Shooti @bambooshooti.bsky.social · 25/08/2026

#ResistanceRoots Tye Leung Schulze was born on this day in 1887 in San Francisco. She became the first Chinese American woman to vote in a U.S. election and the first to be employed by the federal government. She dedicated her life to serving the Chinese community that had once ostracized her. /1

Tye Leung Schulze. She was a fearless trailblazer who cracked open the doors of American democracy and public service for Asian American women. Standing barely four feet tall, she spent her entire life stepping into rooms built for people twice her size, using her voice to dismantle racial and gender barriers. As the first Chinese American woman to pass the federal civil service exam and the first to vote in a U.S. election, she shattered the myth that Asian American women were passive outsiders. Her marriage to Charles Schulze was a radical act of love that challenged California’s systemic white supremacy. Her most enduring legacy is found on the streets of San Francisco’s Chinatown. For more than 60 years, she was a community anchor. She gave a voice to the voiceless, proving that the true measure of a citizen is how fiercely they protect the vulnerable. Photo courtesy of the Los Angeles Public Library.

313958

Zachary 🦋 @zed.earth · 24/08/2026

I would not want to be on the other end of that bargain…

A screenshot of tab outliner zoomed in showing 2,821 open browser tabs

000

Reposted by Zachary 🦋

aron @adler.dev · 19/08/2026

session 11 of learning lean with @yetanotheruseless.com starting now 🏎️ lets formalise some algebra babyyyyyy 👶

351

Reposted by Zachary 🦋

DWeb @getdweb.net · 18/08/2026

On September 11-13, we’ll be temporarily docking our spaceship at @c-base.org station for Berlin FediDay! Together with us, there will be many DWeb friends and adventurers. Join us! Tickets presale ends on Aug 24.

The coloured Fediverse symbol on a black background. In the symbol, “Berlin FediDay 2026”. On top of it, with flashy yellow paint: “11-13 September 2026” “fediday.berlin”

0105

Reposted by Zachary 🦋

Evan Greer @evangreer.bsky.social · 16/08/2026

there is no such thing as "age verification." All "age verification" is actually "identity verification." You can coat it in glitter and "privacy-preserving" wrapping paper. But in the end, mandating age verification means mandating surveillance be built into software and hardware. Period.

106138695602

Zachary 🦋 @zed.earth · 15/08/2026

A friend recently created an open jobs posting for freelancers in the media production industry. If you or others you know are in that industry, feel free to share; and I hope this helps! Updated daily, at least.

024

Zachary 🦋 @zed.earth · 13/08/2026

Oof, looks like I’m on ocaml 5, and this requires < 5.0.0 😭

110

Zachary 🦋 @zed.earth · 13/08/2026

This is amazing, Kiran! ^_^ I love structural editing and am just getting deeper into OCaml so will check out! Also zippers rock, great explanation and use case! I have a variant of this for the language I’m working on, as well *-surfer-mode

020

Zachary 🦋 @zed.earth · 13/08/2026

Reflection — such an important topic. Excellently produced and presented. I love the historical contexts. Also, JVM is S-tier as far as Reflection goes... most JVM languages/programers, unfortunately, treat more as a static compilation target. Probably an erlang/OTP sitting somewhere in there...

020

Reposted by Zachary 🦋

Cameron @cameron.stream · 11/08/2026

Wow this is cool, @graham.systems made a peer-to-peer agent messaging system for Letta, built on Iroh tangled.org/hollis.pds.g...

tangled.org

0526

Reposted by Zachary 🦋

Jasmine 🌌🔭 @astrojaz.bsky.social · 02/08/2026

i’m obsessed with this very specific genre of photo

A color photograph looking outward through the interior of a spacecraft toward a thin crescent Earth suspended in space. Dark structural elements of the spacecraft frame the view, with the window opening forming an irregular border around the planet. The illuminated crescent floats near the center of the image against a deep black sky. Reflections from the spacecraft interior and faint alignment markings are visible on the window, emphasizing that the photograph was taken from inside the spacecraft.

A color photograph of Earth’s curved horizon viewed through a circular spacecraft window. The dark window frame creates a round border around the scene, while Earth’s blue atmosphere, white cloud systems, and sunlit surface occupy the lower left portion of the view. The upper right portion fades into the blackness of space with a single bright point of light visible beyond Earth’s limb. The composition highlights both the spacecraft window and the planet beyond it.

A color photograph of a half-illuminated Moon viewed through a spacecraft window. The thick, multi-layered window frame surrounds the left and lower edges of the image, with alternating white, black, and reddish sealing rings visible around the glass. The cratered lunar surface is sharply lit against the blackness of space and appears centered in the window. A smaller, bright crescent Earth is visible near the right edge of the frame, while scattered stars and a few small reflections on the window glass appear throughout the dark background.

515525

Reposted by Zachary 🦋

José A. Alonso @jalonso.eurosky.social · 06/08/2026

PutnamBench: A Multilingual competition-mathematics benchmark for formal theorem-proving. ~ George Tsoukalas et als. trishullab.github.io/PutnamBench/ #AI4Math

011

Reposted by Zachary 🦋

Shooti @bambooshooti.bsky.social · 03/08/2026

#ResistanceRoots Mina Rees was born on this day in 1902 in Cleveland, Ohio. She was a mathematician and academic leader who overcame sexism to shape the landscape of modern computing. Her contributions played a key role in early computer development, laying the foundation for modern technology. /1

Mina Rees. Throughout her groundbreaking career, she faced systemic institutional sexism and frequent professional devaluation. She rarely complained publicly about the gender barriers of her era, but she was a highly effective tactical advocate for other women in STEM fields. She used her immense institutional power, administrative leverage and academic positions to systematically dismantle barriers for women in mathematics and computing.

120781

Reposted by Zachary 🦋

Echobit @echobit.de · 27/07/2026

Interessante Seite: Jeder Browser behauptet, Ihre Privatsphäre zu schützen. Jemand hat jetzt eine Website erstellt, die sagt: Dann beweist es. Getestet wird jeder Browser ausschließlich mit den Standardeinstellungen. Keine Erweiterungen.

privacytests.org

Which browsers are best for privacy?

An open-source privacy audit of popular web browsers.

1031999

Reposted by Zachary 🦋

José A. Alonso @jalonso.eurosky.social · 26/07/2026

Dependent types for compiler calculation. ~ Mitchell Pickard. people.cs.nott.ac.uk/pszgmh/picka... #Agda #ITP

011

Reposted by Zachary 🦋

P(aul) Frazee @pfrazee.com · 03/07/2026

Daniel's permissioned data proposal just dropped!! This will be a major upgrade for atproto that enables private groups & communities. Really hope this technical design resonates with people so we can keep moving fast, but please do get your comments in

527356

Zachary 🦋 @zed.earth · 01/07/2026

Oof. "Turing Complete" is one of those phrases that sends me off on hour-long (internal) rant... OK, but first I want to say: Thank you for sharing your perspective on GADTs. It's something more people should know about. 👍 Not sure I could fit above rant in tweet-form, or is wanted. Ask if so.

110

Reposted by Zachary 🦋

José A. Alonso @jalonso.eurosky.social · 24/06/2026

Record type inference for dummies. ~ Gabriella Gonzalez. haskellforall.com/2026/06/reco... #Haskell #FunctionalProgramming

041