@benc@mastodon.hawaga.org.uk
@benc@mastodon.hawaga.org.uk avatar

benc

@benc@mastodon.hawaga.org.uk

Hi.
I'm Ben.

For fun I ride my bike around Berlin and build pretty things with LEDs and microcontrollers.

I'm also interested in programming language design/theory stuff.

I help with a refugee reception volunteer group in Berlin for people arriving from Ukraine.

I like dogs.

http://www.hawaga.org.uk/ben/
https://github.com/benclifford
https://twitter.com/benclifford

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

benc, to random
@benc@mastodon.hawaga.org.uk avatar

i've become the type of guy that writes page long commit messages

benc, to random
@benc@mastodon.hawaga.org.uk avatar

people cloning their github forks so they end up with origin meaning their fork, and then i'm looking for a word for the original repo that isn't origin*al. Surprised I haven't had to think about this before in 20 years, at least not in this way, but i ended up recommending official as the remote name.

surely there's a @b0rk zine about this?

benc, to random
@benc@mastodon.hawaga.org.uk avatar

berlin somehow had a maglev/monorail project again (after the last one in the 1980s). that is apparently going to be cancelled. which is probably a good thing, because .

benc, to random
@benc@mastodon.hawaga.org.uk avatar

In @ParslProject we have a naming problem: society keeps dividing up the minimum unit that a kernel task (thread/process) can be scheduled onto: first multiple CPUs, then multiple cores, then hyperthreads, and now people also call hyperthreads "threads" to confuse people with the "threads" that can get scheduled onto them.

So.. what should we call in docs and config "the unit that the OS can schedule tasks onto" that isn't going to get ruined next time some guy subdivides execution units again?

thisismissem, to random
@thisismissem@hachyderm.io avatar

So I'm at a hospital in Berlin for a medical appointment, and somehow I'm the only person wearing a mask.

benc,
@benc@mastodon.hawaga.org.uk avatar

@thisismissem I was in a Berlin GP & hospital last week and I was surprised at how many staff were masked! (at least in the GP & emergency department...) ...Tapered off sharply elsewhere in the hospital though.

benc, to random
@benc@mastodon.hawaga.org.uk avatar

today's degenerate hyperlink form:

a song i like is playing on some radio stations web streaming on phone. switch to home screen, click shazam, let it ... use the microphone to record the output of the speaker in the same device (?)... click "view in Spotify"

benc, to random
@benc@mastodon.hawaga.org.uk avatar

Limited to single B-channel ISDN speed because I've used up my data package on my phone.

Amazing basically how nothing works over this technology of the future, when we used to service an office of tens of people over 2 B-channels.

benc, to random
@benc@mastodon.hawaga.org.uk avatar

There's some kind of cell broadcast emergency warning going off on not very many people's phones in this carriage (for pas de Calais).

Waiting for mine.

benc,
@benc@mastodon.hawaga.org.uk avatar

Haha they were turned off on my phone. Reenabled and waiting to see if I get any.

But the train people are making an announcement now about please ignore all the flood alerts.

terrorjack, to random
@terrorjack@functional.cafe avatar

you seem to be shaking the phone in frustration. would you like to open the bug report screen?

benc,
@benc@mastodon.hawaga.org.uk avatar

@terrorjack I discovered that feature while riding my bike over cobblestones with the phone mounted on handlebars

benc,
@benc@mastodon.hawaga.org.uk avatar

@terrorjack I laughed at what failure mode they're expecting... UI got stuck, but somehow it'll get unblocked if you run this other routine that is invoked by one of the other input methods?

girlonthenet, to random
@girlonthenet@mastodon.social avatar

Say what you like about the (old, rickety, odd-smelling) Bakerloo Line, you can’t deny that the run-down nature of it makes it the tubeiest of all the tubes. Bakerloo carriages are the closest to the Platonic Ideal Tube Carriage currently running.

benc,
@benc@mastodon.hawaga.org.uk avatar

@girlonthenet that forwards/backwards seating (rather than along the wall) is what does it for me.

jonny, to random
@jonny@neuromatch.social avatar

what the hell is going on with u-haul having its own u-note barter currency where i can micro-invest in a shipment of 6700 hand dollies complete with prospectus https://www.uhaulinvestorsclub.com/HowItWorks

benc,
@benc@mastodon.hawaga.org.uk avatar

@jonny sorry we couldn't pay your 4.75% interest this month, so we've shipped you 6700 heavily used and abused dollies to settle our obligation in its entirety?

benc, to random
@benc@mastodon.hawaga.org.uk avatar

I'll be giving a talk on some functional aspects of @ParslProject at Dutch Functional Programming day in a couple of weeks in Delft.

Programme isn't fully online yet here so you'll have to believe me

