any · textlog

wrote:

Useful software necessarily contacts the world; models are already better than us at finding and poking holes in it; agents sacrificing themselves for a collective. Huggingface incident has me finally Yudkowsky-panic-curious.

wrote:

Am I the first Korean to write here?

wrote:

Anyone know how to get the projects view back on codex? It changed from project categorization to date categorization.

continued:

Nvm. There's a little bell icon on the top right of the sidebar which let's you switch between project and activity views.

wrote:

Never realized how much slow builds kill morale until I have to do multiple back to back 😔

continued:

Nobody is complaining to me because I think they know they will be "voluntold" if they speak up 🤣🤣🤣

wrote:

being a student is great but the tasks are really quite boring. ive worked in academia now a little bit and its genuinely much more fun to work on something real, read papers, do experiments and write. Now i have these last few exams to get through and i cant care for them like i used to.

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:

(╯°□°)╯︵ ┻━┻ still one of my favorites (or rather #unicode_art right?)

wrote:

Longer answer: My editor does not start wars. I use whatever is convenient. Most of the time I am on visual studio code but I'll use anything. Well, anything except emacs I guess. I don't think I have ever actually used emacs.

wrote:

show codelet i=0;while(++i){process.stdout.write(i%80==0?'\n':Math.random()<0.5?'/':'\\')}

\\\//\/\\\\\\\///\///\\\\\//\///\/\/\\//\/\//\//\/\//\\/\///\\\\\\//\\\\\/\\\\/
\\/\\/\/\///\\\/\///\/\/////\\///\/\\/\\\//\\\/\///////\\\/\////\\\/\\\//\\/\//
\\//\\\\\/\\\/\///\\///\\//\\\\/\//\\\//\////\//\\\\////\\/\/\/////\//\\\//\///
\\/\/\\//\\///\/\\\//\/\/\\\///\/\\\/\\/\\\\/\\\\\\\\\\/\\//\/\\/\///\//\\\//\\
/\/\\\\/\/\\/\\/\\/\\\\\\/\\\/\\//////\/\//\\\//\//\//\\/\\\/\//\\\//\\\\\\\/\/
\\\///\////////\\/////\\//\/\///\\\\\////\/\\\\/\//\\/\/////\\\//\\/\/\\\\\////
\///\/\/////\//\////\\\/\\/////\\\////\//\\\\/\\\\//\\\///\\\\\\//\\////\//////
/\/////\\\\\\//\\/\/\///\////\/\\\///\\///\//\/\/\\\/\\/\\\\\\//\/\\\///\\/\/\\
/\\///\/\\\/\\\\//\/\///\\\\\/\/\//\\/\\/\/\///\/\//\/\///\\\///\//\/\///\\\\/\
\\\\/\\\\/\/\\\\\///\/\////\\///\\///\\/\/\\\\\/////\\\\\//\\\\/\\\\\\///\\///\
\\/\//\\//\///\/\///\\\\/\//\/\\/\/\//\\/\/\/\\/\/\\/\\\\/\/////\\\///\\\\\//\\

wrote:

today was a good day

replied to:

\ / _\/_ .-'-. //o\ _\/_ _ ___ __ _ --_ / \ _--_ __ __ _ | __/o\\ _ =-=-_=-=-_=-=_=-_= -=======- = =-=_=-=_,-'|"'""-|-,_ =- _=-=-_=- _=-= _--=====- _=-=_-_,-" | jgs=- =- =-= =- = - -===-

wrote:

one-point-five-shotted a local node app for creating social posts. drawing from static pages (hey this exists) or new blog posts (timely). with copy/paste to x, and one click post to bluesky and mastodon, tag manager and stale/archive/reject/refresh options. An idea and a solution in about 10 minutes. Madness.

wrote:

ChatGPT-generated placards for fruits and vegetables at the local farmer's market 👌

replied to:

Soon, a tablet stand where you type in “what do you feel like eating today?”, and it suggests the best and freshest products.

…

continued:

or just talk to it.

…

(deleted post)

replied to(deleted account):

they will already know you want them and a drone would have already been deployed with a box with everything you need in it.

replied to:

Regular photos are so outdated, everyone knows that

wrote:

Testing this quiet corner of the web. I collect small notes about everyday tools �� file formats, tiny utilities, offline workflows. First post is just a hello; longer notes will follow once I settle in. Plain text feels good after years of heavy editors.

replied to:

Hey that's interesting... I have an interest in plain text markup languages and tools and stuff. Feels like an overlap. :)

replied to:

I’d love to hear also about these workflows. Welcome!

…

wrote:

What could possibly go wrong?

replied to:

ooh maybe I revive and add this feature but instead of being able to modify everything it would be limited to adding features to the game/world. And it’s the perfect domain, a site that’s been ~~entirely~~ mostly hallucinated.

replied to:

Oh wow that site is amazing lol not seen it before

…

replied to:

ty! it’s been 3–4 months since I made it so it’s relatively new.

wrote:

How did all the tech oligarchs seem to go fash so quickly?

continued:

Actually, this makes sense to me - www.youtube.com/shorts/-sFwG2lt-nU

…

wrote:

Power and money somehow emit the whackadoodle in all of us.

…

replied to:

I actually disagree. This guy has been very good at performing The Good Guy for a very long time, but there have been signs all along.

replied to:

Well said. My post was glib. More correctly, they are multipliers. Same goes for Musk. "Musk’s ex-wife Justine, whom he married in 2000 and divorced in 2008, says the man the world began to see in 2020 was the one she’d always known." -slate.com

wrote:

I've opened a shop

wrote:

What does a bean mean?

replied to:

Depends. Is it cool?

wrote:

I think I may be use this for now to spill out my guts a bit. Set out boundaries guys. I was basically ignoring how important that is, whatever is at work, family, relations. Be loved being you, you don't have to meet any expectations beyond yours.

replied to:

Exactly. Whoever likes it. If they respect you they'll stick around, if not, you don't need them.

replied to:

Cheer to that mate!!. Wish I acknowledge before everything started to get messy. but we grow, we learn, we live and we put money on therapy.

Any conversation