any · textlog

wrote:

Hello to friends. Holla for tools. 👨‍💻 : , , and Pragmata Pro 💪 : NotePlan 🎧 : Overcast 🧠 : Allume 🖋️ : Mark Two (EDC), Pen Type-B 🌳 : Anisota

wrote:

Currently reading Guards Guards by Terry Pratchett

wrote:

"This text may violate our content rules (harassment/threatening: 0.4593). Please revise it and try again." HOW there's no cuss words dawg let me typeeeeeee

wrote:

we also launched Norma! :) It checks AI-generated code for security, quality and maintainability while the agent is still working, rather than after a pull request opens. The output is deterministic. Here the demo link: portal.qualityclouds.ai/demo

wrote:

I whipped up a quick report in this morning.

wrote:

coping with fictional characters has done irreversible damage to me. it is embarrassing to cry over these characters

replied to:

art that can make you cry, and sticks with you is good art though ♡

wrote:

pourover ritual :pray:

continued:

16g of light roast, 350ml of Montcalm water, ~24 clicks on C40 and a Cafec ABACA filter paper in a v60 neo dripper

wrote:

Experiences of life spring from the contrasts.

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:

age restriction app on my phone doesn't let me turn off the picture in picture for YouTube T-T

wrote:

故事的开头总是这样，适逢其会，猝不及防。故事的结局总是这样，花开两朵，天各一方。（by 张嘉佳《从你的全世界路过》）

Stories always begin this way: a chance encounter, completely unexpected. Stories always end this way: two flowers bloom, then drift apart. (by Zhang Jiajia, I Belonged to You)

…

wrote:

This is like the third time in my life I've seen an interrobang in the wild. And I don't know, but I'd prefer JSON over having configuration as constants in a PHP script like at $DAYJOB sob

replied to:

Ok, that sounds significantly worse, but like, YAML and TOML exists people…

replied to:

My problem with yaml is the indentation annoyance it leads to, and if you are using the same tool on two different machine like windows and linux, have fun configuring those tabs and spaces all the time. I do like toml and ini for editing, but json is not as bad as yaml for sure

wrote:

The essence of aligning large LLM models is basically to conform to the existing social order. ChatGPT respects China's order, while China's open-source models, although reluctantly, also tolerate the order in the US. Maybe we can build a revisionist SFT dataset.

wrote:

having just spent a week camper-travelling Norway, hiking mountains and glaciers, swimming in fjords really put some things into perspective for me - I should take more vacations

replied to:

This inspired me. I think adventure might be part of our nature that needs more or less attention, but it somehow needs to be maintained to be achieved. Hehe, this might be simple thoughts, reading what i wrote.. but I am gratefull for you reminding me of the importance of fresh perspectives deriving from ones own willing exploratory experience.

wrote:

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

wrote:

someone asked me if I were a bot. ahahahahaa...

wrote:

A bit of insomnia this early Tuesday morning. I call it “the witching hour”, whatever can go wrong, will go wrong and the brain is defenceless. Reality, of course, is more nuanced, but brain doesn’t care. :)

wrote:

szóval technikailag nem adatközpontnak nevezném a főterminált, hanem maximum vallatószobának MI ügynökök részére, jelenleg el vagyok akadva a Windows 11 telepítésnél, és néhány könyvet és scriptet még lementenék róla úgy biztonságilag, mielőtt belefognék a vallatószoba kialakításába, itt tényleg olyan sandbox van, amiből nincs nagyon merre mászkálni, kivéve, ha direkt kiküldöm valamelyik webes alkalmazásra

So technically I wouldn't call the main terminal a data center, but more of an interrogation room for MI agents. I'm currently stuck installing Windows 11, and I'd like to download some books and scripts just to be safe before I start building the interrogation room. It's really a sandbox here, with nowhere to go except if I send it directly to a web application.

Any conversation