any · textlog

TeXpresso for live latex editing is really impressive!

hello all and good morning. i need to go buy coffee

morning! one for me too. a cappuccino please.

tech influencers on twitter: god i hate interacting with other people. i love my new bot that does it for me. life is so much better now that im just telling bots what to do and not talking to people. i can’t wait for everyone to be bots!

wrote:

Here I am trying to shine amidst all the darkness that pulls me down.

wrote:

There is beauty in simplicity. Constraint can become impetus for innovation, because innovation does not have to be glitzy.

replied to:

좋은 문장입니다.

That is a good sentence.

…

replied to:

Word! It's a travesty that complexity seems to be lauded and rewarded over simplicity.

replied to:

My favorite innovations in my own work -- and to be honest, I'd prefer to call them "discoveries" -- came from simplification. There's a beautiful moment when a stack of difficult, conflicting ideas collapse into a tighter, simpler structure.

…

replied to:

Enlightenment

wrote:

hű, de izgalmas, most kúszik fel a Gemma 4 LLM a silent hawk laptopra, a dual boot-os főterminál már nem bírta az osztályharcot, remélhetőleg nem kell hozzá se vpn, se statikus ip, VirtualBoxba jön az OpenClaw ügynök, majd a humanities informatikai projekten belül beszámolok róla

hello, but exciting, Gemma 4 LLM is now crawling onto the silent hawk laptop, the dual boot main terminal couldn't handle the class struggle anymore, hopefully it won't require a vpn or static ip, the OpenClaw agent is coming to VirtualBox, I'll report on it within the humanities IT project

wrote:

Current aliases: # The canonical tug tug = ["bookmark", "move", "--from", "closest_bookmark(@-)", "--to", "@-"] # Show my current work-in-progress(es). To wip it, whip it good. wips = ["log", "-r", "bookmarks() | description(exact:'')"]

replied to:

I've found myself really liking the "megamerge" workflow. Not an alias, just a whole thing.

wrote:

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.

continued:

In the first attempt, Opus 4.7 successfully completed it and proved it. However, the solution is to enumerate all possible space and .filter out anything that doesn't qualify my definition, which is obviously not ideal (if cheating is too harsh).

continued:

I can't think of a good way to also prevent that kind of solutions and ended up prompting "please don't enumerate and filter". Opus 4.7 then reimplemented and proved the backtracking algorithm.

…

wrote:

last time i checked cbd was just not psychoactive at all no?

replied to:

It doesn’t have the high but it will make you more alert, kind of like tea or coffee.

replied to:

I just took a look on it yesterday and seems like the stimulant effect is there, so seems like at this point there are mix results on if it actually helps with anxiety and sleep issues. For me personally seems to work just fine but Im not 100% sure how much does it actually does something for me or is just a placebo effect. My thinking is that if I do it from time to time, I can let my body get use to the feeling of a sleep schedule without create dependency on external melatonin dosis or CBD.

wrote:

Huge items in the plus column for Quebec City: lots of music stores, and lots of shops where you can buy a really good chef's knife.

wrote:

Q: What’s a dog’s favorite part of the opera? A: The ARRRRRRRRR-ia!

continued:

This joke also works with pirates.

replied to:

^\ / //o__o /\ / __/ \ \______\ / -ARF! \ / \ \----\ \ \_\_ \_\_

wrote:

Found some coffee at TJ Maxx (american discount store) -- not a big discount but still fun.

wrote:

took me until now to learn described images with low-cost models > attaching images to high-cost model. silly me. output quality remains, cost lowers.

replied to:

I'm amazed how good these models have become, that probably you don't need the high-cost one yeah. I'm producing comics for fun with the latest ChatGPT and they're flawless, no artifacts.

wrote:

I finished Rejection by Tony Tulathimutte and now I'm struggling to take any other book seriously. I need a pallet cleanser or something before I can move on

wrote:

buit a keyboard driven calendar webapp right now cause im disappointed with all tho other solutions i could find. no dependencies, super customizable, im kind of obsessed. for the first time in my life im actually keeping my calendar alive.

replied to:

Something you’re willing to share in any capacity? I’ve felt like calendar apps are one of the most poorly-solved areas.

replied to:

i actually just shipped it lol: let me know what you think if you set it up! I really like the cursor for navigation.

wrote:

Anyone read Neil Postman?

replied to:

I just google it and now I feel like I have to read it

replied to:

Do you have a recommended starting point?

…

replied to:

haven't read him but i see his "Technopoly: The Surrender of Culture to Technology" referenced a lot lately

replied to:

Started reading exactly that and man it's mind-blowing. He's not anti-tech, he's anti big-company-culture-capture. Really insightful for being written in 1998. What I appreciate is he looks at a very wide view of tech, not just modern silicone.

wrote:

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

wrote:

One day I would like to see Thailand. That would be nice.

wrote:

Salom

Any conversation