@larstiq@mathstodon.xyz avatar

larstiq

@larstiq@mathstodon.xyz

Former math student using Python to mangle maritime data. Learning Rust. Dutch transplant to Finland. Soft spot for algebra, geometry, combinatorics, Banach spaces and open source software.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

hartkp, to random Norwegian
@hartkp@mathstodon.xyz avatar

C-embedding, Lindelöfness, Čech-completeness.
What more do you want?
https://arxiv.org/abs/2404.19703

larstiq,
@larstiq@mathstodon.xyz avatar

@hartkp enough time to read and appreciate ;)

suihkulokki, to random
@suihkulokki@society.oftrolls.com avatar

Some code stopped working after mayday and started working today again. Turns out there exists strptime() implemention that ignores the "leading zeroes are permitted but not required" in %d identifier for day of month...

Maybe tonight, a real Carrington event will come and fry all these bugs off the computers.

larstiq,
@larstiq@mathstodon.xyz avatar

@suihkulokki Doh! I was tired after visiting Korkeasaari and went to bed early, completely missing this :(

I still have the bugs to look forward to though...

faassen, to rust
@faassen@fosstodon.org avatar

I go to

I figure doing XML in Rust is rather obscure. I queue for lunch, mention it to someone, someone else just ahead of me in the queue says "oh I am working on that too!"

I also chatted to two different speakers at the conference who worked on a different XSLT engine in the past (way before Rust)

larstiq,
@larstiq@mathstodon.xyz avatar

@faassen how was the conference otherwise? Too far away for me to attend alas.

larstiq, to random
@larstiq@mathstodon.xyz avatar

One little trick that brought me joy yesterday: sort a dataset by one column (e.g. modified date), select a range of interesting rows, sort by another column (e.g name or description) and then use {/} to jump to the previous/next selected rows and inspect them in the context of their neighboring rows. One of the most delightful pieces of software I use on a regular basis.

glyph, to random
@glyph@mastodon.social avatar

As everyone under 40 in infosec tires of the “Hackers” aesthetic plastered on everything by us tedious elder millennials, one thing that I think gets lost, particularly for younger folks, is that the movie isn’t just goofy camp. I mean, obviously, it’s heavily fictionalized, but there really was a hacking subculture kind of like the one depicted in it in New York in the 1990s. I barely grazed the outer periphery of it myself, and I sometimes wonder if anyone did a serious ethnography of it.

larstiq,
@larstiq@mathstodon.xyz avatar

@glyph https://catalog.lib.uchicago.edu/vufind/Record/5717962 is too recent for that right? Perhaps following references might find such research, or asking Gabriella Coleman directly if she knows if anyone has done such a thing.

bert_hubert, to random Dutch
@bert_hubert@mastodon.nl avatar

5 juni 1987 stukje in @nrc_nl over de te hoge werkdruk voor gemeenteraadsleden, met name in grote steden (over mijn vader, die daarom opstapte als fractievoorzitter in Den Haag).

larstiq,
@larstiq@mathstodon.xyz avatar

@bert_hubert @nrc_nl Oho, het Scheveningsche wapen en het muziekcentrum aan het Spui, wist niet dat die zo recent waren.

whvholst, to random
@whvholst@eupolicy.social avatar

Hard failure of The Guardian not to mention ISDS explicitly in this article on countries withdrawing from the Energy Charter Treaty https://www.theguardian.com/environment/2024/feb/22/uk-quits-treaty-that-lets-fossil-fuel-firms-sue-governments-over-climate-policies

larstiq,
@larstiq@mathstodon.xyz avatar

@whvholst it says now 'made it so deadly – the investor-state dispute settlement (ISDS) provisions – lives on in a number of other treaties, including the pacific trade deal. With ISDS’s legitimacy crumbling, now is the time to scrap all this system.”

A UN report last year said that ISDS contained risks of bias, conflicts of interest and abuses of power, with “catastrophic consequences” for climate action.'

Did they edit that in later or did you mean a more substantial mention?

MartinEscardo, to random
@MartinEscardo@mathstodon.xyz avatar

Today I got to my office at 7:30 to get ready for my 10am lecture. It worked. I said everything I wanted to say, I didn't run out of time, I didn't finish too early, and, I think, I managed to answer all student's questions, one of which was a very good one, and took 10 minutes to answer.

larstiq,
@larstiq@mathstodon.xyz avatar

@MartinEscardo even knowing that I likely lack the background to understand, I am curious what the question was that took 10 minutes to answer?

larstiq,
@larstiq@mathstodon.xyz avatar

@MartinEscardo no worries, that is understandable :)

