Paper カミ

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

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!

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 😁

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

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 😭😭

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! 😭

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

It's called Learning-based commitment

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

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

milewski's lectures and racket docs are a great supplementary reader for actually understanding the cat theo bros

docs.racket-lang.org/ctp/_Functor...

it gets funner every day 😄

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

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

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.

YouTube video by K jxl The Gaussian Integral (Reanimate)

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

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 ;)

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)

So why not try zen-browser.app

In vertical tabs are way more productive in use

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

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

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

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 😊

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

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

VSCode Intellisense on objects

These functional programmers can't comprehend this experience

GitHub - KorigamiK/markitdown_mcp_server: A Model Context Protocol (MCP) server that converts various file formats to Markdown using the MarkItDown utility. A Model Context Protocol (MCP) server that converts various file formats to Markdown using the MarkItDown utility. - KorigamiK/markitdown_mcp_server

This one server I made is providing me so much value hands down:
github.com/KorigamiK/markitdown_mcp_server

Example Servers - Model Context Protocol A list of example servers and implementations

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

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.

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