Tootfinder

from my link log —
MicroHs: Haskell implemented with combinators by Lennart Augustsson.
https://github.com/augustss/MicroHs
saved 2025-05-17 https:/…

Sooo... does anyone know why the jemalloc repository has been archived? It was fairly active right until the archival.
https://github.com/jemalloc/jemalloc

EVOKS (Editor for Vocabularies to Know Semantics) "allows you to:
- create a #SKOS vocabulary from scratch
- import SKOS vocabularies in RDF/XML or Turtle format
- edit SKOS vocabularies without using its textual representation
- work collaborativley
- publish the vocabulary with a single click in the vocabulary browser

Want to check the google trends for a topic? Use {gtrendsR} directly from within your favorite language: #googletrends

GitHub - PMassicotte/gtrendsR: R functions to perform and display Google Trends queries
R functions to perform and display Google Trends queries - PMassicotte/gtrendsR

Programming as Theory Building: Why Senior Developers Are More Valuable Than Ever
https://cekrem.github.io/posts/programming-as-theory-building-naur/

I'm happy to announce structlog 25.4.0 that adds support for exception groups but more importantly fixes an incompatibility with the upcoming Python 3.13.4
https://github.com/hynek/structlog/releases/tag/25.4.0

Release 25.4.0 · hynek/structlog
Highlights The main feature is support for exception groups we stole adapted from Rich, however the main reason for this release at this point in time are backwards-incompatible changes in the upco...

You want to use a #StaticSiteGenerator and need to support #multilingual sites? It’s now easier than ever! For quite a while, #Pelican had a great plugin for that use case. Now I helped migrate it …

reading this: #fuzzer? and …

Thanks to everyone who stared my #tvmarks github repo. I really appreciate it.
If you have yet to start or have questions I would love to get you excited back tracking tv!
https://github.com/stefanhayden/tvmark…

#mastodonadmin note on v4.3.9
None
YMMV
https://github.com/mastodon/mastodon/releases/tag/v4.3.9

😅 https://github.com/orgs/community/discussions/70577
via @…

networking folks, i've found the terminology around IEEE 802.3 Clause 22 / Clause 45 very confusing; can you take a look over https://github.com/GlasgowEmbedded/glasgow/pull/882/files#diff-bf365b35ccfcabdcaee1fcb6c…

Add an IEEE 802.3 Clause 22/45 (SMI/MIIM/MMD/MDIO) applet by whitequark · Pull Request #882 · GlasgowEmbedded/glasgow
Scots Army Knife for electronics. Contribute to GlasgowEmbedded/glasgow development by creating an account on GitHub.

Je viens de créer cette issue concernant les #ElasticMetal #Scaleway « Elastic Metal: Add protected feature for Elastic Metal »
…

This is just one example. "MCP" the protocol for "AI agents" is basically without security measures. It's like running random code on your infrastructure and data.
(Original title: GitHub MCP Exploited: Accessing private repositories via MCP)
https://simonwillison.net…

Hey @…, found your keyboard
:fdroid: https://f-droid.org/packages/io.github.dkter.aaaaa

aaaaa | F-Droid - Free and Open Source Android App Repository
a minimalist keyboard

I’m really glad Mastodon 4.4.0 will allow server admins to opt into sending the Referer header, and I hope admins of large instances will turn it on.
https://github.com/mastodon/mastodon/releases/tag/v4.4.0-beta.1
I also hope that third-party mobil…

In his presentation "Exploring and Visualizing Italian Advertising Fliers and Posters through an Iconographical Lens with Linked Open Data" Bruno Sartini is demonstrating how to bridge traditional art historical methods with computational approaches by using structured iconographical data to empirically validate qualitative findings from cultural studies.
paper:

Researchers found that both #Meta snd #Yandex link(ed) IDs between browsers and their native apps by local communication on #Android devices.
E.g. the

Dodajemy jeszcze jeden system budowania, brachu! Z pewnością nie pożałujesz dodania jeszcze jednego systemu budowania!
Oczywiście, że próbują wepchnąć bajzel… znaczy, #Bazel.
https://github.com/libarchive/libar…

