Advertisement ยท 728 ร— 90

Posts by Adrian Sieber

Preview
GitHub - ad-si/Taguar: Simple audio tagging desktop app (id3v2, Vorbis Comments, โ€ฆ) Simple audio tagging desktop app (id3v2, Vorbis Comments, โ€ฆ) - ad-si/Taguar

I built something!
Taguar, a KISS desktop app for audio tagging.

1. Open directory
2. Fix tags of all files
3. Done ๐ŸŽ‰๐Ÿ˜Ž

github.com/ad-si/Taguar

4 days ago 1 0 0 0
Preview
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.

1 month ago 2 1 1 0
JupyterLite

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/...

1 month ago 2 0 1 0
Preview
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

4 months ago 2 0 0 0

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. ๐Ÿคฏ

4 months ago 0 0 0 0

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 ๐Ÿ˜…

7 months ago 2 0 0 0

Iโ€™ve seen the betas and sounds like a great release! Looking forward to it ๐Ÿ˜Š

7 months ago 3 0 0 0

Good question! Will let you know!

7 months ago 3 0 2 0

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.

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

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 ๐Ÿ˜Ž

7 months ago 25 3 3 0
Advertisement
Post image

I think I might be spending too much time on GitHub ๐Ÿ™ˆ

8 months ago 0 0 0 0
Preview
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...

8 months ago 0 0 0 0
Preview
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

8 months ago 3 0 0 0
Post image
10 months ago 5 0 0 0
Screenshot of using the CLI tool `cai`

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

1 year ago 3 0 0 0
Post image

Time to cancel ๐• for good. Sorry, not sorry ๐Ÿคทโ€โ™‚๏ธ

1 year ago 6 0 0 0
Post image

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!

1 year ago 1 0 0 0
Preview
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.

1 year ago 5 0 0 0
6.2.13. Lambda-case โ€” Glasgow Haskell Compiler 9.13.20241128 User's Guide

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

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

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

1 year ago 5 0 0 0

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?

2 years ago 0 0 2 0
Post image

๐Ÿ‘ฏ

2 years ago 2 0 0 0

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

2 years ago 0 0 0 0

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

2 years ago 0 0 1 0

- 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

2 years ago 0 0 1 0

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

2 years ago 0 0 1 0

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

2 years ago 0 0 1 0

Please no ๐Ÿ˜ญ
We have full text search nowadays. Why should I have to repeat keywords again? ๐Ÿ˜ฎโ€๐Ÿ’จ

2 years ago 1 0 0 0
Advertisement

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! ๐Ÿ˜Š

2 years ago 0 0 0 0