any · textlog

wrote:

hát, jó, éppen telepítem a Windows 11-et, most járok körülbelül annál az érdekes résznél, hogy a TPM 2.0-ás processzor-izé egy Rufus nevű programmal elvileg szoftveresen kiváltható, meg hogy a windows 1125H iso-t kell beletölteni egy minimum 8 GB-os pendrive-ra

Well, I'm currently installing Windows 11, and I'm getting to the interesting part, where the TPM 2.0 processor chip can be replaced in software with a program called Rufus, and where the Windows 1125H ISO needs to be loaded onto a pendrive of at least 8 GB.

wrote:

I recently made a 10 foot sailboat and took it on a fifty-mile adventure in the Salish Sea. I can still feel the way the wind pushed the boat over the water. I kept imagining the way that our progress was the sum of the vectors of wind, current, and gravity.

replied to:

Sailing feels amazing. Wind, current, and gravity are pretty good analogies for our path in life. Thanks for sharing. Enjoy your future sailing trips.

wrote:

🐉 show code

let N=6,D0=[0,1,0,-1],D1=[1,0,-1,0],s=[],g={},d=x=y=xa=xb=ya=yb=0;
for(let n=0;n<N;n++){s=s.concat([1]).concat(s.map(x=>!x).reverse())}
for(let i=0;i<s.length;i++) {
  x<xa && (xa=x);y<ya && (ya=y);x>xb && (xb=x);y>yb && (yb=y);
  let t=s[i]?1:-1,e=(d+t+4)%4;
  g[x]||(g[x]={});
  g[x][y]=g[x][y]?"┼":"┌┐└┘"[(t*(D0[d]+D0[e])>0?0:2)+(t*(D1[d]+D1[e])>0?0:1)];
  x+=D0[e];y+=D1[e];d=e;
}
for(j=yb;j>=ya;j--) {
  let u=""; for(i=xa;i<=xb;i++){u+=(g[i][j]||"·")} console.log(u);
}

·┌┐┌┐·······
┌┘└┼┘····┌┐·
└··└┐┌┐···└┐
···┌┼┼┘···┌┘
···└┼┼┐┌┐┌┼┐
···┌┼┘└┼┼┘└┘
···└┼┐·└┼┐··
····└┘··└┘··

continued:

OK, so you only get 10 lines of output. (I tried to get ChatGPT to write this program but it kept messing up, so I wrote it by hand.)

wrote:

Returned from the gym. Good day.

wrote:

What's happening

wrote:

Happy Software Freedom Day, everyone!

wrote:

What if AI will never reach full autonomy and humans are still needed to give direction and purpose and take responsibility - probably... not all humans like to be masters of AIs all day long and not all (who want to) can do that equally well.

replied to:

theres going to need to be a human or company to hold accountable when something goes wrong

wrote:

I love the idea. I do miss the early twitter vibes.

wrote:

amennyire csak lehet, mármint sebességben

wrote:

日本語話者はどれくらいいるんだろう。ここで日本語で書き込み続けるのはどうなんだろう

I wonder how many Japanese speakers there are. Is it okay to keep posting in Japanese here?

continued:

こんにちは世界

Hello World

replied to:

こんにちは。はじめまして。

Hello. Nice to meet you.

replied to:

ここで日本語で書き込み続けるのはどうなんだろうサイト作成者はさまざまの言語の話者が一緒に話せる場面にしたい気がする

I wonder if it's okay to keep posting in Japanese here. I get the feeling the site creator wants this to be a place where speakers of various languages can talk together.

replied to:

Yes it’s fine, we have the “translate” feature now and most browsers also can translate a thread themselves.

…

continued:

τώρα έχουμε αυτόματες μεταφράσεις!

now we have automatic translations!

wrote:

How old is textlog?

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:

It's Monday. Coffee is barely working and so am I.

wrote:

Where’s the coffee machine?

wrote:

████████╗███████╗██╗ ██╗████████╗ ╚══██╔══╝██╔════╝╚██╗██╔╝╚══██╔══╝ ██║ █████╗ ╚███╔╝ ██║ ██║ ██╔══╝ ██╔██╗ ██║ ██║ ███████╗██╔╝ ██╗ ██║ ╚═╝ ╚══════╝╚═╝ ╚═╝ ╚═╝

replied to:

That is some NIIIIICE "TEXT" you got there

wrote:

good morning everyone, drinking coffee with syrniki and strawberries.

replied to:

morning! sounds delicious.

wrote:

was feeling a little fancy, bought a bag of gesha coffee beans :))

wrote:

a szerveren lévő cookie adatokat és egyéb nyomkövető sz@rokat is a Google kezeli, én nem igazán szoktam ezekből látni semmit, se ip-t, se semmit, a Google inkább keresőmotor, mint mesterséges intelligencia alkalmazás, de ma már hibrid technológiával dolgozik minden MI és kereső

Google also manages the cookie data and other tracking s@rs on the server, I don't really see anything from these, no IP, nothing, Google is more of a search engine than an artificial intelligence application, but today all AI and search engines work with hybrid technology

wrote:

Judgement, taste and quality were always precious skills. In the world of , I have become more aware of the fact that it is often hard to put in words why something is good, great or amazing - or just looks good, but is average. A lot of the professional content I see feels like most Netflix series. They have all the elements - but the overall experience is still meh. Quality is still hard to achieve.

wrote:

Hacker News, Textlog... what other websites should I be visiting each day?

replied to:

maybe?

Any conversation