iiinova — where your digital self keeps evolving

Paper カミ @codesonpaper.bsky.social · 26/09/2026

isnt rust the best, and wont you contribute to its development if its not?

100

Paper カミ @codesonpaper.bsky.social · 31/07/2026

i can only imagine the pain 😔

020

Paper カミ @codesonpaper.bsky.social · 24/07/2026

This is very exciting! I'm glad to share this with everyone ><! #AcademicSky #ScienceSky

000

Paper カミ @codesonpaper.bsky.social · 07/05/2025

Wtf is ... ... As a keyword in a programming language is so stupid like... Uh... So this uh... program go brrr...

010

Paper カミ @codesonpaper.bsky.social · 04/05/2025

So here's the tldr; Always do a git stage before deleting files, you'll be able to recover the files even without a commit!

000

Paper カミ @codesonpaper.bsky.social · 04/05/2025

And lo and behold, that's exactly what I saw, I was able to discard changes & bring back my file and was able to make A recovery 😁

100

Paper カミ @codesonpaper.bsky.social · 04/05/2025

Now, the fact that I had staged all the files, I was able to see a little `-` in my editor, this meant that my last stage might have included the thesis as well! Image

100

Paper カミ @codesonpaper.bsky.social · 04/05/2025

Before the panic kicked in and I stopped searching for `testdisk` and `photorec` when I realized that I had also created an empty TeX file by then making it almost impossible recover 😭😭

100

Paper カミ @codesonpaper.bsky.social · 04/05/2025

I had staged all the files in the project and realized the directory had a lot of files that I wanted to clean up before pushing. I was deleting all the files which I didn't need, and accidentally deleted the TeX file too! 😭

100

Paper カミ @codesonpaper.bsky.social · 04/05/2025

No fucking way! Git literally saved my thesis right now. I worked for hours on a latex document and while cleaning up tomorrow, I deleted the fucking TeX file. What saved me was... 🧵

110

Paper カミ @codesonpaper.bsky.social · 28/03/2025

It's called Learning-based commitment

000

Paper カミ @codesonpaper.bsky.social · 25/03/2025

Love it! Wwould you share the blender file and the py notebook if possible?

100

Paper カミ @codesonpaper.bsky.social · 03/03/2025

The fix vim key navigation in folds is the highlight for me here 😂

010

Paper カミ @codesonpaper.bsky.social · 03/03/2025

milewski's lectures and racket docs are a great supplementary reader for actually understanding the cat theo bros docs.racket-lang.org/ctp/_Functor...

000

Paper カミ @codesonpaper.bsky.social · 02/03/2025

live chat for anything on the internet that's not a live stream is mostly a waste of resources. but a bsky powered comments box is a great idea

010

Paper カミ @codesonpaper.bsky.social · 02/03/2025

crazy how much faster you can learn from a video lecture a knowledgeable teacher who actually writes his own material makes such a huge difference it's sad when you realize that most live sessions and classes are not worth recording or even preserving for to share knowledge

000

Paper カミ @codesonpaper.bsky.social · 27/02/2025

The goal is to have slides with animated equations and elements which you can add voice overs easily. Would be great if you create a more in depth tutorial for this.

010

Paper カミ @codesonpaper.bsky.social · 27/02/2025

This is exactly how I like the workflow to be. A jupyter notebook is great. In the past I've tried out the haskell repl with reanimate for animations like these youtu.be/EEQzUh1wV94

youtu.be

The Gaussian Integral (Reanimate)

YouTube video by K jxl

010

Paper カミ @codesonpaper.bsky.social · 27/02/2025

Not at all. You can use the standalone typst binary to build your docs. And I think the typst lsp should work with emacs as well. And I think for your use case, you can literally just replace your org mode tex export to typst using pandoc and it should just work ;)

110

Paper カミ @codesonpaper.bsky.social · 26/02/2025

So true, I've just found typst to be extremely fast, to the point that I can have it compile my doc as I'm typing. And I still like using markdown for my typesetting so I transpile to a typst template using pandoc (i think it even supports org mode too)

110

