any · textlog

wrote:

Lot of wildlife run-ins on my neighborhood trails this week. Ran past three deer yesterday, including a buck. Then a hare as I made it to the top of San Pedro Mountain this morning.

wrote:

First post on textlog!

wrote:

Ubuntu telepítése a VirtualBoxba rendben megtörtént. Már csak egy ügynököt kell bele fogni, és máris kész az "AI torture chamber", ahogy a Futurism írja... Mondjuk, első körben még nem így fogalmaznék...

Ubuntu has been successfully installed in VirtualBox. All you need to do is add an agent and you have an "AI torture chamber", as Futurism describes it... Let's just say, I wouldn't put it that way at first...

wrote:

ran 5km daily for 7 weeks now

replied to:

wow congrats!

replied to:

Wow, respect!

wrote:

almost done beating fear and hunger.... so hard!!!

wrote:

code quality is about coupling. coupling is not a technical property of the code bytes. code acquires its meaning in contact with the cultural environment, and coupling is about meaning. two constants with no semantic relationship are nonetheless coupled in pragmatics if they refer to the same domain concept. if your goal is to minimise the time integral of future work, you must understand your domain: it decides which lines will need changing. to carve up a codebase is to carve up the world.

replied to:

I think you're right but executing on that idea requires a lot of care. It's similar to how functional programmers pathologically fear state; sometimes coupling/state are a necessary evil in order to keep the theory simple.

replied to:

true! i might have been wiser to say: code quality is about managing coupling across the whole system. extracting a coupling sometimes requires you to introduce complexity beyond that which the extraction reduces.

created a quiz:

Which of these existed first?

(replies are hidden until you answer the quiz)

wrote:

I miss the Dat protocol.

wrote:

thanks to ai I genuinely hate the word "genuinely" now 😭

wrote:

SCP-9871 (Omnidirectional Chicken): Foundation staff dispatched to Civilian ███'s home in the guise of Animal Control, on reports of "I get woken up by this rooster but none of my neighbors have chickens and it's like it's coming from everywhere and nowhere". Staff confirmed report but were unable to locate source. Case designated as of potential interest but low-priority given current critical personnel shortage. Channel further communications from Civilian ███ into Automated Dialogue Tree 318.

wrote:

amennyire csak lehet, mármint sebességben

wrote:

When I was 10, I thought I'd be a scientist I wanted to tinker in a lab, doing something with beakers and bunsen burners Making a difference. As an adult, I sit in meetings and discuss who to fire next I tinker with spreadsheets, doing something with LLMs and JIRA Be enthusiastic

replied to:

As young kid I dreamed of working with reel-to-reel machines Cutting/splicing tape, happy accidents As a teen I couldn't afford reel-to-reel but got decent with multi-track cassettes Everyone was telling me digital was The Way (tm) In my 30s, I finally learned how to use a DAW properly In my 40s, I'm back to playing around with multi-tracks cassettes There is no money in it, but I'm enthusiastic as I can be (this is not so much as direct response as simply a response)

wrote:

Day length formula: (Did you know that it becomes a triangle wave at the (ant)arctic circle?)

👋

👋

👋

Hello World 👋

úgyhogy az idénre beígért informatikai projekjeimet már eleve vaporware-nek nyilvánítom a késedelmes indulás miatt

so I'm declaring my promised IT projects for this year as vaporware from the start due to the delayed launch

wrote:

Hello! Is anyone else trying local AI? Im dont know what im doing but lately ive been trying "Llama 3,2 3b instruct q5km" on my phone and its been surprisingly good.

continued:

Its to replace using central ai for basic tasks like text editing, analysis and brainstorming.

replied to:

If you have Mac, you might check out this app: blaizzy.github.io/nativ/

…

replied to:

i think the best you can get right now is qwen 3.8 27B. youre gonna need 24 gigs of some fast memory though, i heard theres decent quantizations that can also make it run on 16. im quite excited about open/local models, but theres big investment overhead with the prices right now

replied to:

You might be able to try out colibri, its quite good and the models are a bit better. I am unable to connect any of the cli agents to do things with it though, probably due to context limits, but try it out. OlMoe is the lightest

wrote:

what an odd summer it must be for mathematicians.

replied to:

Interesting. Why?

replied to:

It seems this year is when big budget LLM players overtake independent academic mathematicians, in speed at least. The Jacobian conjecture, a lot of Erdos problems, now even the Navier Stokes millenium problem. Solved due to new model releases, all within this summer.

continued:

model releases or internal research by the big AI labs*

replied to:

So, can we now say that LLMs are able to do things that nobody has done before? Can they extrapolate?

…

replied to:

in math it can definitely prove statements that havent been proven before. I dont think thats the big thing though since it also writes sentences nobody has ever written before and in software it can write programs that havent been written before. Its just that the speed and scalability that has overtaken human mathematicians and programmers

wrote:

Aaron Sorkin's The West Wing is among the subtlest of all propaganda—it is propaganda that everyone sincerely wishes could be true, and is dangerous specifically because it is not and cannot be.

Any conversation