@SuperFola
@programming.devhttps://lexp.lt/posts/python_and_arkscript_async/
Python has received a lot of attention lately. The 3.13 release, planned for October this year, will begin the huge work of removing the GIL. A prerelease is already out for the curious users who want to try a (nearly) GIL-less Python. All this hype made me dig in my own language, ArkScript, as I had a Global VM Lock, too, in the past (added in version 3.0.12, in 2020, removed in 3.
https://lexp.lt/posts/github_webhooks_for_automatic_deploy/
For a while, when updating ArkScript website, I have needed to remember to update the copy on my VPS so that the changes would be reflected to the world. Since I’m quite lazy, I’d like to automate this! # The solutions The first solution would be to use crontabs. Easy to setup, find a schedule, write a bash script that cd and git pull and you’re down. However, it has some caveats:
https://lexp.lt/posts/github_webhooks_for_automatic_deploy/
For a while, when updating ArkScript website, I have needed to remember to update the copy on my VPS so that the changes would be reflected to the world. Since I’m quite lazy, I’d like to automate this! # The solutions The first solution would be to use crontabs. Easy to setup, find a schedule, write a bash script that cd and git pull and you’re down. However, it has some caveats:
https://lexp.lt/posts/checking_the_collision_freeness_of_an_homemade_hash/
# Why? In a work related context, I had to create a hash algorithm working on a finite set of values ([0, 0xFFFFFFFF]) to output a non sequential serie from a sequential one (the output had to be rendered as a UUID. Basically, I wanted to avoid generating UUID looking like 00000000-0000-0000-0000-000000000001, that will definitely appear to be sequential and easily abused to find other IDs. # The transformation Previously I called it a hash, it’s more like a map function (or transform function for my C++ folks), operating on [0, 0xFFFFFFFF] -> [0, 0xFFFFFFFF] where the sequential aspect is lost.
More and more new accounts are posting spam and ads to communities (eg !technology@programming.dev), would it be an idea to block new accounts from posting to any p.d community?
https://playground.arkscript-lang.dev/
I currently have a server, a Dell T310 with an SSD in it and 12Gig of ram (weird config, I know I messed up but it works fine so I can’t be bothered to change that for now), with all my dockers running in it.
It runs mostly fine, with Debian 11, a VPN so that I can block public ssh and allow it only on the VPN network, an nginx proxy to have services like a forgejo and a music library (ampache).
However it can’t run a Minecraft server with more than a single person on it without stuttering ; so I was considering changing it maybe next year, after more than 3 years of services, for something beefier but also consuming less W/h (current consumption is 80W), and since I already have a Mac for work I was wondering how suitable a Mac Mini M1/M2 would be for a homelab?
Does anyone have such a configuration and how does it work for you? Any hurdle that you should be aware of?
I’ve been thinking about it for a while now, and just realized how weird it is, after trying to explain it out loud to a friend who’s also neurodivergent.
I’m curious to know if it’s a common experience with other neurodivergent individuals.
My mind has three different depths:
A while ago, I read somewhere that the mere thing of being able to conjure images was « rare », like only 25% of people on earth can do it. Somehow I linked this idea to people being neurodivergent but I have no proof or source and I may just have made things up in my sleep or under the shower.
TL;DR: how does your mind works? Mine is weird
https://github.com/folke/trouble.nvim
🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing. - folke/trouble.nvim
I’ve finally picked up an iPhone about a month ago, and have been loving the experience.
However I’m now thrown into an ad-full world again (I used to have a browser blocking many if not most ads on the android), so I’m wondering, what adblockers do you use (may it be safari extension or entirely new browser for my fellow Europeans)?