02:31—Good Night #Fediverse! 😴💤
I just made myself a new banner for myself, using (mostly) open source software. The only exception was that I used a random website to add an outline to my Rudolf Rocker image, I was too lazy to get out of bed and use GIMP on my PC for that step. For everything else, I used this tool from GitHub: 

@… Has GrapheneOS put any measures in place to mitigate TikTag?

GitHub - compsec-snu/tiktag: TikTag: Breaking ARM's Memory Tagging Extension with Speculative Execution (IEEE S&P 2025)
TikTag: Breaking ARM's Memory Tagging Extension with Speculative Execution (IEEE S&P 2025) - compsec-snu/tiktag

Released v0.20.0 of the ha-mqtt-discoverable python module.
This is a pure-python library for creating #MQTT entities that will be automatically detected by #HomeAssistant
Added a 'set_blob' method to the Image class to allow publication of images directly from code. HA will take base64 encoded images directly via MQTT
Details at https://github.com/unixorn/ha-mqtt-discoverable/releases/tag/v0.20.0
@…

The {esquisse} package makes it easy to plot your data in different ways with a drag and drop interface: #rstats

Explore and Visualize Your Data Interactively
A shiny gadget to create ggplot2 figures interactively with drag-and-drop to map your variables to different aesthetics. You can quickly visualize your data accordingly to their type, export in various formats, and retrieve the code to reproduce the plot.

This graphic showing that Cursor now has the majority market share over GitHub Copilot is fascinating. I’m curious if it’s because Cursor is an individual’s tool (so people are spending their own money). In contrast, GitHub Copilot is an enterprise tool (your corporate sugar daddy typically buys it for you).

@… Besides that: I'm looking into moving my thesis project site to a digital garden Jekyll theme: https://github.com/maximevaillancourt/

