Show newer

@diazona @pganssle

We should come up with a new saying: "Code is more often read than said out loud"

@mariatta In case you didn't find it, Wikipedia has a good write up on the varied things that is called: en.wikipedia.org/wiki/Number_s

I like "Octothorpe", but I don't think that's nearly as common as "pound" or "hash" in American English. (Hashtag as the name for that symbol seems to have skyrocketed in the past 10-15 years).

It is all open source and designed to be easy to fork and deploy if desired: github.com/pganssle/cim

If you are good at web design or music theory I'd be very happy to see contributions (including just giving feedback)! Doesn't take much to be better at those things than me... 😛 ([Exhibit A](github.com/pganssle/cim/issues) 😅)

Show thread

I spent a lot of time this long weekend making improvements to my perfect pitch training app: pganssle.github.io/cim/

I'm pretty happy with how it's shaping up. My son has been using it 4-5 times per day (the sessions are frequent but short), and it's kind of amazing to see how good he is at identifying chords.

So I figured out how to do this with Inkscape, it's just a bit wonky:
1. Make your shape as a simple path
2. Set the size of the shape to be between 0 and 1 (width and height) in some base unit
3. Set up the document so that the scale is 1 of whatever your base unit is.
4. Save an optimized SVG (not always necessary) to get a maximally simplified path (with no transforms or whatever).
5. Open with a text editor and copy the path into your `<clipPath>` SVG.

If that doesn't work as expected, you may have to copy the path and paste it into a new document after it's been scaled and moved.

If that's still not working, you can copy-paste the path into this tool and play with the scaling: yqnn.github.io/svg-path-editor

Paul Ganssle  
Does anyone know a good tool for #linux that I can use to draw shapes and output clip paths for use in #HTML/#CSS that work to clip stuff? What I’m...

Some of the shapes I want to draw can be accomplished easily enough with regular CSS polygons, but I want to clip with something like star, crescent moon, teardrop, heart. I would much prefer to build that stuff in Inkscape or something.

Show thread

Does anyone know a good tool for that I can use to draw shapes and output clip paths for use in /#CSS that work to clip stuff?

What I'm getting from is not clipping my divs correctly. Here's a MWE:

jsfiddle.net/gawLvzqu/

(There should be three divs there, with the left two clipped on rounded triangles)

I'd like to do more measurements of real-world #Python test suite running times.

Do you have a project with an easily runnable test suite that takes between 1 and 10 minutes to run and uses coverage? Ideally it could also be run without coverage measurement, and can run under Python 3.12.

TIA!

@pganssle GrapheneOS has this feature and I'd love if it would become a general part of AOSP.

It allows you to choose which contacts to share, or just pretend you don't have any.

@BryanGreyson Nice! Next time I have time / inclination to switch to a custom OS I'll have to give it a try.

When are they going to add an app-specific "Contacts sandbox" for Android — or the ability to do app-specific spoofed permissions in general?

It is annoying that I either give WhatsApp *all* my contacts or *none* of them. For stuff like that I'd like to be able to share contacts on a per-contact basis (with the app unable to tell the difference between partial and full contact lists, mind you).

Something *like* that exists for file system permissions already. I'm surprised I haven't seen it in any custom OSes or mods.

@brettcannon I seem to remember @glyph might have gotten the same one? Or considered it?

Any recommendations on a baby monitor that does audio and video?

I'm assuming this crowd has parents that don't want a security hole in their child's nursery and thus already did the research for me. 😉

@brettcannon This is the one we bought, very basic, runs over local RF: amazon.com/gp/aw/d/B00ECHYTBI

We broke one after about two years and bought a new one, which we just gave away to family members (ones we like) recently.

As far as I know you can't use it to record video or audio. It has a talk button that is sometimes useful, but also sometimes used to freak out our older one.

Range was decent (though not compared to an internet-connected device). We could go outside when we lived in a townhouse in NY, and when we had a big suburban house it reached the whole thing plus the yards.

PEP 723 was provisionally accepted today! That means you can embed a pyproject.toml into a single file Python script! So this:

# /// pyproject
# run.requirements = [“requests”]
# ///

At the top of your file should enable tools like pipx to know it needs requests to run!

( I made the PR to pipx today )

Today I helped my friend get into her apartment when she was locked out. She was locked out because she was distracted trying to get her and her kids' costumes on, so when we were breaking into her place, she was dressed as... a stereotypical thief, holding a bag with a dollar sign on it. Very inconspicuous. 😅

@glyph Though I imagine that a general rule of "try to guess the time zone they care about by looking at `/etc/localtime` or the `TZ` variable or in the Windows registry or whatever" + have an option to manually specify your time zone would basically have you covered. You don't necessarily need a modal at the beginning like, "Hey, what is your time zone, I couldn't possibly figure this out."

Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.