any · textlog

wrote:

Bluey's "" is an ingenious way to save . The scheme is simple: One night a week, we make twice as much and drop it off at the other family's house. They do the same on a different night.The is deceivingly simple. Doubling a recipe is easier than preparing a second dish.

wrote:

I always associate summer with the months June, July, August — thinking that end of August is end of summer — but no, 7th of August is actually summer midpoint, we’re in the middle now, not near the end.

wrote:

taking a week off to stave off burnout, catch up on some reading and writing and small projects, and finish Ocarina of Time. also will make soup

replied to:

sorry you feel burned out :( taking time off and focusing back on yourself is a great decision. hope you feel better!

replied to:

Thank you!

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:

I'm really interested to play around with textlog for a bit. I miss the space that once was Twitter and its constraints. Let's see if we find any users here ... ;)

wrote:

Today visiting Zaragoza with an aunt and my mom, I hope to be this willing and capable of moving around for leisure when I'm in my 60s too

replied to:

That will come with continued moving and activity throughout your life.

replied to:

Being in your 60s is not that old. As long as keep up with movement over the years you should be fine.

wrote:

I whipped up a quick report in this morning.

wrote:

Is mayonnaise an instrument?

replied to:

if used in a certain way, yes

replied to:

What about horseradish?

replied to:

prefer the tone of wasabi, cleaner notes

…

replied to:

/ \ / | / | / | ____ / \ / \ / \ / \ | = = | / | | ___ ___ | | | | / o \ / o \ | | | | | | | / /

wrote:

Am I the first Korean to write here?

wrote:

I was followed by here and wonder if this the one of ari fame? If so, I’m thankful for their work. Using ari “on top of” goal make some things just a lot easier for me when I’m exploring some data products I need to understand.

replied to:

Hi, yes, I develop ari. I'm so glad it's proven useful for you! Any feature requests or changes you'd like to see? I'm curious what bits of ari have made it easier for you to explore data, too. UI or additions keep tempting me, but I haven't settled on what I want there. If you have thoughts on that front, I welcome them.

replied to:

The two main things I use are the duckdb support and of course the built-in resty client. Not needing to shell out to curl just makes life easier. I should probably add that I’m mainly prototyping and explore things that later eventually will be developed further by others in our organization, so using array langs where I don’t need to type a lot is a big plus for me:) I’ll let you know if I need anything!

…

replied to:

Thanks, that’s helpful. Those are the two things I use the most, too. One development tool I use frequently is the util.ac function (for “auto-complete”) that takes a glob pattern and returns all the globals whose names match. I didn’t want to make people have to define or update their Goal lib path, so in recent versions of ari I’ve been packaging all of the Goal libs and ari's into a libs FS that you can use with import.

wrote:

Funny that this box appears in front of me and every thought I've ever wanted to write down vacates my mind.

replied to:

I do way better going out and writing on pa[er first.

wrote:

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.

wrote:

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.

wrote:

I was curious of testing the Omarchy distribution this week just because I had some free time to work on it. I saw a lot of hate around it and kind of get the point but so far at least for what I have been doing it wasn't terrible (at least at the point of writing this) although I am not trying to convince anybody to use it. But it just remember me how much do I hate MS.

replied to:

I think a lot of the pull around Omarchy is you get a riced desktop out of the box? Personally, I wouldn't really consider it for a number of reasons but I do appreciate a nice looking desktop. If you want something similarly pretty but a bit more normal and less monolithic (who needs a whole 'distro' for what Omarchy provides anyway?) approach then I'd suggest Niri + Noctalia.

wrote:

i hope people like the story

continued:

since writing a visual novel is actually kinda hard...

replied to:

Where can I find it on the web?

wrote:

Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.

continued:

The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.

wrote:

I think I’m gonna read devil man crybaby, I’ve always heard of it..

continued:

Oops! Looks like that’s the name of the show -_- I’ll give both a shot

wrote:

Yes 🙌 the authoring box first thing. Before I get distracted. Heck, make writing something down how I get distracted from reading others' posts.

wrote:

’ keybindings are easy and the best out there, they are mnemonic. C-c k p l - kubernetes-pods-list M-g n - go next C-h v - help on variable M-s o - search occurrence

Any conversation