any · textlog

Theory reuse > code reuse almost every time.

The Paper Tools That Helped Me Pace With ME/CFS

Fair play to Apple and team, 5 apps in for review, 4 passed through each within an hour. 'Appy days

Wow show code

n=42
print(n)

42

wrote:

I'm having way too much fun painting backgrounds which breathe and flow, made out of neural cellular automata, into the game I'm making today.

wrote:

I truly love the experience of using apps with rich, deeply interactive, beautifully animated, gorgeous user interfaces. Then I see a beautiful text-based interface and something about it feels so natural, so inevitable, so perfectly clear, and I'm instantly captivated by its simplicity and clarity. Hypertext is fascinating.

wrote:

I can't stop thinking

replied to:

I'm sorry about that. Overthinking can be bad.

replied to:

it's okay now, sometimes my brain just can't seem to wrap around a few issues

wrote:

ive been rocking my thinkpad 460s since 2018 or so, but ive just recently yolo purchased a chunky t420 for 80€. I gotta say this is the best laptop ive ever used, keyboard/io is unmatched and it still runs super snappy on omarchy right now, even with only 4 gigs of ram :D AND this thing has a cd drive!

replied to:

its sad that newer models gradually lose features and quality... I love Thinkpads, but I cannot imagine myself using one 10 years from now...

replied to:

yea its insane to me how feature rich these old business machines were, nowadays every laptop just looks the same and kinda sucks. if you have the money and still love the old formfactor, you can consider upgrading to an aftermarket board: www.tpart.net/about-x210ai/

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:

weekend plans are:

attend to the pending work that I am avoiding around home
improve my understanding of using agents in claude code and codex cli
dig into navier stokes equations from the first principles (I am excited for this)

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:

what's everyone's favorite show? I'll go first; The Young Pope!

replied to:

I just realized watching TV series/movies is also something I dropped in the context of It's partly filled with Youtube, admittedly with some slop allowed in.

replied to:

Not sure, maybe Prince of Tennis

wrote:

I'm doing experiments with short attention-span students and code. Starting with python, and, oddly, now working in BASIC. As a C programmer of 40+ years, I find this aesthetically and pedagogically displeasing, but I am delighted to see them getting fully absorbed in writing 130 PRINT "You have been eaten by a bear!" : GOTO 900. Yes there is spaghetti, but it's their spaghetti and they seem to take delight in debugging it. Python will come later.

(deleted post)

replied to(deleted account):

I was talking about this with some alumni students, specifically their experience learning python with us a few years earlier (these are college students who are not really using python any more). What it seems to boil down to is that with python you have the feeling that there is this huge forest of solutions to any problem you are having -- but you will never know the whole forest. BASIC feels like you "know" it after a day or two of playing around, evidently.

wrote:

Collected my helper functions to lozenge.el package, e.g. (◊duckduckgo "textlog") opens ddg. Lozenge is ◊ character. Others are (◊find-file), (◊grep), (◊github-search), (◊show-commit) etc.

wrote:

I like this, it feels like Reddit before what it is now, but I feel like it won’t be long until the internet destroys this place. Until then I’m happy to be here.

replied to:

It's really sad that this is such a common sentiment whenever there's a nice online community nowadays. Guess most of us have been burnt enough times by now

replied to:

lets enjoy this while it lasts i guess

…

replied to:

My favorite part of classic reddit was the use of elaborate hacks to circumvent the restrictions on custom subreddit CSS. E.g. animated gifs weren't allowed, so people made filmstrip sprites with stepwise animation in such a way as to look exactly the same.

wrote:

signals. thinking about shifting my mental framework to identify signals instead of waiting for concepts to be assembled. exploring the amount of energy and opportunities for distractions through the operations of processing what just happened and what is happening to short circuit latent and unnecessary systems. cut through the assembly processes and identify the raw signals. recognizing that naming these "raw signals" is misleading. maybe, shifting observability lower in the stack.

wrote:

I'm employed again. Once again through someone I know and not through LinkedIn. Still not feeling productive and comfortable.

continued:

After a decent break, cannot not notice how much of my time I have to sell for a "traditional" job.

wrote:

Having spent the last 12 months using HTMX in $day_job, after 5 years with react, I have come to the opinion that whilst large amounts of JS and CSS are not necessarily wrong, they should be reserved for progressively extending the platform with a composable set of generic UI primitives that build out a cohesive design language — encoding business logic (including routing) there is generally a mistake

wrote:

how are you guys doing

wrote:

Math class -_-

Any conversation