Any conversation

I think a trusted piece of software such as your operating system should be in charge of managing permissions. For example, I believe with Wayland on gnome you no longer need to promise you aren't secretly taking screenshots of the whole monitor and shipping it somewhere because to do that Wayland requires you to get user permission.

I was thinking along the same line, but then if it is not a gated system - there’s always ways for software to sidestep these - just going down to a lower level. The other issue I have is if the system or software asks or notifies all the time - for every tiny user action!

I have tiktok and instagram on this phone and both of them have no notification permissions. I'd rather miss all notifications for these apps than be bothered unnecessarily. it can wait until I open the app 🤣 yes, it should be gated in the sense studying locally needs to be root, not in the sense that the apple app store or Google play store reviewers need to review each update.

Apa kabar dunia?

I like this.

hát, jó, éppen telepítem a Windows 11-et, most járok körülbelül annál az érdekes résznél, hogy a TPM 2.0-ás processzor-izé egy Rufus nevű programmal elvileg szoftveresen kiváltható, meg hogy a windows 1125H iso-t kell beletölteni egy minimum 8 GB-os pendrive-ra

Well, I'm currently installing Windows 11, and I'm getting to the interesting part, where the TPM 2.0 processor chip can be replaced in software with a program called Rufus, and where the Windows 1125H ISO needs to be loaded onto a pendrive of at least 8 GB.

Hello world?

I was followed by here and wonder if this the one of ari fame? If so, I’m thankful for their work. Using ari “on top of” goal make some things just a lot easier for me when I’m exploring some data products I need to understand.

Hi, yes, I develop ari. I'm so glad it's proven useful for you! Any feature requests or changes you'd like to see? I'm curious what bits of ari have made it easier for you to explore data, too. UI or additions keep tempting me, but I haven't settled on what I want there. If you have thoughts on that front, I welcome them.

The two main things I use are the duckdb support and of course the built-in resty client. Not needing to shell out to curl just makes life easier. I should probably add that I’m mainly prototyping and explore things that later eventually will be developed further by others in our organization, so using array langs where I don’t need to type a lot is a big plus for me:) I’ll let you know if I need anything!

…

Thanks, that’s helpful. Those are the two things I use the most, too. One development tool I use frequently is the util.ac function (for “auto-complete”) that takes a glob pattern and returns all the globals whose names match. I didn’t want to make people have to define or update their Goal lib path, so in recent versions of ari I’ve been packaging all of the Goal libs and ari's into a libs FS that you can use with import.

Lonely in the night

Spotted this Royal Air Force A400 over the lake yesterday, it was so different from civil planes www.planespotters.net/…/zm420-royal-air-force-…atlas-c1-a400m-180

hi from Augsburg

hi! welcome :)

Onboarded on Claude Team with Unlimited credit usage. In the first day, subscription limits were hit and then it silently went on spending 530 EUR in credits before I noticed.

In a single day? That’s insane. It’s 5 months on the 100$ Codex which is practically unlimited.

In a few hours, yes. Token-based pricing is insane.

I knew token-based was more expensive but didn’t imagine that much. Which is why u can’t compete making alternative coding agents, their own subscriptions are much cheaper, but why they do it on their own Teams package is weird. Maybe targetting companies they feel they can pay.

…

Yes, that's for enterprises, that want SSO, governance, budgeting, data protection, etc etc. For C-level they are interested in "how much do we pay for AI", and with personal subscriptions you can't answer => can't manage it. This 530 EUR is the price for that learning.

Gave this evergarden colorscheme a shot after seeing it on lobsters today. Quite liking it.

Also prompting me to refresh my tmux config, which I've been meaning to do for years now. ~~Spring~~End-of-Summer cleaning!

Cool use of ANSI sequences in curl -L evergarden.moe - can preview the theme without running any shell scripts!

(∩╹□╹∩) ``

I never have enough time but I’d love to do a bit more recreational programming with esoterical languages like kitten, , and . AoC and Project Euler are good because they just require an answer but there’s also loads of simple puzzles online that rely on being able to submit the code in common languages. I’ve been wondering, however, if I could use an LLM to take those problems and create a verification harness for any language I like.

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.

The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.

I have to constantly be working or I get very agitated. Is this ? I don’t like entertainment other than background music while working and maybe before going to sleep I watch a series on Netflix to relax. That’s when I’m on my introvert mode. When I’m extrovert (I’m ambivert) I have to constantly be around people and outdoors, I get agitated indoors, can’t work at all and definitely can’t watch anything. How do these two personalities co-exist in me?

_ _ __ ___.--’_`. .'_`--.___ __ ( _`.'. - 'o` ) ( ‘o` - .`.’_ ) _\.’_’ _.-’ `-._ `_`./_ ( \`. ) //\` /\\ ( .'/ ) \_`-’`---'\\__, ,__//`---’`-'_/ \` `-\ /-' '/

Noice Froggos make everything better.

Hello! I am a cynical optimist and recovering realist. It's been 3 days since my last sip of Hobbes. Today, I'm hopeful again. That's all I have for now. Thanks.

We have 27 chickens right now, 18 of which are new this year and are just starting to lay in the last few weeks. I have collected 13 eggs today so far.

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?"

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

…

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.