ColinTheMathmo, to random
@ColinTheMathmo@mathstodon.xyz avatar

So, this can't be good ...

https://www.theguardian.com/environment/2024/feb/19/like-the-flip-of-a-switch-its-gone-has-the-ecosystem-of-the-uk-largest-lake-collapsed-aoe

larstiq,
@larstiq@mathstodon.xyz avatar

@ColinTheMathmo I wonder what the cause is. https://www.irishtimes.com/environment/2023/10/14/flies-converge-over-lough-neagh-to-find-a-mate-within-a-week-before-they-die/ mentions different species thrive in different conditions, but it is so bad now none do?

vaurora, to random
@vaurora@wandering.shop avatar

So, is there something that is the equivalent of an agent for an actor or an author, but for programmers? Asking for a me

larstiq,
@larstiq@mathstodon.xyz avatar

@vaurora in Finland there are several consulting companies that can be an intermediary for freelancers for one-off/defined jobs (Futurice, Reaktor, etc), not entirely equivalent to an actor's agent but close. They are active in some other countries as well but maybe not where you are. In the Netherlands I also used to know one group of ZZPers that were banding together to find gigs, same idea but less reach.

brainsmoke, to random
@brainsmoke@mastodon.social avatar

Snake

Snake animation on an LED sphere

larstiq,
@larstiq@mathstodon.xyz avatar

@brainsmoke mooi!

ColinTheMathmo, to random
@ColinTheMathmo@mathstodon.xyz avatar

I have a Linux file system with lots of files. "du" reports it to be 520GB on disk.

I want to find a number T such that if I delete all files bigger than T, the remaining files have a "du" of between 140GB and 150GB.

How would you accomplish that without actually deleting any files?

larstiq,
@larstiq@mathstodon.xyz avatar

@ColinTheMathmo I have done something like this before by first gathering all file sizes in a python list, sort by size, and seek a prefix of the list that sums to at least the needed size. Your other bound might be an issue though

hartkp, to random Norwegian
@hartkp@mathstodon.xyz avatar

Even streng zijn:
https://www.wisfaq.nl/showrecord3.asp?id=98021

larstiq,
@larstiq@mathstodon.xyz avatar

@hartkp goh, die "vraag" was wel brutaal

christianp, to random
@christianp@mathstodon.xyz avatar

It's my birthday today! 🎂

On an unrelated note, please send me fun maths facts about the number 38.

larstiq,
@larstiq@mathstodon.xyz avatar

@christianp I tried to find something more fun but going is slow. It is a squarefree semiprime though!

rygorous, to random
@rygorous@mastodon.gamedev.place avatar

waves cane you young whippersnappers may think of vesa mount as just something you use to hang displays on walls, but back in my day (CE 79), it erupted and buried a whole city in italy

larstiq,
@larstiq@mathstodon.xyz avatar

@rygorous I had to stare at that a moment before I groaned.

tekknolagi, to random
@tekknolagi@mastodon.social avatar

Type information for faster Python C extensions: https://bernsteinbear.com//blog/typed-c-extensions/

larstiq,
@larstiq@mathstodon.xyz avatar

@tekknolagi that's rather exciting! Looking forward to how this develops.

brainsmoke, to random
@brainsmoke@mastodon.social avatar