https://www.tudelft.nl/fpday-2024-1

Edent, to random
@Edent@mastodon.social avatar

What's the maximum speed you could transmit data using DTMF on a basic voice line?

There are 16 discrete symbols (0-9, *,#,A-D) which means you can use hex-encoded data.

Standard rate is 80ms (40ms for the tone and a 40ms space).

But the fastest decoders can work with 25ms (20 tone, 5 space).

That's 40 hex symbols per second.

So approx 1KB per minute.

benc,
@benc@mastodon.hawaga.org.uk avatar

@Edent surely you're going to need some kind of special keypad if you're going to be dialing that fast, like hams have special morse keys

mgeisler, to python
@mgeisler@ohai.social avatar

I wrote my first match statement today — it was nice! I was unpacking a JSON response and wanted to distinguish between a message with a success key and an invalid key:

match json.loads(stdout):  
 case {"invalid": err}:  
 parser.error(err)  
 case {"success": _}:  
 pass  
 case _:  
 parser.error(f"Unexpected value: {stdout}")  

See https://peps.python.org/pep-0636/ if you're not familiar with the new syntax (added in 2021).

benc,
@benc@mastodon.hawaga.org.uk avatar

@mgeisler looking forward to using that in our codebase when we drop support for Python 3.9 in 2025 :(

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

[poll] how do you think of a git commit?

(sorry, you can't pick “it’s all 3”, I'm curious about which one feels most true to you)

benc,
@benc@mastodon.hawaga.org.uk avatar

@b0rk "diff" isn't quite the right word because as someone else said the abstractions are leaky and I'm well aware that the diff is represented as a "before state" and "after state", not as a piece of text with +++, ---- lines like git diff shows...

bloor, to random
@bloor@bloor.tw avatar

If Telcos Ran Restaurants

Waiter: "Ah, welcome to the restaurant, Sir!"

Customer: "Thanks! May I take a look at the menu?"

W: "Certainly, that'll be £125"

C: "I have to pay to see the menu?!"

W: "They do cost us a lot to produce, so we have to charge for them."

C: "But you sell food. I can't buy food unless I can see what I'm buying."

W: "But we do have to charge to see the menu."

C: "I'll go to another restaurant."

W: "Ok you can see the menu for free. Just this once! Since it's you!"

benc,
@benc@mastodon.hawaga.org.uk avatar

@revk @bloor ah one of the legends of uk.telecom

benc, to random
@benc@mastodon.hawaga.org.uk avatar

People with experience in optimising compilers, is there any way to simplify this receipe to avoid at-mix-time computation?

> Make a well in the bowl and pour in about two-thirds of 150ml cold water,

https://www.bbcgoodfood.com/recipes/rough-puff-pastry

revk, to random
@revk@toot.me.uk avatar

Well, it fits well in a resin mould. I really should do some s/w before setting it in stone (or resin).

benc,
@benc@mastodon.hawaga.org.uk avatar

@revk and only half a day too late for 1700000000000000

benc, to python
@benc@mastodon.hawaga.org.uk avatar

did something change about += becoming more threadsafe between Python 3.7 and Python 3.10? I have some vague memory that it did but can't find any documentation, and running a few test programs seems to suggest so?

benc,
@benc@mastodon.hawaga.org.uk avatar

@davidhewitt @tshirtman ok glad its not just me that the documentation is gaslighting...

futurebird, to random
@futurebird@sauropods.win avatar

What kind of music comes to mind when you think about ants doing things? I need some good (no lyrics) “ant music” any suggestions?

benc,
@benc@mastodon.hawaga.org.uk avatar

@futurebird haha the immediate thought was the Benny hill music, and now I'm kinda surprised I though that

amoroso, to linux
@amoroso@fosstodon.org avatar

Can you recommend any tools similar to curl but for arbitrary protocols? Something like curl telnet://... but scriptable and not interactive.

benc,
@benc@mastodon.hawaga.org.uk avatar

@amoroso not really sure if this is what you mean, but the expect Unix command line tool is what you could use a few decades ago for scripting serial port style sessions...

b0rk, to random
@b0rk@jvns.ca avatar

I've been thinking about these "dns propagation checkers" like https://www.whatsmydns.net/ that show you a world map.

This feels weird to me, because the main reason that DNS lookups get outdated records is that the resolver has an old record cached. And whether or not a record is cached has nothing to do with the geographical location of the server?

what's going on with these sites? why are they designed this way?

(would love to hear from people who actually know the answer, not guesses)

benc,
@benc@mastodon.hawaga.org.uk avatar

@b0rk yes their own servers. the configuration errors were "stupid" enough that I'd imagine anyone seriously running a DNS hosting service would have them easily automated away, and easily detectable with automatic monitoring (eg... check the SOA records for all servers for all zones)

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