Adrian Sieber

GitHub - ad-si/Woxi: Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized) Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized) - ad-si/Woxi

Wow. @adriansieber.bsky.social (re)implemented the Wolfram language in Rust github.com/ad-si/Woxi

and exposed it as a jupyter kernel. That's crazy.

Thanks for the praise! 🙌
The next release is going to be a huge milestone. There is so many things it can do now - I’m quite excited 🤩

You can already try it out here: woxi.ad-si.com/jupyterlite/...

GitHub - ad-si/Hikchr: Haskell wrapper + CLI tool for Pikchr, a PIC-like markup language for diagrams. Haskell wrapper + CLI tool for Pikchr, a PIC-like markup language for diagrams. - ad-si/Hikchr

Nice! Such an underrated tool!

I wrote a Haskell wrapper some time ago and I really need to remember to use it more often! =D

github.com/ad-si/Hikchr

And LLMs can help you really well to write that HTML!

Had the same insight when I had to write a somewhat custom invoice that wasn't covered by a standard invoice template. 🤯

Good idea for a follow up post! I think I already have most of the infrastructure in place for such an analysis, but I don’t want this post’s scope to explode 😅

I’ve seen the betas and sounds like a great release! Looking forward to it 😊

Good question! Will let you know!

Yes! 🚀
It will catch up to ReScript very soon and I’ll include some interpolations when it will catch up to PureScript in the blog post.

Bar chart with following data: Haskell, 156000 OCaml, 39024 F#, 33915 Elm, 22333 PureScript, 6162 ReScript, 3236 Gleam, 3086 ReasonML, 2083

I'm currently working on a blog post comparing functional programming languages 𝝺.
And Haskell still rules 😎

I think I might be spending too much time on GitHub 🙈

Release v0.12.0 · ad-si/cai Add new subcommands image - Generate an image using GPT-5 transcribe - Transcribe text from an audio file using GPT-4o Transcribe rewrite - Rewrite text with improved clarity and style jq - Get he...

🚀 Exciting news!
*cai* 0.12 is available with new powerful subcommands:

- *image* – Generate images with GPT‑5
- *transcribe* – Audio transcription via GPT‑4o Transcribe
- *rewrite* – Rewrite text with improved clarity and style

github.com/ad-si/cai/re...

GitHub - ad-si/tu: CLI tool to convert a natural language date/time string to UTC CLI tool to convert a natural language date/time string to UTC - ad-si/tu

Just released a new version of `tu` 🎉

Now with support for even more fuzzy dates!

github.com/ad-si/tu

Screenshot of using the CLI tool `cai`

The fastest AI CLI tool just became even more useful by adding support for xAI, Cerebras, and Deepseek! 🚀

=> github.com/ad-si/cai

Time to cancel 𝕏 for good. Sorry, not sorry 🤷‍♂️

Exciting update! My CLI AI tool cai has reached v0.8.0! 🎉

New sub-commands:
- ocr: Extract text from images
- rename: Rename files based on their content
- rs, ts, py, …: Use programming language as the context
- changelog: Generate a changelog from git commits

Install now with cargo install cai!

GitHub - ad-si/cai: The fastest CLI tool for prompting LLMs. Including support for prompting several LLMs at once! The fastest CLI tool for prompting LLMs. Including support for prompting several LLMs at once! - ad-si/cai

Open source AI coding tools are getting crazy 🤯

I just implemented a new subcommand for github.com/ad-si/cai with a single aider.chat prompt and it worked first try! 😮

And it was not a simple commit either with 156 insertions over 2 files.

Haskell has this already: ghc.gitlab.haskell.org/ghc/doc/user...

Two apes with logos of OCaml and Haskell on their heads work together. The caption reads: "FUNCTIONAL PROGRAMMERS together strong."

Can somebody explain the whole Twitter <-> Bluesky dynamic to me?

Bluesky was (is?) funded by Twitter, but it’s clearly a competitor.

What’s the upside for Twitter?

👯

In the coming weeks, I'll experiment with writing a WebDAV server for SQLite where each row is a YAML file.

This would make it easy to expose a SQLite database over network
and would be an interesting way to interact with it!

Since you made it this far, please follow me for more threads! 😊

5/5

What makes this especially cool is the ecosystem around it:

- Supported by all major web servers (Apache, Nginx, Caddy, …)
- Numerous clients (Direct support by Apple Finder & Windows Explorer!)
- Libraries available for all major languages

4/5

- COPY
- LOCK (lock a file / directory)
- MKCOL (create a collection aka. directory)
- MOVE
- PROPFIND (retrieve properties)
- PROPPATCH (modify properties)
- UNLOCK

This allows you to manage files on a remote server using only HTTP requests!

3/5

You're probably familiar with HTTP's request methods:

- GET
- HEAD
- POST
- PUT
- DELETE
- CONNECT
- OPTIONS
- TRACE
- PATCH

WebDAV extends these with several new methods specific to file management:

2/5

Today I was working with WebDAV,
and although I've heard of it before, I didn't really know what it was.

Surprisingly, it's a pretty cool extension to HTTP! 🦾

A short thread 🧵:

1/5

Please no 😭
We have full text search nowadays. Why should I have to repeat keywords again? 😮‍💨

Hello everybody! 👋

I’m an indie hacker / entrepreneur / functional programmer and I write about software engineering tidbits and my struggles of building a sustainable SaaS business (-> airsequel.com)

Hope you’ll join me on my journey! 😊