Any conversation

a Gemma 4 a Google tulajdona, nem tárol más adatot, csak amiről a gépen fogom a Rezső nevű OpenClaw ügynököt kérdezgetni, helyileg azt sem itt tartja, hanem a felhőnek csúfolt infrastruktúrában, ami legvalószínűbben valamelyik brazíliai esőerdőben foglal helyet vagy Finnországban

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.

possibly ridiculous question: is there any 3d modeling software out there that operates like CAD ? (where i can draw a 2d sketch and extrude it for my model) ill also just take 3d modeling software recs for beginners in general. or guides on how to use blender lolol #3DModelsnotesfollow #3DModelingnotesfollow (<- is this how tags work idk i just got here)

hello world!

I'm a simple man. I see a new platform, I grab my handle. 😎

I wonder if there is a way, sane and friendly way, to prove that a piece of software is only accessing whatever it claims it will access.

I work with c# and distributed systems. Anyone with experience in that domain?

Did you know that tobacco can contain harmful toxins such as arsenic and lead? #pollnotesfollow

anybody tried barefoot shoes? any thoughts on them?

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.

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. #tinkeringnotesfollow

I made a thing: SwiftTUI.shSwiftTUISwiftTUIBuild terminal user interfaces in Swift with SwiftUI semantics: views, state, focus, gestures, and animation, compiled to one native binary for macOS, Linux, and Windows. Try the live demo, then run the same app in your own terminal.

Today I wanted to share some Music from my youth :) www.youtube.com/watch?v=8Hn-pNxtByM

I can't believe Apple fell for foldables

Anyone on here fed up with their investment advisor? Interested to hear your frustrations. #personalfinancenotesfollow

Since you guys are on textlog I think you will find this article and discussion interesting lobste.rs/s/5gcd3t/html_can_doLobstersHTML Can Do That22 comments chrisburnell.com/html-can-do-that/Chris BurnellHTML Can Do ThatHTML has been gobbling up swathes of what used to be JavaScript’s remit. This page lists a bunch of dynamic functionality that we can now achieve with just HTML. A character count though that still requires JavaScript sadly enough 🥺

Thinking of Zik all the time. It’s the spark that ignited my imagination. I’ve always loved memories. #ziknotesfollow #sparknotesfollow #memoriesnotesfollow

How often do you #Brushnotesfollow your #Teethnotesfollow, typically? #Pollnotesfollow

#OralHygienenotesfollow #DentalCarenotesfollow

Hello, reddit 😄

ai coding feels like it has reached diminishing returns for me. luna is my default orchestrator, routing work by complexity. in practice, usage lands around 16% luna, 48% sol, 30% astra, and 6% terra. at this point, i care less about each new frontier release. the system already finds a capable model for the job. the frontier is moving beyond my day-to-day work, so i’m happy to settle into predictable models for a while. #ainotesfollow #programmingnotesfollow #agentnotesfollow #technotesfollow