Original source: [Python-based compiler achieves orders-of-magnitude speedups](https://news.mit.edu/2023/codon-python-based-compiler-achieve-orders-magnitude-speedups-0314) Source repository: [exaloop/codon at GitHub](https://github.com/exaloop/codon)

Is there a FOSS fasting tracking app that can be used for IF tracking?

The manual says add ".*" to stop it from indexing hidden directories, but in preferences > index settings, there is no text entry option to add that. I can add specific directories to it as long as they are clickable

Reddit Crosspost. I'm not the author of the post, nor the developer of the app.

Just set this up for my local Food Not Bombs chapter so they can coordinate with volunteers and others better.

I'm tech illiterate compared to y'all

newpipe is a youtube player

New markup language based on CommonMark's learned lessons

Just like passports for real life identities, Keyoxide can be used to verify the online identity of people to make sure one is interacting with whom they are supposed to be and not imposters. Unlike real life passports, Keyoxide works with online identities or "personas", meaning these identities can be anonymous and one can have multiple separate personas to protect their privacy, both online and in real life. Keyoxide allows you to prove "ownership" or rather "hold" of accounts on websites, domain names, instant messaging, etc., regardless of your username. You create, or use and existing, cryptographic signature (or OpenPGP key) which acts as your digital passport to link to the various services. I used my existing key with this, and just added the notation claims per service, with my proof placed in the profile of each service I control. Whilst Keybase is still alive, since its takeover by Zoom, it has been a lot quieter. Keyoxide also allows you to self-host the service, and seems to have a lot of flexibility for the services it links to. That said, I got a good 10 of my various services linked and verified, except I've had endless issues to get my IRC and XMPP accounts verified. See https://keyoxide.org/ #technology #identity #keyoxide #opensource

One reason for browsers getting sluggish is having too many extensions open, which just consumes extra RAM. Sometimes, too, they can interfere with each other. Even though my computer has 32GB of RAM, using a lot more than is needed, certainly increases the browser start up time a lot. I used to have just over 60 tabs open across my two browsers, and with reducing that now to just over 50 (eradicating the multiple GMail ones, and the RSS one) and also being able to turn off many of the browser extensions, I've saved a good many Gigabytes of RAM, and both my browsers are lot more responsive. The beauty with Extensity is that you can have most extensions disabled, as it is very quick to just toggle an extension on when needed, and quickly toggle it off again. The only extensions I keep active are really those doing script blocking, dark mode, spell checking, tab snoozing, and those of a similar nature. See https://github.com/sergiokas/Extensity #technology #browsers #opensource #extensity

Chris Titus has done a video about this awesome open source tool he has built to install various common applications, do global software updates (yes I also can't believe Windows does not yet do that), various system tweaks, and config settings. It is well worth watching his video as he explains what all the different options do, with some big cautions as well (as you can some irreversible stuff). The video is further down on the linked article page. See https://christitus.com/one-tool-for-everything/ #technology #Windows #opensource #utility

I've happily been using self-hosted web-based FreshRSS for a while now. I chose it mainly because it suited my needs, and when I travelled regularly, I could work from the same shared source of articles. But the last while I've noticed some feeds lag really slowly with fetching the feed content (it may be my slowish hosting at home where I have 10 other services running), and with the addition of Full Text RSS to retrieve full text where feeds only contain snippets, this was pushing my server over its memory resources. Seeing I work permanently from home now, I thought I should look again at desktop based RSS readers. Well there are a lot of choices, but I was after full text retrieval in reader mode, without adverts. So I got down to Liferea (really feature packed), RSS Guard, and QuiteRSS. All retrieved full text articles with ad blocking etc. But these all have similar interfaces with minor differences, and all still have that older look and feel. They worked, but something felt sticky with the reading flow. I scan a good 500 articles per day, and my initial scanning is quite important to me. I had ignored Fluent Reader initially as it is Electron based. But I thought today I'll just try it and see. Yes, with Electron it obviously has the more modern feel to it, but this became really apparent with the intermediate view that I so need (and which I used in FreshRSS). My favourite view is a post headline, with some short snippet of text along with an image. So immediately I saw Fluent Reader has this (Magazine view), as well as a few other viewer options. Out of the box it has all the basics I'd use, it has no detailed stats like FreshRSS has, nor the depth of options that Liferea, QuiteRSS and RSS Guard have (nor the integration with the desktop OS; and it's Electron!). But it has great workflow and can produce a full text reader view. But it is fast and helps me do what I want to do really quickly and easily. Liferea for example uses only 145 MB of memory, whilst Fluent Reader has 7 processes running and which consume a total of 264 MB. Both use 0% CPU when not fetching feeds. It is open source and will install on Windows, Linux, macOS, iOS, and Android. But as there are so many options out there, and everyone's needs are different, it is always best to first take stock of what you really need as far as features go, and then narrow your choices down from there. A good RSS reader allows you to consume vast amounts of information in a focussed and efficient way, so getting your own choice right, can really help you. You can easily export, and import, your feed sources list between applications, so it is not difficult to do hand-on comparisons. See https://github.com/yang991178/fluent-reader #technology #RSS #RSSreader #news #FluentReader #opensource

Chris did a nice breakdown of how this can work in conjunction with a self-hosted Fresh RSS reader (same as I'm using). It solves that issue with some RSS feeds only showing a short snippet of the content. I've also shared my own docker-compose file for this solution at https://pastebin.com/ARnUCpND where I've noted a workaround which I had to do, to get it to work on my server. See https://christitus.com/why-we-dont-browse-the-internet-anymore/ #technology #RSS #FullTextRSS #opensource #selfhosted

I love the ability to follow hashtags and get the results in the home stream. Friendica has that option for many years but for me it's a very welcome feature.

cross-posted from: https://slrpnk.net/post/152481 > In general it would be nice if fdroid had a review function. > > Specifically trying to use it as a kakeibo / budget

Downloaded odyssey from fdroid to try to upload a vid to it. You need cryptocurrency creds to upload. Odyssey gives enough cred for ~2 uploads if you verify your email + phone number. For whatever reason, it was unable to verify my phone number, so I'd have to pay to upload. Uninstalled 5 min journey Ps: Still no quality settings like 360p vs 1080p

For those who don't even trust a zero trust online service like Bitwarden, there is this option... This project takes the now well-explored USB gadget feature of the Pi Zero, integrates it into a Bitwarden-backed password management toolkit to make a local-network-connected password storage, and makes a tutorial simple enough that anybody can follow it to build their own. Overall, such a device helps you carry your passwords with you wherever you need them, you can build this even if your Raspberry Pi skills are minimal so far, and it’s guaranteed to provide you with a feeling that only a self-built pocket gadget with a clear purpose can give you! See https://hackaday.com/2022/10/31/an-easy-to-make-pi-powered-pocket-password-pal/ #technology #opensource #selfhosted #raspberrypi #bitwarden

Too much $ to host videos from the sound of it. Too many instances vanish. Strict upload limits means it's more suitable as a gif meme host for your element memes that you don't care about than an actual YouTube alternative. Anyone else feel similar?