Looing for an EU based equivalent of GitHub.io for research group webpage (we have a domain name but it's empty so far), any suggestions? I see codeberg does pages, anyone with experience using that?

Figured out how to create a Linux, MacOS (ARM) and Windows executable in a GitHub action for our PyGame mini game: https://github.com/jhutar/CatWars/blob/f2e61c4fcfd942d3e6e73ad2e9551fd61bc9ee25/.github/workflows/on-tag.yaml

🔄 Features hot-reloading for both frontend and
backend during development
🐳 Production deployment ready with #Docker and docker-compose configuration
https://github.com/google-gem…

AI coding startups are at risk of being disrupted by Google, Microsoft, and OpenAI; source: Microsoft's GitHub Copilot grew to over $500M in revenue last year (Reuters)
https://www.reuters.com/business/ai-vibe-codi…

Kaniko zostało porzucone i zamknięte. Ale się szykuje migracja...

https://github.com/GoogleContainerTools/kaniko/issues/3348

#devops #kaniko

TIL Enarx has a nice flags crate!
https://github.com/enarx/flagset
just used it already
https://

GitHub - enarx/flagset: Rust data types and a macro for generating enumeration-based bit flags
Rust data types and a macro for generating enumeration-based bit flags - enarx/flagset

Now you can enjoy the delights of the undefined behavior sanitizer with Zephyr. https://github.com/zephyrproject-rtos/zephyr/commit/2d64237f44b07b96421afa9eb92c3db5cb02586d

cmake: Enable undefined behavior sanitizer on all targets · zephyrproject-rtos/zephyr@2d64237
GCC and Clang support the undefined behavior sanitizer in any configuration, the only restriction is that if you want to get nice messages printed, then you need the ubsan library routines which ar...

always a good day when you can remove a complex piece of code and make a more powerful system that is easier to understand
https://github.com/GlasgowEmbedded/glasgow/pull/873

Watch Github for what happens for companies that go all-in on AI.
Notice all the details that are wrong now. Notice the docs. Notice the confusion between different interfaces. Notice the UI jank in new places. This is what happens when engineering decisions are made by default instead of discussion and planning. This is what happens when writing (already easier than editing) becomes even easier without improving editing.

@… I wonder if <line-numbers> would pair nicely with that one! (https://github.com/zachleat/line-numbers)

Open source software spotube (uses Spotify for data, YouTube for audio) got a legal notice
https://github.com/KRTirtho/spotube

GitHub - KRTirtho/spotube: 🎧 Open source music client! Available for both desktop & mobile!
🎧 Open source music client! Available for both desktop & mobile! - KRTirtho/spotube

I realized that this batch of files I want to shared need a home, and in the old days I would have dumped them onto GitHub because, free hosting for me that someone else pays for, but now that I use Codeberg I'm not going to abuse them by dumping large files there.
I guess I'll just put them on my own server!

Man könnte ja denken das diese ganze Agent/MCP Geschichte grad doch sehr fast and loose abläuft ....
https://simonwillison.net/2025/May/26/github-mcp-exploited/

NaaS – No-as-a-Service
No-as-a-Service (NaaS) is a simple API that returns a random rejection reason. Use it when you need a realistic excuse, a fun “no,” or want to simulate being turned down in style.
– from @…
❌

GitHub - hotheadhacker/no-as-a-service: No-as-a-Service (NaaS) is a simple API that returns a random rejection reason. Use it when you need a realistic excuse, a fun “no,” or want to simulate being turned down in style.
No-as-a-Service (NaaS) is a simple API that returns a random rejection reason. Use it when you need a realistic excuse, a fun “no,” or want to simulate being turned down in style. - hotheadhacker/n...

I built a Firefox extension that allows you to append arbitrary arguments/text to each Google query automatically. I will now go through whatever hell is required to get it onto the addon store. It's up on GitHub for the curious. https://github.com/theodric/ArgsGoogleSearches

Me gustó mucho la herramienta de cifrado de ficheros age https://github.com/FiloSottile/age y me puse a hacer un pequeño script para poder cifrar directorios de forma recursiva, desencriptarlos, tener definidas varias bóvedas en distintos ficheros de variables para poder descifrar unos u otros...…

YouTube like it's 2009! Wild project.
https://github.com/ftde0/yt2009
Thanks to @… for tipping me off to it via his links page (

GitHub - ftde0/yt2009: 2009 youtube frontend.
2009 youtube frontend. Contribute to ftde0/yt2009 development by creating an account on GitHub.

@… I am not really looking for what’s “good” or “cool”, but what’s accepted and normal. I am not looking to scare anyone.
My preferred JS testing library is https://github.com/avajs/ava

Turn of events this evening:
- wanted to try out @…
- v1.3.4 doesn't seem to have a #macOS binary in the release but release notes mention that 1.3.4 includes upstreamed fixes from MacPorts
- look at the

Just one more build system, bro! Surely you won't regret adding one more build system!
Of course they're trying to shove #Bazel in.
https://github.com/libarchive/libarchive/issues/2581

Looked at latest W3C Draft of “Accessibility of machine learning and generative AI,” specifically the overlays section:
https://w3c.github.io/ai-accessibility/#accessibility-overlays
I still think it needs to be stricken:

Fascinating. Leaked LLM prompt instructions from most of the chat sites.
#AI

GitHub - elder-plinius/CL4R1T4S: SYSTEM PROMPT TRANSPARENCY FOR ALL - CHATGPT, GEMINI, GROK, CLAUDE, PERPLEXITY, CURSOR, WINDSURF, DEVIN, REPLIT, AND MORE!
SYSTEM PROMPT TRANSPARENCY FOR ALL - CHATGPT, GEMINI, GROK, CLAUDE, PERPLEXITY, CURSOR, WINDSURF, DEVIN, REPLIT, AND MORE! - elder-plinius/CL4R1T4S

@… for convenience:
https://github.com/openzfs/zfs/issues/17185

Okay, this is the coolest (and most unproductive) thing I've ever done on my server: right now I'm playing one of the games of my Steam library from my laptop connected to the server through the browser thanks to Docker Steam Headless.
This is great as my laptops are not intended for gaming but this is no longer a problem 😎
Now I have to tinker a bit the configs to avoid the annoying video lag, but from what I read on github, there are ways others have used to avoid it.…

So, the days when PHP was "my" programming language, is gone for a long time.... (Kotlin (before Java) only at the moment bash)
But, I guess I will have a look now and then to make small PRs to the Pixelfed project to fix some small bugs.
... this time it was a typescript/vuejs bug
Totally simple but as I found it...

This song is released under the GPL-2.0 license as part of the Battle for Wesnoth game and the music is located at
https://github.com/wesnoth/wesnoth/tree/master/data/core/music
Also described at:

This https://arxiv.org/abs/2505.01892 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLG_…

OODTE: A Differential Testing Engine for the ONNX Optimizer
With over 700 stars on GitHub and being part of the official ONNX repository, the ONNX Optimizer is the default tool for applying graph-based optimizations to ONNX models. Despite its widespread use, its ability to maintain model accuracy during optimization has not been thoroughly investigated. In this work, we present OODTE, a utility designed to automatically and comprehensively evaluate the correctness of the ONNX Optimizer. OODTE adopts a straightforward yet powerful differential testing a…

GitHub MCP Exploited: Accessing private repositories via MCP.
#ai

GitHub MCP Exploited: Accessing private repositories via MCP
We showcase a critical vulnerability with the official GitHub MCP server, allowing attackers to access private repository data. The vulnerability is among the first discovered by Invariant's security analyzer for detecting toxic agent flows.

Bookmarked: Visualizing Intertextuality #Digital_Humanities_Intertextualität

It's been bothering me for a while, so I created a Racket extension to refer to variables by position: eg,
(define hypotenuse
(lambda 2
(sqrt ( (square $0)
(square $1)))))
Why not. What fun. No more variable name choice paralysis! 🤣
https://github.com/shriram/lambda-n

GitHub - shriram/lambda-n: the lambda-n language
the lambda-n language. Contribute to shriram/lambda-n development by creating an account on GitHub.

from my link log —
comrak: a CommonMark and GFM compatible Markdown parser and renderer in Rust.
https://github.com/kivikakk/comrak
saved 2025-03-31 …

GitHub - kivikakk/comrak: CommonMark + GFM compatible Markdown parser and renderer
CommonMark + GFM compatible Markdown parser and renderer - kivikakk/comrak

A post from the archive 📫:
Validate your identity on Bluesky with your GitHub account
https://www.poppastring.com/blog/validate-your-identity-on-bluesky-with-your-github-account

⏰ SemDH Workshop is about to take place at ESWC25 in the beautiful city of Portoroz, Slovenia on Monday, June 2nd, 2025!
Check out the full, detailed program at https://semdh.github.io/program.html
The keynote will be held by Laura Hollink, Human-Centered Data Analytics group leade…

3. Very minor, but Navidrome can import and play radio station streaming links, which I love, except for m3u8 links. I'm able to stream them in one of my third-party mobile apps (Symfonium), but not the Navidrome web UI: https://github.com/navidrome/navidrome/issues/3988…

Das Secure Mobile Networking Lab (SEEMOO) @… der @… hat zwei richtig tolle Open Source Apps entwickelt:
AirGuard für Android und iOS scannt regelmäßig (oder manuell) nach Tracking Tags wie z. B. Apple AirTags und kann so Stalking Tools si…

The dbcooper package turns a database connection into a collection of functions. #rstats

GitHub - pipeline-tools/dbcooper: Create user-friendly accessor functions from a database connection
Create user-friendly accessor functions from a database connection - pipeline-tools/dbcooper

I will never understand why not at least one of these things happen:
1. People stop making a #fork of a #GitHub if they do not intend to add at least one commit of their own;
2. #Microsoft intro…

github: GitHub contest (2009)
The bipartite project-user membership network of the software development hosting site GitHub. A user connects to a project if that user is a member of that project.
This network has 177386 nodes and 440237 edges.
Tags: Economic, Production, Unweighted
https://networks.skewed.de/net/github

When folks open a GitHub issue on one of your random-ass experimental learning repositories.

Anyone else got this issue on Feditext? If so, please do chime in there
#Feditext

I'm asserting now that Github has crossed the event horizon into Enterprise Software. Complex enough that any bug is your fault for not reading the right docs and flipping the right configuration flags. The experience will keep getting worse. People will use it because they have to not because they want to. It will become the MS Teams of scm-devops-hosting-stuff.

GitHub #MCP #Exploited: Accessing private repositories via MCP
https://invariantlabs.ai/blog/mcp-gith

Context-Aware Code Wiring Recommendation with LLM-based Agent
Taiming Wang, Yanjie Jiang, Chunhao Dong, Yuxia Zhang, Hui Liu
https://arxiv.org/abs/2507.01315

Context-Aware Code Wiring Recommendation with LLM-based Agent
Copy-paste-modify is a widespread and pragmatic practice in software development, where developers adapt reused code snippets, sourced from platforms such as Stack Overflow, GitHub, or LLM outputs, into their local codebase. A critical yet underexplored aspect of this adaptation is code wiring, which involves substituting unresolved variables in the pasted code with suitable ones from the surrounding context. Existing solutions either rely on heuristic rules or historical templates, often faili…

Solving ARC (well... up to 20%) with inference-time compression. Another indication that #MDL and #AlgorithmicComplexity are becoming relevant in the age of Deep Learning.

Server-Side #Swift folks (who use Hummingbird, especially):
We (w/ @… ) rolled HummingbirdMacroRouting 0.2 last night.
This is an alternate way to declare controllers and routes in Hummingbird, via macros, and it's what we're using for Studioworks.
Pretty happy…

GitHub - sloatescoan/hummingbird-macrorouting: Macro based routing for Hummingbird
Macro based routing for Hummingbird. Contribute to sloatescoan/hummingbird-macrorouting development by creating an account on GitHub.

This is going to be fun when it reaches the Runner Scale Sets for the #GitHub Action runners 😅

from my link log —
netbird: Connect your devices into a WireGuard overlay network with SSO, MFA and granular access controls.
https://github.com/netbirdio/netbird
saved 2025-04-08

GitHub - netbirdio/netbird: Connect your devices into a secure WireGuard®-based overlay network with SSO, MFA and granular access controls.
Connect your devices into a secure WireGuard®-based overlay network with SSO, MFA and granular access controls. - netbirdio/netbird

Today the #SemDH2025 workshop takes place alongside #ESWC2025. I’m happy that Philipp Tögel will present our paper on Data-rich Web Annotations. We discuss how web annotations, a W3C standard, can be leveraged to include complex analysis with domain-specific data models as

I started a conversion tool today for Plan 9 a.out to ELF.
https://github.com/platform-system-interface/p9aout2elf
The corresponding ELF I was given with an a.out has some differences in memory sizs for some reason.
I will see about trabslating the symbol table…

GitHub - platform-system-interface/p9aout2elf: Parse and convert Plan 9 a.out binaries
Parse and convert Plan 9 a.out binaries. Contribute to platform-system-interface/p9aout2elf development by creating an account on GitHub.

huh, TF2 is actually getting patched, nice

Released 0.19.2 of ha-mqtt-discoverable.
This is a pure-python library for creating #MQTT entities that will be automatically detected by #HomeAssistant
https://github.com/unixorn/ha-mqtt-discoverable/releases
Fixes Select behavior (Thanks mhentschke!)
@…

UPDATE! They fixed it!
Very sad atm my friend who bridged their account from bluesky isn't found on mastodon.I've added an issue here but I can't figure out what the issue might be.
https://github.com/snarfed/bridgy-fed/issues/1973

I have to give credit to the @… community. Any issue I enter into GitHub gets an almost immediate response that helps me solve my problems. #javascript #website

This song is released under the GPL-2.0 license as part of the Battle for Wesnoth game and the music is located at
https://github.com/wesnoth/wesnoth/tree/master/data/core/music
Also described at:

This looks even easier than I expected, because someone else already thought of it.
https://github.com/FreshRSS/Extensions/tree/master/xExtension-YouTube
I’ll have to build my own Docker image, but I guess I can handle that.

Want to use {pak} as backend for {renv} actions? Set the variable RENV_CONFIG_PAK_ENABLED = TRUE #renv

"Learn how to see. Realize that everything connects to everything else", but how to do this with Linked Data? Eero Hyvönen is quoting Leonardo Da Vinci as an intro to his presentation "How to Create a Portal for Digital Humanities Research Using a Linked Open Data Cloud of Cultural Heritage Knowledge Graphs: Case SampoSampo"
paper:

Encouraging Students' Responsible Use of GenAI in Software Engineering Education: A Causal Model and Two Institutional Applications
Vahid Garousi, Zafar Jafarov, Aytan Movsumova, Atif Namazov, Huseyn Mirzayev
https://arxiv.org/abs/2506.00682

Encouraging Students' Responsible Use of GenAI in Software Engineering Education: A Causal Model and Two Institutional Applications
Context: As generative AI (GenAI) tools such as ChatGPT and GitHub Copilot become pervasive in education, concerns are rising about students using them to complete rather than learn from coursework-risking overreliance, reduced critical thinking, and long-term skill deficits. Objective: This paper proposes and empirically applies a causal model to help educators scaffold responsible GenAI use in Software Engineering (SE) education. The model identifies how professor actions, student factors, …

from my link log —
cdimage: A tool for burning visible pictures on a compact disc.
https://github.com/arduinocelentano/cdimage
saved 2025-06-07

GitHub - arduinocelentano/cdimage: A tool for burning visible pictures on a compact disc surfase
A tool for burning visible pictures on a compact disc surfase - arduinocelentano/cdimage

#GitHub #Copilot coding agent in public preview
https://github.blog/changelog/2025-…

@… I once built a web app backend by connecting a tiny, basic HTTP server, jq, and https://github.com/SamirTalwar/jsqlon in several different ways. Very lit…

5. Another very minor thing: there's no way of rebuilding your existing Spoti-Tidal-Apple playlists to Navidrome (using your library's existing files) or transferring your iTunes listen counts out of the box. I *was* able to find a nice Python script thing for the playlists, but I had to transfer my Tidal playlists to Spotify first:

from my link log —
Basic facts about GPUs.
https://damek.github.io/random/basic-facts-about-gpus/
saved 2025-06-22 https:…

Wrote a post summarizing the recommendations I give to new #neocaridina shrimp keepers
https://unixorn.github.io/post/aquarium/2025-05-31-advice-for-new-neocaridina-keepers/
@… @…

Huh....
((0x1000 * (n) (((n) > 0) ? 0x1000 : 0)))
I mean, that's just (n 1) * 0x1000 ?!
https://github.com/u-boot/u-boot/blob/5f732b4bb0946b4d1a32add4ec5595eb9846cd26/arch/arm/includ…

u-boot/arch/arm/include/asm/arch-rockchip/sdram_pctl_px30.h at 5f732b4bb0946b4d1a32add4ec5595eb9846cd26 · u-boot/u-boot
"Das U-Boot" Source Tree. Contribute to u-boot/u-boot development by creating an account on GitHub.

You need to report results from your R analyeses in Word or powerpoint? Your organisation requires the use of very speccific formating? The packages in the officeverse might be of help: https://ardata-fr.github.io/officeverse/

Standard #Commits 0.1.0 ─ #RFC
https://github.com/standard-commits/standard-commits…

Examples of creative data visualizations, mostly ggplot: #ggplot

GitHub - tashapiro/tanya-data-viz: Personal data visualization side projects.
Personal data visualization side projects. Contribute to tashapiro/tanya-data-viz development by creating an account on GitHub.

paint() your data when you print them to make them easier to grasp: #rstats #console

GitHub - MilesMcBain/paint: paint the data
paint the data. Contribute to MilesMcBain/paint development by creating an account on GitHub.

from my link log —
A language server protocol (LSP) implementation for PostgreSQL.
https://github.com/supabase-community/postgres-language-server
saved 2025-03-29

GitHub - supabase-community/postgres-language-server: A Language Server for Postgres
A Language Server for Postgres. Contribute to supabase-community/postgres-language-server development by creating an account on GitHub.

R doesnt need to be a hard and scientific tool 📈. You can use it to make art 🎨: #rstats

Sometimes {renv} just isnt enough to ensure your environment is controlled. Maybe {slushy} could be an option? https://gsk-biostatistics.github.io/slushy/index.html

Enrich your ggplots with extra panels along the x and y axis: #ggplot #dataviz

Make paint-by-number pictures in R: #rstats

Are you interested in how dependency-heavy your (or another) package is and why? #rstats