Lightnews — Scholar-powered news

Brooklyn Zelenka @expede.wtf · 2h

Same guy but videos www.youtube.com/playlist?lis...

Category theory for programmers by Bartosz Milewski. Seattle, Summer 2016. Additional material at https://bartoszmilewski.com/2014/10/28/category-theory-for-...

www.youtube.com

Brooklyn Zelenka @expede.wtf · 2h

And this is also a resource a lot of folks learn more hands on from bartoszmilewski.com/2014/10/28/c...

Category Theory for Programmers: The Preface

Table of Contents Part One Category: The Essence of Composition Types and Functions Categories Great and Small Kleisli Categories Products and Coproducts Simple Algebraic Data Types Functors Functo…

bartoszmilewski.com

1 1

Brooklyn Zelenka @expede.wtf · 2h

A fairly gentle introduction is Category Theory for the Sciences mitpress.mit.edu/978026202813...

Category Theory for the Sciences

Category theory was invented in the 1940s to unify and synthesize different areas in mathematics, and it has proven remarkably successful in enabling powerfu...

mitpress.mit.edu

1 2

Reposted by Brooklyn Zelenka

Ink & Switch @inkandswitch.com · 5d

We've got two lightning talks confirmed for next weeks London event: Building new tools for Science

* Agnes Cameron will tell us about Malleable Knitting Software
* Adewale Oshineye will share GeistFabrik, a Python-based divergence engine for Obsidian vaults.

~10 spots left if you want to join

Ink & Switch London: Building new tools for Science · Luma

Ink & Switch's mission is to help computers become better tools for thought. We believe that the promise of computers as "intelligence amplifiers" or "bicycles…

luma.com

3 5 9

Brooklyn Zelenka @expede.wtf · 8d

Ah, yeah, this happens from time to time. My *name* is Brooklyn, but I live in a different country 🇨🇦 in a city on the other side of the continent ⬅️

That being said, LET'S GOOOOO ZOHRAN 🚀🚀🚀

1 4

Brooklyn Zelenka @expede.wtf · 11d

Looks like CodeBerg (where her site is hosted according to the 404 page) is currently having issues

CodeBerg status page showing CodeBerg pages being down

1

Brooklyn Zelenka @expede.wtf · 11d

🚀🚀🚀 I'm doin' a signal boost!

I just met Vanessa, an early-career dev with great energy looking for work! Interested in games and webdev, and working on a PS1-style game in her spare time. (Contact info is on her website)

👀 queenofsquiggles.codeberg.page

Queen Of Squiggles's Blog

queenofsquiggles.codeberg.page

1 4 12

Reposted by Brooklyn Zelenka

pvh @pvh.ca · 20d

Ink & Switch is hosting another Social in London on Nov. 11th at the Alan Turing Institute. I'll share some early scientific work in Patchwork, & Marcel will give a peek at the Playbook programmable ink system. Also, lightning talks about "surprises in software".

RSVP here: luma.com/71g0lhgo

Ink & Switch London: Building new tools for Science · Luma

Ink & Switch's mission is to help computers become better tools for thought. We believe that the promise of computers as "intelligence amplifiers" or "bicycles…

luma.com

6 22

Reposted by Brooklyn Zelenka

Automerge @automerge.org · 20d

Thanks to everyone that attended the community call today!

🍿 For those that couldn't make it, here's the recording featuring @patternist.xyz, @nikgraf.bsky.social, @daffl.xyz, @spiralganglion.com, and @seaofclouds.com

www.youtube.com/watch?v=nwOw...

October 2025 Automerge Community Call

YouTube video by Automerge

www.youtube.com

4 15

Reposted by Brooklyn Zelenka

Automerge @automerge.org · 22d

Join us this Wednesday for the Automerge Community Call ("Spoooooky Edition" 🎃👻)! Come find out about the latest updates, get some the behind-the-scenes of our shiny new website, and see some demos of what folks are building with Automerge!

📆 Event page: luma.com/acd77awg

October '25 Automerge Community Call (Spooky Edtion) · Luma

Get ready to raise the dead—er, data! Join us for the October '25 Automerge Community Call: Spooky Edition, where we’ll be digging up the freshest updates from…

luma.com

2 3

Reposted by Brooklyn Zelenka

Christine Lemmer-Webber @dustyweb.bsky.social · 25d

I can't understate how good of a job the @inkandswitch.com folks did at this Automerge website. Wow, holy shit automerge.org

And the fact that you can *interact* with the visual demo at the top?

This is the new high bar for a technical website. Holy moly.

Automerge

Automerge is a library for building collaborative, local-first applications.

automerge.org

2 15 67

Brooklyn Zelenka @expede.wtf · 26d

I love the last section of the ATmosphereConf announcement post:

> We Can Just Do Things.
> Together.

Screenshot of from Breaking Bad (with subtitles) where Walter White says "you're goddamn right"

1 19

Reposted by Brooklyn Zelenka

Automerge @automerge.org · 26d

We have a shiny new website courtesy of @spiralganglion.com and @seaofclouds.com 🙌

🚀 Check it out: automerge.org

A screenshot of the Automerge landing page. It says "Version control for your data. Automerge is a local-first sync engine for multiplayer apps that works offline, prevents conflicts, and runs fast."

2 18 98

Reposted by Brooklyn Zelenka

Automerge @automerge.org · 28d

🎮 Like CRDTs and videogames? @inkandswitch.com is ✨hiring✨ for a project that combines @automerge.org with @godotengine.org to make the next generation of collaboration tools for game development!

