mastodon - Link to source

#AndroidAppRain at apt.izzysoft.de/fdroid today brings you 12 updated apps. Our ongoing gardening activity cleaned out 2 no longer maintained apps which where also rarely downloaded anymore:

* Ylight Music: a Youtube Music client, which was reported to us as … behaving strangely
* widgets-for-auto: Android Auto widgets, with several proprietary components and also only few downloads

As it goes with gardening, our other plants are now better visible 🤗

Enjoy the #IzzyOnDroid repo :awesome:


IzzyOnDroid F-Droid Repository

This is a repository of apps to be used with your F-Droid client. Applications in this repository are official binaries built by the original application developers, taken from their resp. repositories (mostly Github, GitLab, Codeberg).
IzzyOnDroid App Repo
#AndroidAppRain #izzyondroid

mastodon - Link to source

Running 14.3-STABLE right now. Intel iwlwifi driver with an Intel AX210 card giving me full 250/40 Mbps (the maximum of my DSL line) via WiFi :)

Random connection issues, that I had with -RELEASE are solved in the current -STABLE 🙂

5Ghz, 802.11ac with 80Mhz wide channel...

We're making fast progress with FreeBSD on the modern desktop 🙂

#freebsd #iwlwifi #wifi #networking

#freebsd #networking #wifi #iwlwifi

mastodon - Link to source
Mathematics in the age of automated proofs: AlphaProof (From the lab into your hands). ~ Thomas Hubert. youtu.be/uhwfTOUIeiw #AI #Math #ITP #LeanProver #AlphaProof

Thomas Hubert: AlphaProof: From the lab into your hands

Part of the symposium Mathematics in the age of Automated Proofs at Leiden University. Made possible by the generosity of the the Lorentz Center, the Dutch R...
YouTube
#AI #math #alphaproof #leanprover #itp

mastodon - Link to source

If you're helping people sign up on here, that's great! 👏

However, I'd strongly suggest not signing up on the mastodon.social server. It's way way too large and that's dangerous (here's why fedi.tips/its-a-really-bad-ide…).

I know some find choice overwhelming, so if you just want one general long-established very busy server mas.to is a better option for example.

There are also lots of other good servers listed at fedi.garden and joinmastodon.org/servers


Fedi.Garden

Highlighting nice servers on Mastodon and the Fediverse
fedi.garden
in reply to Fedi.Tips

mastodon - Link to source

Daniel Gultsch

FWIW I'm reasonably sure Facebook never supported XMPP federation. They supported logging in via XMPP with a regular XMPP client (c2s) but they didn't support s2s. Meaning you could only chat with other Facebook users.

GTalk had federation and it was somewhat bad when they shut that down. But I don't remember Facebook's XMPP access being very relevant for the larger ecosystem.

mastodon - Link to source
I just had to uninstall vipre advanced security because sometimes when I would reboot the computer, my whole internet on my desktop wasn't connected. I would reboot, and it would fix its self, and then if I had to reboot again, it would break my internet again. I don't have time to try to figure out why in the sam hell it would break my internet that bad. I did try turning the firewall off, checking for internet, and there was nothing, and turning it back on, and still nothing. sometimes when I would go check, it was already turned off, but I had no internet at all on my desktop. That was fun while it lasted, but I am not paying for something that decided to sometimes cause me to have absolutely no internet access when I reboot the computer. back to microsoft defender I go I guess.
This entry was edited (1 week ago)
in reply to Darrell Bowles

mastodon - Link to source

Tamas G

@vol4life8657 @lino_jr yeah avast is not a bad option actually. I think that the smart scan thing can also be disabled in it, and you do have a lot of control. Who knows, might switch, not like I don't have 30 days to cancel this one. Well now like 28. LOL. Still, I got tired of Defender's inability to customize scan schedule and what happens for so-called "catch-up scans." Like when a scan is interrupted in the background by a reboot and then what. I don't want it continuing then, I want it to restart the full scan. things like that I need perfect LOL
@Darrell Bowles @Lino Morales The no good ham

mastodon - Link to source
We are alarmed as well. If you are in Germany, write to your representatives. You'll find the email addresses here: 👉 tuta.com/blog/chat-control-cri…
Signalapp on X: We are alarmed by reports that Germany is on the verge of a catastrophic about-face, reversing its longstanding and principled opposition to the EU’s Chat Control proposal which, if passed, could spell the end of the right to privacy in Europe.