Paper カミ @codesonpaper.bsky.social · 26/02/2025

So why not try zen-browser.app In vertical tabs are way more productive in use

000

Paper カミ @codesonpaper.bsky.social · 26/02/2025

Can you show how you'd create animations from these equations in the video editor?

110

Paper カミ @codesonpaper.bsky.social · 26/02/2025

Might it be too late to rewrite everything to @typst.app now 😉

110

Paper カミ @codesonpaper.bsky.social · 26/02/2025

Ouuuu I'd be very interested to know more about the bridge

110

Paper カミ @codesonpaper.bsky.social · 26/02/2025

It's super interesting to see how early @bsky.app was adopted by the Japanese community rather than the west. I hope it keeps on flourishing 😊

000

Paper カミ @codesonpaper.bsky.social · 26/02/2025

I feel extremely sad when a project dies of being ahead of its time. OniVim2 seems to have halted development but had visionary designs for a code editor. It even supported the VSCode Plugin System and themes. On top of being written in OCaml (reason). I just hope someone continues an OCaml editor

020

Paper カミ @codesonpaper.bsky.social · 26/02/2025

I think I'll be religiously going into reading milewski's category theory for programmers. Especially since there exists a reader friendly OCaml and Scala version somewhere *wink wink* bartoszmilewski.com/2014/10/28/c...

bartoszmilewski.com

000

Paper カミ @codesonpaper.bsky.social · 19/02/2025

These functional programmers can't comprehend this experience

000

Paper カミ @codesonpaper.bsky.social · 30/01/2025

Simply use a model locally or one that crushes all the others (3.6 sonnet / R1) through their API and throw it along with your selection of MCP servers and talk away where all of your data and context is private and validated by you. modelcontextprotocol.io/examples#pro...

modelcontextprotocol.io

Example Servers - Model Context Protocol

A list of example servers and implementations

100

Paper カミ @codesonpaper.bsky.social · 30/01/2025

I think people are sleeping out on creating their own MCP server and using it inside of their favorite editor (@zed.dev) itself instead of using small qol improvements provided by a plethora of these "AI Chat" providers.

100

Paper カミ @codesonpaper.bsky.social · 30/01/2025

ooh, this is very nice, is the figma public for us to see? can you share the link?

000

Paper カミ @codesonpaper.bsky.social · 04/01/2025

You have to stop using that buggy piece of mess. Vesktop is currently best serving my wayland de and screensharing.

110

Paper カミ @codesonpaper.bsky.social · 29/12/2024

Maybe I've been haskell pilled but what usecases have you found that you think you would consider using ocaml for?

010

Paper カミ @codesonpaper.bsky.social · 28/12/2024

This joke is heard by the Group of people with no identity element too :')

000

Paper カミ @codesonpaper.bsky.social · 28/12/2024

Those are only for storage devices iirc

000

Paper カミ @codesonpaper.bsky.social · 28/12/2024

It's referring to chinese DeepseekV3 which is an open weight llm. It has great performance at lower costs compared to OAI or Claude.

040

Paper カミ @codesonpaper.bsky.social · 27/12/2024

I also just added BlueSky as a comment section on my blog as well! Thanks a lot 😄 korigamik.dev.ar/blog/browser...

korigamik.dev.ar

Browsers are absolutely unusable | KorigamiK

A rant on the modern web browser usability for power users.

010

Paper カミ @codesonpaper.bsky.social · 27/12/2024

Btw, this is the first time I'm trying out BlueSky as a comment section thanks to @emilyliu.me bsky.app/profile/emil... So feel free to test it out let me know your thoughts 😄

010

Paper カミ @codesonpaper.bsky.social · 27/12/2024

Had to rant about the usability of current state of browsers being a power-user myself. I try to explain the fixes in my new blog as well... korigamik.dev.ar/blog/browser...

korigamik.dev.ar

Browsers are absolutely unusable | KorigamiK

A rant on the modern web browser usability for power users.

140

Paper カミ @codesonpaper.bsky.social · 27/12/2024

The sky's a pretty blue here, how about you :)

010