After 9 1/2 years, it finally runs without an external Raspberry Pi :,-)

larstiq,
@larstiq@mathstodon.xyz avatar

@brainsmoke ah, so this is what you were building!

b0rk, (edited ) to random
@b0rk@jvns.ca avatar

poll: how do you think about git branches? (I'll put an image in a reply with pictures for the 3 options)

as with all of these polls obviously all 3 are valid, I'm curious which one feels the most true to you

larstiq,
@larstiq@mathstodon.xyz avatar

@b0rk all three of them depending on the context

larstiq, to random
@larstiq@mathstodon.xyz avatar

Quite pleased with my aoc23/02 solution using Counter |= and < for a compact handling of parts 1 and 2.

mitsuhiko, to random
@mitsuhiko@hachyderm.io avatar

Last post on the license for a while, I promise. But I wrote down my very personal thoughts on Sentry's new (non Open Source) license and why I think it's much stronger than “source available”. https://lucumr.pocoo.org/2023/11/19/cathedral-and-bazaaar-licensing/

larstiq,
@larstiq@mathstodon.xyz avatar

@mitsuhiko your FSL comparison to the cathedral seems reasonable. How would that work with outside contributions, also FSL licensed or straight to the open?

larstiq,
@larstiq@mathstodon.xyz avatar

@mitsuhiko aye, from an availability perspective, a CLA is still better. In case of disputes the sense of betrayal can be bigger, but I suppose when the license is changed to something closed later the version someone contributed to is still FSL and will eventually be open (no Unity style retroactive changes)

iritkatriel, to random

At the last Python Language Summit in April, after three back-to-back sessions on the C API, we agreed that our discussions about the future of the C API are lacking a shared understanding of its current state, its strengths and weaknesses.

We decided to work towards a document summarising a community consensus on that, and have now put together the draft of PEP 733.

https://peps.python.org/pep-0733/

larstiq,
@larstiq@mathstodon.xyz avatar

@iritkatriel Nice! As a irc channel lurker, this looks like the most comprehensive collection of concerns about the C API I have seen. Hope that it will help make the lives of alternative Python implementations easier in the future.

jelmer, to random
@jelmer@mastodon.cloud avatar

I'm really enjoying StreetComplete (https://streetcomplete.app/?lang=en-gb) as a way to casually contribute to OpenStreetMap.

It's an easy to use app that asks specific questions about things that need clarification in OpenStreetMap data, like "Does this bus stop have a shelter?" or "What is the surface quality of this road?".

Google Maps has something similar, but of course contributions there are to a proprietary data set.

larstiq,
@larstiq@mathstodon.xyz avatar

@jelmer how often do you encounter needing to add some data?

bert_hubert, to random
@bert_hubert@mastodon.nl avatar

Nieuw: woensdag 11 oktober, rondetafelgesprek Tweede Kamer over "chatcontrol" aka client side scanning, een verplichte module in je WhatsApp die je communicatie en foto's scant op "grooming" en bekende en onbekende kinderporno & melding doet bij politie en Europol. Met @Frederik_Borgesius, @xot, Michel van Eeten en mij. https://www.tweedekamer.nl/kamerstukken/detail?id=2023D39735&did=2023D39735

larstiq,
@larstiq@mathstodon.xyz avatar

@bert_hubert in de zin "Follow the Money doet publiceert nuttig onderzoek over dit thema." staat denk ik een extra woord.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • provamag3
  • modclub
  • DreamBathrooms
  • thenastyranch
  • magazineikmin
  • osvaldo12
  • ethstaker
  • Youngstown
  • mdbf
  • slotface
  • rosin
  • ngwrru68w68
  • kavyap
  • GTA5RPClips
  • JUstTest
  • cubers
  • InstantRegret
  • khanakhh
  • tester
  • everett
  • Durango
  • tacticalgear
  • normalnudes
  • megavids
  • Leos
  • cisconetworking
  • anitta
  • lostlight
  • All magazines
    •