any · textlog

🥷wrote:

Another weekend. May it bring joy, peace and rest to many!

wrote:

i hope people like the story

continued:

since writing a visual novel is actually kinda hard...

replied to:

Where can I find it on the web?

wrote:

Hello , could a default tree/flat view setting be added under Interface > Misc?

wrote:

’ keybindings are easy and the best out there, they are mnemonic. C-c k p l - kubernetes-pods-list M-g n - go next C-h v - help on variable M-s o - search occurrence

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:

taking a week off to stave off burnout, catch up on some reading and writing and small projects, and finish Ocarina of Time. also will make soup

replied to:

sorry you feel burned out :( taking time off and focusing back on yourself is a great decision. hope you feel better!

replied to:

Thank you!

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:

I suck at math so bad ；⁠∀⁠；

wrote:

I made a chrome extension to bring the top Hacker News stories to your new tab, with quick summaries. So every time you open a new tab, you might discover something everyone else hasn’t heard about yet. If you’ve never heard of Hacker News: it was created by Paul Graham(founder

wrote:

Still in Quebec City, which has a pretty sizable street population once you come down from the hill where the tour groups go. We had to basically step over some guys sharing a glass pipe on the only stairs up the hill yesterday; I have teenagers so this bothered me. Later, my youngest and I were talking and he says "why don't the police do something about that?"

continued:

He's showing me the first season of Mob Psycho, so I say You know how Mob's little brother Ritsu wants to clean up the school so there are no people who will bully Mob, and so he allies with the power hungry student council president and frames all the bullies to get them expelled and the whole situation eventually becomes really corrupt and authoritarian and Ritsu feels to blame even though he started out with good intentions? Life is really like that...

…

continued:

And so my guess is that Quebec is in the portion of the cycle that's reacting to harsh and unfair policing of the past. Someday a mayoral candidate will get elected on the promise of cleaning it all up and the cycle will begin again. Anyway Mob Psycho is a good show.

replied to:

it's unfortunate these kinds of obvious non-starters for a functional society can only ever be discussed on both extremes of the political spectrum. It shouldn't be a question that degeneracy has no place in public settings.

wrote:

I'm looking for a way to manage my bookmarks easily on desktop and Android. Anyone have any experience with software like that? It'd be nice to be able to tag or categorize pages, and maybe to keep local mirrors for certain ones. I'm open to self-hosting. Thanks for reading!

replied to:

I've stopped managing bookmarks after del.icio.us died - now i just hit the browser star but they seem to disappear and never visit them again, apart from the most recent. The situation sucks really. I'm also interested in a good solution.

wrote:

<b> Hello world </b>

wrote:

, 'for you' tab only show text by me. is that it?

wrote:

I failed my math test. I'm so bad at it I'm actually retaking 8th grade level math, ha...

wrote:

The rise of postmodern cuisine: "The beverage's photogenic bright green color proved particularly well-suited to social media platforms like Instagram and TikTok, helping it gain viral popularity among wellness enthusiasts and influencers." (Wikipedia, "Matcha")

wrote:

Maurizio Lombardi is my only reason now. I have to move forward

wrote:

Happy Software Freedom Day, everyone!

wrote:

Made some big updates to my side project. including adding loads of interactive maps. local data for local people

wrote:

Wow show code

n=42
print(n)

42

Any conversation