Parse HTML into Markdown in Unison
New version of `html-parse` library
An update to my html-parse library - a new handler to the existing #Unison ability to parses Html text into Markdown. Check the blog post for details. #parser #markdown
19.02.2026 06:20 β π 1 π 0 π¬ 0 π 0
This finally got official accreditation. Thank you #datastar team π
data-star.dev/reference/sdks
16.02.2026 01:17 β π 1 π 1 π¬ 0 π 0
What do you do when your agents go to work?
Era of FOMO - Flock of meandering oracles - is unaffordable for me
Quick post of my state of mind as my agents are contributing their share to the global warming
06.02.2026 11:50 β π 0 π 0 π¬ 0 π 0
π Check out the suite of libraries that @kaushikc.org has been steadily developing: html-parsing, at-proto, and more!
04.02.2026 17:37 β π 4 π 1 π¬ 0 π 0
html-parse - HTML parser in Unison
Parse HTML text into a structured representation
First building block towards creating an RSS reader on AT protocol - Unison HTML parser #unison #html #parser
03.02.2026 15:02 β π 7 π 2 π¬ 0 π 1
I was just thinking about this today while reading my daily feeds in my native feed reader. And as I opened BS, this showed up π€―
The lexicons are solid. I can take it here with my own app view implementation - ATProto rocks π€
Thanks @disnetdev.com
21.01.2026 15:49 β π 5 π 0 π¬ 0 π 0
π Datastar Unison SDK
Continuing streaming HTTP excitements in Unison
One more new library of the year - datastar-unison, Unison SDK for amazing Datastar SSE events #unison #datastar #sse
17.01.2026 14:59 β π 4 π 2 π¬ 0 π 1
πΏ #NowWatching
28 Years Later - Bone Temple
#now #movie
17.01.2026 09:54 β π 1 π 0 π¬ 0 π 0
SSE support for @unison/http
new micro library http-streaming-server
New year, a fresh bake: unified streaming for HTTP responses #unison #sse
15.01.2026 17:41 β π 0 π 0 π¬ 0 π 0
βοΈ Hello New Year
Some plans
31.12.2025 19:46 β π 3 π 0 π¬ 0 π 0
π₯ What a year!
Recollection and reminiscence
2025 - my review #yearlynotes
25.12.2025 00:52 β π 0 π 0 π¬ 0 π 0
Day 08-12 #adventofcode
Finally it's done!
Got done with this year's #adventofcode. Last 5 day's writeups #unisonlang #aoc
17.12.2025 15:49 β π 5 π 0 π¬ 1 π 0
This is fantastic news @shriram.bsky.social . I am really looking forward to all the new stuff. Our kids need a proper bootstrap to CS
11.12.2025 02:17 β π 1 π 0 π¬ 0 π 0
π Day 06 and 07 #adventofcode
Columnar Arithmetic and Splitter Path Counting
My delayed write-ups of day 06 and 07 #adventofcode #aoc #unisonlang
08.12.2025 13:43 β π 3 π 0 π¬ 0 π 0
One of those movies where trailer is made better than the movie itself.
07.12.2025 05:01 β π 0 π 0 π¬ 0 π 0
πΏ #NowWatching
Dhurandhar
#now #movie
05.12.2025 16:10 β π 0 π 0 π¬ 1 π 0
π Day 04 and Day 05 #adventofcode
Grid erosions and Interval Sets
Day 04 was about Grid erosion via neighbour counting and Day 05 was interval sets #adventofcode #aoc #unisonlang
05.12.2025 14:41 β π 1 π 0 π¬ 0 π 0
πΏ #NowWatching
The Thinking Game
#now #movie
05.12.2025 03:36 β π 0 π 0 π¬ 0 π 0
π Day 03 #adventofcode
Greedy Subsequence Digit Extraction with Backtracking
Day 03 was fun solving with `Each` ability of #unisonlang that provides non-determinism and backtracking #adventofcode #aoc
04.12.2025 14:15 β π 3 π 0 π¬ 0 π 0
πΏ #NowWatching
Pluribus by Vince Gilligan
#now #TV
03.12.2025 04:29 β π 0 π 0 π¬ 0 π 0
π Day 02 #adventofcode
I tried to stick to solve without resorting to text conversion and purely with arithmetic means. I am sure there are more optimisations possible, but it's been fun. #adventofcode #aoc #unisonlang
02.12.2025 15:22 β π 1 π 0 π¬ 1 π 0
π Week 48 #weeknotes
23rd Nov - 29th Nov
My #weeknotes for Week 48
#unisonlanguage #mcp #atproto #zorinos
01.12.2025 07:40 β π 0 π 0 π¬ 0 π 0
πΏ #NowWatching
Tere Ishk Mein
#now #movie
28.11.2025 15:46 β π 0 π 0 π¬ 0 π 0
π§ #NowListening
In case we forget by The Yellow Diary
#now #music
28.11.2025 09:30 β π 0 π 0 π¬ 0 π 0
atproto-experiments
A foundation for building tools on the AT Protocol using Unison Programming Language.
Sharing atproto-experiments: a foundation for building AT Protocol tools using @unison-lang.org . And the first tool is to sync Bluesky replies as @leaflet.pub comments. #atproto #unisonlang #leafletpub
26.11.2025 16:38 β π 26 π 8 π¬ 3 π 0
Similar plots and usual tropes. The music, though, is top-notch this time.
26.11.2025 15:30 β π 0 π 0 π¬ 0 π 0
πΏ #NowWatching
Family Man Season 3
#now #movie
25.11.2025 11:54 β π 1 π 0 π¬ 1 π 0
π Week 47 #weeknotes
16th Nov - 22nd Nov
My #weeknotes for Week 47.
#unisonlang #ashes
24.11.2025 05:49 β π 1 π 0 π¬ 0 π 0
Simple tools, fewer abstractionsβinviting everyone to tinker & build. Whatβs worth building? For me: empathy and reworking our urban environments for humans.
https://ndyg.ca / https://www.cross.stream
π Milky Way, βοΈSolar System, πEarth, πCanada, Toronto
Creator of Flask β’ earendil.com β₯οΈ writing and giving talks β’ Excited about AI β’ Husband and father of three β’ Inhabits Vienna; Liberal Spirit β’ βmore nuanced in personβ β’ More AI content on https://x.com/mitsuhiko
More stuff: https://ronacher.eu/
π delightful docs & social publishing π
try: leaflet.pub/home
explore: leaflet.pub/reader
lab notes: lab.leaflet.pub/
code: tangled.org/leaflet.pub/leaflet
made by @schlage.town + @cozylittle.house + @awarm.space
Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
making @leaflet.pub β in brooklyn β sol's dad β β @jinjin.bsky.social
books, basketball, cities, constraints, learning, libraries, poetry, patterns, reading, rhymes, walks, websites, &c
more lists & links @ schlage.town
Working on @leaflet.pub in specific and tools for learners and education in general
Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
The financial transactions database designed to power the next 30 years of online transaction processing.
Not official account. Not related with any zig foundation or community. Just zig fan!
https://ziglang.org/
https://github.com/ziglang/zig
VP of Community @ Zig Software Foundation β’ Zig Livecoding http://twitch.tv/kristoff_it β’ Creator of http://softwareyoucan.love β’ Blogging http://kristoff.it β’ Host of https://zig.show β’ π§ loris@sycl.it
A working group to create community ATProtocol Lexicons.
https://lexicon.community/
An independent research lab exploring the future of tools for thought.
We envision a new computer that amplifies human intelligence. A system that helps you think more clearly, collaborate more effectively, and is available anywhere and anytime.
Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google. Also at @abnv.me.
#programminglanguages #software #running #Haskell #NixOS #photography #quantifiedself
Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.
If you want to follow [β¦]
π bridged from β https://fantastic.earth/@abnv, follow @ap.brid.gy to interact
web dev + hot dad. enjoy charts, unions, conputer games, philosophy. chicago crespo.business
Software engineer (compilers: WebAssembly, Emscripten, Binaryen). Used to study neural networks. Loves fantasy novels and Agatha Christie. he/they
All opinions here are my own, not my employer's (Google).
More in: http://kripken.github.io/blog/about/
Programming Languages Researcher and Consultant
Co-founder arroyo.dev, building next-gen streaming systems. Prev Splunk, Lyft, Sift, Quantcast.
Bridgy Fed (https://fed.brid.gy/) bot user for the fediverse. To bridge your Bluesky account to the fediverse, follow this account.
To ask a fediverse user to bridge their account, send their address (eg @user@instance) to this account in a chat message.β¦