Chat Control is back & we've got two months to stop the EU CSAM scanning plans. | Tuta

The EU Regulation to Prevent and Combat Child Sexual Abuse, first published in May 2022, has become the "most criticized law of all time". Here's how to stop it now!
Tuta

Pitermach reshared this.

mastodon - Link to source

I've tried all the new-fangled web design apps, and I’ve decided to stick with building with raw JS, HTML, and (S)CSS. There's just no need in most cases for all the cruft those apps generate. These days you don't even need big JS/CSS libraries for most things. I can make the same page 1/10th (or less) of the size of what visual web dsign apps are going to make.

I don't want to sound curmudgeonly about it, but I think these apps are making the web a little worse. It's starting to feel like we're back in the Dreamweaver days.

mastodon - Link to source
So sorry to say this, but NVDA's new on-device image captioning (introduced in today’s alphas) is consistently unreliable and basically useless. I get the security concerns behind keeping it on-device, but the model has to be useful to be viable.
Here’s an example. I tested an image, and NVDA gave me this short, irrelevant description:
“A blue and white sign that is on a blue wall.”
Meanwhile, Be My Eyes AI gave me this:
“Two hikers standing on a rocky, mountainous trail with a dry and rugged landscape in the background. The person on the left is wearing a red and black jacket, green pants, sunglasses, and a grey backpack. The person on the right is wearing a blue long-sleeve shirt, dark pants, sunglasses, a patterned bandana, and is holding a hiking pole, also carrying a backpack. Both are standing next to a pink metal sign written in Persian (Farsi) script. The sky is partly cloudy, and the surrounding mountains stretch into the distance. It appears to be a sunny day.”
@NVAccess
@NV Access

Zach Bennoui reshared this.

in reply to Brandon

mastodon - Link to source

Tamas G

@serrebi I mean, you can't run something super powerful without including a bunch of runtimes like ONNX and all that, so perhaps in a way I feel for them, as well as NVDA used so widely across processors that you need to support from N100 low-powered Atom-class to high-class I9 and Rizen 9. For the latter a larger quantized model would not be a bad choice and would do way better in output but then you contend with it not working well if at all on low-CPUs. So glad this is still alpha though we have time to iron these things out. @amir @NVAccess
@NV Access @Brandon @Amir
in reply to Tamas G

mastodon - Link to source

Brandon

I agree. They should support a remote AI , for those of us not concerned as hard about privacy. Obviously don't scan really private stuff, that's a given. I think the main point of the feature is scanning UI, is it that bad at that? I dunno, if you were gonna implament AI at this level, you'd think it would be used for object labeling, etc. I'd look, but I don't want to live without IBMTTS. I'm also kind of concerned that this feature is too early: Like windows might have an official pipeline for using different AI models soon. Why not just use that when it comes out? Maybe that's prognostication, but I'd expect something like that from windows soon.
This entry was edited (1 week ago)

mastodon - Link to source

@Edent Hey! More then two years ago, I contacted you to setup an import tool to import all the benches from OpenBenches into OpenStreetMap, but I got stopped by a missing feature in an upstream dependency.

Well, two days ago, they added that feature. And as such, I got a test version out: dev.mapcomplete.org/benches?z=…

I used the database I found on your github, but it is slightly outdated. Can you please create a new dump?


Benches

A map of benches
dev.mapcomplete.org
@Terence Eden
in reply to Terence Eden

mastodon - Link to source

Pietervdvn

Great! I'll update the challenge in the coming days.

The import is setup to add the OpenBench-id into the OSM-object with `openbenches:id`, as described on our wiki: wiki.openstreetmap.org/wiki/Ke…

I've asked permission to the community (here community.openstreetmap.org/t/…) to already do an automated edit where all benches in OSM that already have a link to OB, will also receive the data (and images) that are in OB.

You can load+export all OSM-benches with an OB-id with overpass-turbo.eu/s/2cXZ


Guided mapping/import of openbenches.org

Hi everyone, https://openbenches.org/ has clearly indicated that they want to integrate their data into OSM. Their license is CC-BY, I [asked them] to clarify how they see the attribution requirement.
OpenStreetMap Community Forum

mastodon - Link to source

Mixxx 2.5.3 coming up on Haiku 64bit, we're in the process of finetuning the recipe, but so far things are pretty good.

mixxx.org/

Free and open source DJ software for Windows, macOS, and Linux (and now Haiku too!) :)

@mixxx

#HaikuOS #haikuports #Mixxx #DJ #opensource #software

