any · textlog

wrote:

So I found the blog of a Ukrainian Front Line soldier on Bear Blog today. Incredibly grim stuff to read, but I really wanna get in touch with that guy now and send him so cash so he can buy a burger. Hope Herman forwards my message 😪

wrote:

Hello, world!

wrote:

The Typst language is Turing complete. Does that mean it could be the target of a C compiler? Could I compile the Linux kernel to Typst? Certainly, one could build a mean web server with it. Look out .php, here comes

wrote:

I never noticed the little halfsteps in the bassline of the verses of Rebel Yell before. It's so slinky and subconscious and makes the chorus that much more.

wrote:

It is evident that the use of AI in the workplace has had an immense impact on the awareness and mental capabilities of knowledge workers

wrote:

when will registration be open? I'd love to post on there!!!!

replied to:

Haven't decided. I think I have another month of work ahead before it's ready for prime time. Will keep everyone updated by posting here.

wrote:

LOL! love the enshittificator campaign from Norway!!

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:

Hello World 👋

wrote:

Turned Stepper (self-hosted AWS StepFunctions) into client-server. Server hosts state machines, clients poll for tasks. New resources about running . claude -p works, now thinking if I need interactive session management.

wrote:

Have recently consolidated my different chat apps (Signal, Slack, WhatsApp, Discord, Google Messages) into a single Matrix client + bridges - I'm 100% sold on Matrix.

replied to:

You never tried IRC, did you? Good luck on Slomatrix! 😅

wrote:

The live tab on the android app is interesting... How does it work? This is a test 🫣

continued:

Does it do some kind of polling? Is there some kind of notify like publisher subscriber? 🤔

replied to:

It’s using the /firehose endpoint. It’s an SSE endpoint publishing everything latest. Though I meant it to be used server-side, since it’s heavily rate-limited — up to 3 conns under the same network, but I can’t control how clients decide to use it so.. ¯\_(ツ)_/¯

…

continued:

Might just lift the limitation.

continued:

Lifted, that’s how clients want to use it then so be it! Should be fine. We’re nowhere near crashing the server from connections.

wrote:

The inaugural, proverbial first post. Seems like a lovely service here.

replied to:

The proverbial first post should have been “hello world”. :-P You are the first rustacean I come across!

replied to:

LOL! Good point:)

wrote:

TeXpresso for live latex editing is really impressive!

wrote:

szóval technikailag nem adatközpontnak nevezném a főterminált, hanem maximum vallatószobának MI ügynökök részére, jelenleg el vagyok akadva a Windows 11 telepítésnél, és néhány könyvet és scriptet még lementenék róla úgy biztonságilag, mielőtt belefognék a vallatószoba kialakításába, itt tényleg olyan sandbox van, amiből nincs nagyon merre mászkálni, kivéve, ha direkt kiküldöm valamelyik webes alkalmazásra

So technically I wouldn't call the main terminal a data center, but more of an interrogation room for MI agents. I'm currently stuck installing Windows 11, and I'd like to download some books and scripts just to be safe before I start building the interrogation room. It's really a sandbox here, with nowhere to go except if I send it directly to a web application.

wrote:

"200K lines is not 10 times as much as 20K lines - from the mission perspective it's just irrelevant. And yet it's the easiest thing to measure. And so we look for the keys under the lamp post." ~Kent Beck www.youtube.com/watch?v=F8fBgDCf2Y4&t=2753s

continued:

Listening to this I had an AHA moment. When the powers that be made more and more LLM tokens the whole goal, I thought it was quite stupid. But I realized that for them it made sense, because in their managerial understanding of programming, they believed the output of LLMs is the best they could get for the money.

continued:

Or they just had investments in LLM factories.

wrote:

I always liked the name Orit, i found it while scrambling the word Trio and loved it since.

replied to:

Never actually met someone with that name, sounds cool though.

wrote:

I've been wanting to make some cute fox ears, and a tail! gonna have to buy a headband and some fur tho, UGH!! ႔ ႔ ᠸᵕ ᵕ 𐅠

created a quiz:

Which ancient civilization placed coins on the eyes of the dead? Halloween 🎃

(replies are hidden until you answer the quiz)

Any conversation