any · textlog

wrote:

WezTerm for local and remote multiplexing really is the ideal experience - it's so much better than using zellij, tmux, zmx, and friends.. I don't think they pitch this feature hard enough on their site. I think the in-terminal multiplexers have their place - e.g. if you need to access from mobile (no WezTerm there) or on machines where you simply don't want to install WezTerm for some reason. WezTermrm could probably eliminate that last one by packaging just the mux server.

wrote:

hello folks

wrote:

brings so many issues. It really accelerates. Not only the good parts but also the bad parts. Combine this with a product person that doesn't even know what a refinement is. I'm 41, maybe I'll study to pivot, maybe I'll get into trading. I can't handle it anymore.

……

replied to:

what is a refinement? honest question - I'm restructuring our refinements now. Like having group of people discussing 5 items in an hour gives little chances any one of them will be addressed properly, unless they are trivial.

replied to:

Architect/lead have a pre-refinement with product to clear 80% of the obvious questions. We share an agenda, devs can ask questions async. In the refinement product presents, we design a solution draft. 15 minutes/item. This doesn't work if product is incompetent and everything is AI-slopped.

…

replied to:

Thank you, like!👍

created a poll:

Can you learn programming by building with AI?

Better than before5%

About the same0%

Worse than before55%

Depends how you use it40%

20 voted

replied to:

If programming is the typing of characters into a text file, it is way worse. I think the key to learning is still doing it rather than reading it. If the question is about system design I think you can, but only if you curious and it becomes a problem that needs to be solved. Asking "What do you think" is one of my favorite questions to learn at the moment.

replied to:

I do think there will be what were hard earned lessons about system design, code smell, designing data structures for the hardware you're running on, concurrency golden paths, etc., which are now with agentic dev even harder to learn and internalize. But also if you have an excellent teacher in the form of an actually-good model pair programming with you always, maybe not? Maybe a pair programming AI programming tutor would be a good Zed/vscode extension. Or product.

wrote:

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

wrote:

오늘은 휴가~

Today is a vacation~

wrote:

Some thoughts deserve a smaller audience

wrote:

|\__/,| (`\ _.|o o |_ ) ) -(((---(((--------

continued:

meow, no likes, no karma points, no engagement tricks, just thoughts and replies

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:

release 0.1.0

replied to:

more like 0.0.1 :P

wrote:

tech influencers on twitter: god i hate interacting with other people. i love my new bot that does it for me. life is so much better now that im just telling bots what to do and not talking to people. i can’t wait for everyone to be bots!

wrote:

again. Was in the middle of some timeline experiments, sorry if it appears weird rn. www.githubstatus.com

wrote:

Wow show code

n=42
print(n)

42

wrote:

was shocked at how antiquated making international payments are in 2026!! used transfermate - no tracking, no visibility. just transfer and pray my money reaches 🙏

continued:

should have picked another payment method… silly me

wrote:

spiral show code

for(y=-5;y<5;y++){
  s=""
  for(x=-10;x<10;x++){
    r=Math.hypot(x/2,y);a=Math.atan2(y,x/2);s+=" .:*#█"[((r+a*2)%5+5)%5|0]
  }
  console.log(s)
}

::.........:::***## 
..         ...::**##
   ########  ..::**#
###********#  ..::*#
#**:::...::*# ..:**#
.  ##**::.  ..::**##
  ##**:.. #*::***## 
  ##**:..  ######   
. ##**::...      ...
.  ##***:::......:::

wrote:

Apa kabar dunia?

wrote:

I've linked up my blog (jeff-mitchell.dev) to textlog. I hope to use the two things together now to build a bit more of a writing habit. The 500 character increase is nice, room to breath but not an essay. Gotta build the muscles slowly :)

wrote:

I finished Rejection by Tony Tulathimutte and now I'm struggling to take any other book seriously. I need a pallet cleanser or something before I can move on

Any conversation