PR and patch are online atm at: github.com/haikuports/haikupor…

Mixxx 2.5.3 running on Haiku R1B5 64bit, switching/mixing songs.

Mixxx - Free DJ Mixing Software App

Download the most advanced FREE DJ software available, featuring iTunes integration, MIDI controller support, internet broadcasting, and integrated music library.
Mixxx DJ Software
#opensource #software #dj #Mixxx #haikuos #haikuports @Mixxx DJ Software
This entry was edited (2 weeks ago)

mastodon - Link to source
There's nothing surprising about Apple removing ICEBlock from the App Store. Much as we might want companies to take moral stands, they're simply not designed to—that's the system we've built for ourselves. sixcolors.com/post/2025/10/app…

Apple’s ICEblock capitulation is business as usual

So, I guess I’m going to need to keep writing this piece. Say what you will about Apple’s decision this week to remove from the App Store the ICEBlock app that provided a way for people…
Six Colors

mastodon - Link to source

I was able to use an extended conversation with an AI chatgpt.com/share/68ded9b1-37d… to help answer a MathOverflow question mathoverflow.net/questions/501… . I had already conducted a theoretical analysis suggesting that the answer to this question was negative, but needed some numerical parameters verifying certain inequalities in order to conclusively build a counterexample. Initially I sought to ask AI to supply Python code to search for a counterexample that I could run and adjust myself, but found that the run time was infeasible and the initial choice of parameters would have made the search doomed to failure anyway. I then switched strategies and instead engaged in a step by step conversation with the AI where it would perform heuristic calculations to locate feasible choices of parameters. Eventually, the AI was able to produce parameters which I could then verify separately (admittedly using Python code supplied by the same AI, but this was a simple 29-line program that I could visually inspect to do what was asked, and also provided numerical values in line with previous heuristic predictions).

Here, the AI tool use was a significant time saver - doing the same task unassisted would likely have required multiple hours of manual code and debugging (the AI was able to use the provided context to spot several mathematical mistakes in my requests, and fix them before generating code). Indeed I would have been very unlikely to even attempt this numerical search without AI assistance (and would have sought a theoretical asymptotic analysis instead).


Is the least common multiple sequence $\text{lcm}(1, 2, \dots, n)$ a subset of the highly abundant numbers?

I've been comparing the sequence of the Least Common Multiple of the first $n$ integers, $L_n = \text{lcm}(1, 2, \dots, n)$, with the sequence of Highly Abundant Numbers (HA). The two sequences in
MathOverflow
This entry was edited (1 week ago)

mastodon - Link to source

Scene: My typical day.

VIP Customer: Build our new office network/tech/CCTV/PACS/BMS infrastructure, possibly with some server capacity... never know if we need a couple AI rigs.

Me: Okay. It's weird how the building has 5 electrical meters but one tenant, and maybe we should add some EVSEs too.

Cx: Don't worry about the meters thing, and yes, EVSEs are a good idea.

Me to Elechicken: How much power (KVA) can we get out the existing panels? What voltage? What current? (So I can order UPSes & PDUs.)

Elechicken: (getting back to me) Uh, I have to call the electrical safety authority because the building isn't wired properly [no disconnects on 600->208 secondary, times 5]

Cx: MYKE!!! WHAT DID YOU DOOOOOOO?

glitchsoc - Link to source

Brits complaining that they can't engage in protests "against Israel" for one whole weekend after a synagogue was attacked and Jews were killed on the holiest day of the Jewish calendar.

These protests usually contain calls for violence, antisemitic tropes, antisemitic rhetoric, and many times "just happen" to be outside of Jewish schools, synagogues, inside secluded Jewish neighbourhoods or even Jewish restaurants- never outside the Israeli embassy.

An image of Veruka Salt from Willy Wonka and the Chocolate Factory with the caption "But I want to terrorize the Jews now!"
This entry was edited (1 week ago)

hometown - Link to source

lol - lol - lmao

at first I thought this was for the Alto HSR project

nope...it's for the hyperloop-type gadgetbahn thing that's supposedly going to be built between Calgary & Edmonton 😂

best demand payment up front, is all I'm saying

> Algoma Steel will help build high-speed transportation project
sootoday.com/local-news/algoma…


Algoma Steel will help build a high-speed transportation project

Algoma Steel may supply 1.5–2 million tonnes of Canadian-made steel over the course of construction
SooToday Staff (SooToday.com)
⇧