mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.7K
active users

#Capi

1 post1 participant0 posts today

What are the mechanisms that control exported symbols when cross-compiling a shared library for Windows using MingW? The latest build of DuckDB (our dependency) fails to export the C-API symbols (but the symbols from other objects are present). The first bad commit doesn't seem to change anything with the build. Where can we look next?

- Issue: github.com/duckdb/duckdb/issue
- First bad commit: github.com/duckdb/duckdb/commi
- Julia discussion: discourse.julialang.org/t/debu

What happens? We have a failing Julia package build with DuckDB_jll 1.1.0 for Windows GitHub runners: https://github.com/TulipaEnergy/TulipaEnergyModel.jl/actions/runs/10833112611/job/30062514253 R...
GitHubWindows CI for the Julia Pkg errors with 'Could not load symbol "duckdb_vector_size"' · Issue #13911 · duckdb/duckdbBy abelsiqueira
#MinGW#DuckDB#CAPI

To me one of the interesting questions about the #firefox ad tracking feature is: why is Meta working on it? Seems like they would be the company that least needs it, since they already have tracking SDKs, tracking pixels, plus a server-to-server #CAPI in case you block the tracking pixels.

Why does Meta need yet another thing?

if you clicked on a "Facebook uses a VPN to collect your app usage data" story, might I suggest "normal companies dump your interactions with them to Facebook"

#CAPI is hard to see with client-side tools, so a bigger deal than the #privacy media usually covers. But lots of legit and other companies doing it no matter what software you have

themarkup.org/privacy/2024/01/

(that headline is probably an understatement -- companies send your info to $FB whether or not you have an account there)

themarkup.orgEach Facebook User is Monitored by Thousands of Companies – The MarkupA new study looks at who is sending information about your online activity to Facebook