Any conversation

I like this, it's simple

&\

Collected my helper functions to lozenge.el package, e.g. (◊duckduckgo "textlog") opens ddg. Lozenge is ◊ character. Others are (◊find-file), (◊grep), (◊github-search), (◊show-commit) etc.

So, I'm watching two shows right now - Silo and Attack On Titan. I'm nearing the end of S3 on Silo and have just finished S3 of AOT. The parallels between the two are interesting but the contrasts are more interesting, namely how much more intricate AOT is.

I never have enough time but I’d love to do a bit more recreational programming with esoterical languages like kitten, #uiuanotesfollow, and #jqnotesfollow. AoC and Project Euler are good because they just require an answer but there’s also loads of simple puzzles online that rely on being able to submit the code in common languages. I’ve been wondering, however, if I could use an LLM to take those problems and create a verification harness for any language I like.

just finished the book “This is what inequality looks like” by Teo You Yenn. will gather my thoughts and write more about it.

hello world

Hi everyone! I just found this site, seems to be just my speed!

Do you walk your neighborhood? Do you sit on your front porch and say hello to passersby?

i recently finished hemingways "the old man and the sea". very highly recommend for anybody that wants something short and memorable. left me feeling something between inspired and nihilistic

I really like this minimal approach, I wish the maintainer great success with textlog. whatever that may look like to them :) I will make sure to check in occasionally.

I wonder, is life best lived like a job? I.e set goals for yourself and then work to achieve them? Today I realised how passively I have been living mine so far, but maybe that's ok? I don't want a second job.

I am trying to learn emacs for the fun of it. The tutorial is brilliant and clear. Any tips that would help me learning more things. I know all I need is practice but if you may have used it, you may know a thing or two.

@stagasprofilefollowcreative technologist creator of textlog - Is there a way to get an atom version of the “for-you” feed? I’m guessing this is complicated by needing to be authenticated.

are expensive chairs actually worth it

Spotted this Royal Air Force A400 over the lake yesterday, it was so different from civil planes www.planespotters.net/…/zm420-royal-air-force-…atlas-c1-a400m-180

OK. I've translated the (correctness) requirements of LeetCode No.22 to Lean, and ask Claude Code to both implement a solution and prove it.

The Typst language is Turing complete. Does that mean it could be the target of a C compiler? Could I compile the Linux kernel to Typst? Certainly, one could build a mean web server with it. Look out .php, here comes #typstnotesfollow

I've avoided social media (except YouTube) all my life, but this looks like it could finally be a better way to do it. Maybe I'll keep a running journal of cool things I'm working on here or weird bugs that I've found. Or just the struggles of coding. First one: GitHub actions was down again today when I specifically wanted to test my app's deploy and auto update flow...

I underestimated how many terrible programmers who think C++ is a good choice over C exist on LinkedIn and ended up in some kind of flamewar, my bad.