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/...
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.
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 ๐
๐ 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...
Just released a new version of `tu` ๐
Now with support for even more fuzzy dates!
github.com/ad-si/tu
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!
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.
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! ๐