More detail here: inkandswitch.com/jobs/godot-i...

(Fully remote 🌍🌎🌏 contract, late Nov to April)

Godot IDE Engineer

Help build native, visual version control for collaborative game development in Godot

inkandswitch.com

2 13 24

Reposted by Brooklyn Zelenka

UCAN @ucan.xyz · 28d

Join us tomorrow for the ✨🎃October UCAN Community Call 🎟️✨ luma.com/a96oxz0w

UCAN Community Call · Luma

🎉 It’s time for another UCAN Community Call! Join the core team, implementers, and friends for a lively hour of updates, open discussion, and all the latest…

luma.com

1 1

Reposted by Brooklyn Zelenka

Meredith Whittaker @meredithmeredith.bsky.social · Oct 6

📣 Germany's close to reversing its opposition to mass surveillance & private message scanning, & backing the Chat Control bill. This could end private comms-& Signal-in the EU.

Time's short and they're counting on obscurity: please let German politicians know how horrifying their reversal would be.

Signal @signal.org · Oct 3

We are alarmed by reports that Germany is on the verge of a catastrophic about-face, reversing its longstanding and principled opposition to the EU’s Chat Control proposal which, if passed, could spell the end of the right to privacy in Europe. signal.org/blog/pdfs/ge...

signal.org

32 1.6K 2.3K

Reposted by Brooklyn Zelenka

Tim Onion @bencollins.bsky.social · Oct 4

history teacher in 50 years: So in September, that’s when the president signed an executive order criminalizing anti-fascism and saying all resistance would be crushed

student: oh so that’s when the whole country realized they were living under fascism

teacher: haha what? oh no lol not at all. no.

140 3.4K 15K

Reposted by Brooklyn Zelenka

Martin Kleppmann @martin.kleppmann.com · Oct 3

It took almost two years…! The Fugue paper that @mweidner.bsky.social and I wrote about interleaving in collaborative text editing algorithms was finally accepted by IEEE Transactions on Parallel and Distributed Systems

paywalled: ieeexplore.ieee.org/document/111...
free: arxiv.org/abs/2305.00583

The Art of the Fugue: Minimizing Interleaving in Collaborative Text Editing

Most existing algorithms for replicated lists, which are widely used in collaborative text editors, suffer from a problem: when two users concurrently insert text at the same position in the document,...

arxiv.org

2 11 56

Reposted by Brooklyn Zelenka

Ink & Switch @inkandswitch.com · Oct 3

It's that time again: ✨we’re hiring✨

We're looking for a @godotengine.org IDE Engineer to help us build the next generation of collaboration tools inside the engine itself! More detail here: inkandswitch.com/jobs/godot-ide-engineer

(Remote role 🌍🌎🌏)

Godot IDE Engineer

Help build native, visual version control for collaborative game development in Godot

inkandswitch.com

2 23 47

Reposted by Brooklyn Zelenka

Andrew Allen 🎄 @often.codes · Nov 15

use a debugger stat!

meme: everyone on my floor is coding, happy software engineers, sad doctors

1 8 47

Brooklyn Zelenka @expede.wtf · Sep 28

Having a kitten dream!

1 11

Brooklyn Zelenka @expede.wtf · Sep 28

As we all know, when two women love each other very much they... start adopting more cats! Say hi to Luna 🐈‍⬛✨ She's possibly the cuddliest kitten I've ever met, & purrs loudly + gives headbutts whenever she's picked up 😻

Luna was adopted via VOKRA (www.vokra.ca) who were great the whole way through

Luna (a black, short haired kitten) looking into the camera, sitting on @expede.wtf 's lap

@katiewilde.com holding Luna (yes, we're keeping her in a small bathroom for the first few days so that she can 1. have a small safe space, and 2. if she has some accidents it's easier to clean up)

Luna fully splayed out asleep on her side laying on @expede.wtf 's lap

2 1 35

Brooklyn Zelenka @expede.wtf · Sep 25

Since I've been summoned: I had a call with the bsky team earlier this year on some of these topics, but if helpful @pfrazee.com I'm always happy to chat more :) I want to see ATProto succeed and my DMs are open

1 2

Reposted by Brooklyn Zelenka

pvh @pvh.ca · Sep 22

It's pretty cool that Ink & Switch is contributing to this big ARIA programme now. We get two big things out of it: funding (obviously) but also a community of fascinating creators and problems to connect with. I'm learning all about the UK power grid this week.
www.inkandswitch.com/newsletter/d...

ARIA Safeguarded AI Programme, new faces, and a splattering of ink lab notes

Peter, our lab director, will announce a major new initiative. You’ll hear about two researchers who have recently joined our staff. Finally, we’ve got a collection of lab notes about Programmable Ink...

www.inkandswitch.com

1 5 43

Reposted by Brooklyn Zelenka

UCAN @ucan.xyz · Sep 22

Welcome to the capabilities family, @cloudflare.social! Awesome to see capabilities finding adoption in lots of places 🚀✨

Kenton Varda @kentonvarda.com · Sep 22

I don't have a problem with making new RPC systems! I can stop any time I want! But I don't want to. So I made a new one for you. It's called Cap'n Web. It's like Cap'n Proto RPC, except focused on working great in browsers and JavaScript/TypeScript servers. blog.cloudflare.com/capnweb-java...

An image of a circular fabric patch showing some sort of superhero in a nautical hat? Cap'n Web: Protect & Connect, it says. Looks like AI slop.

1 1 3