iiinova — where your digital self keeps evolving

jonathan

@jonathanmfung.com

27 followers 112 following 11 posts

I like research, programming, and the sciences 🖤 he/him (pfp is not me) jonathanmfung.com

Posts Replies Media

Reposted by jonathan

Glyph @glyph.im · 30/08/2026

the social contract that allows the web to exist at all is literally collapsing in real time people.kernel.org/monsieuricon/cree…

jonathan @jonathanmfung.com · 08/08/2026

#dolphin #pixel_dailies

3-color pixel art of a dolphin jumping out of water.

3-color pixel art of a dolphin jumping out of water, with a white frame.

091

jonathan @jonathanmfung.com · 19/04/2026

7.8/10 too much water

010

jonathan @jonathanmfung.com · 04/12/2025

No worries! The concept is nice, though I can imagine the implementation is a huge undertaking. "Standards" is the problem that personally hooked me. I also liked the comparison to "Glue" languages. I'll just keep tabs on the project for now. Good luck!

010

jonathan @jonathanmfung.com · 29/11/2025

Hello, was this talk recorded? I presume no, in that case I will look through your nice slides and website.

110

jonathan @jonathanmfung.com · 27/08/2025

coalton-lang.github.io

The Coalton Programming Language

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp. New! Robert Smith's talk at ELS 2025.

000

jonathan @jonathanmfung.com · 01/05/2025

Similar is adding/removing/changing keybinds

030

jonathan @jonathanmfung.com · 04/03/2025

This paper on typing named and optional args defines a target calculus λ_iu and source calculus UAENA i.cs.hku.hk/%7Ebruno/pap...

i.cs.hku.hk

010

jonathan @jonathanmfung.com · 25/02/2025

how many ppl do you think got this reference

000

jonathan @jonathanmfung.com · 05/02/2025

I've been wondering who that is, is it a deukae member?

000

Reposted by jonathan

Steve Klabnik @steveklabnik.com · 04/02/2025

For me, writing is a form of thinking. It really helps clarify what's going on in my brain, because I have to like, explain it to write it down. So, if you're a beginner and you want to write a blog post on something you're learning? Please do! It will help you, and everyone else.

811514

jonathan @jonathanmfung.com · 17/11/2024

Yea I also don't really see a point for those small form factors. All the marketing is just book covers or highlighting.

020

jonathan @jonathanmfung.com · 17/11/2024

I briefly considered it for things like textbooks or papers, for plots/diagrams/figures. But decided it was a niche usecase with marginal improvement. Not sure exactly what you mean about comics, but there's _large_ format color ereaders like the Boox note air4.

110