Posts by benc@mastodon.hawaga.org.uk
(DIR) Post #APxbhyIgMakywr7B8C by benc@mastodon.hawaga.org.uk
2022-11-21T11:06:55Z
1 likes, 2 repeats
My most starred github repo, and maybe my favourite, is a #haskell package called `acme-smuggler`.It gives you a function `smuggle` which hides an arbitrary (typeable) value inside ()smuggle :: t -> ()and then later on, you can retrieve that value using:discover :: () -> tIt's just 7 lines of code, described in my blog post: "Smuggling things in a dirty bottom"https://benctechnicalblog.blogspot.com/2016/11/smuggling-things-in-dirty-bottom.html
(DIR) Post #AXXkok0YtPg2REjbSC by benc@mastodon.hawaga.org.uk
2023-07-10T06:51:07Z
0 likes, 1 repeats
Read a frustrated "shutting down this meetup group" email from someone which reminded me what a vibrant tech meetup scene London had when I lived there... I miss that...
(DIR) Post #AYetcP2RdiEf22ewsa by benc@mastodon.hawaga.org.uk
2023-08-12T13:48:44Z
0 likes, 0 repeats
ah my strange home network where the static IPv6s for my Raspberry Pis are configured on each different SD card (i.e. OS image) but the static IPv4s are configured in a DHCP server against the specific board (i.e. MAC address) that the SD card is in...#ipv6 #RaspberryPi
(DIR) Post #AZh1sRrWc9SjRyC9RI by benc@mastodon.hawaga.org.uk
2023-09-12T13:33:35Z
0 likes, 1 repeats
another day another divergent DNS authoritative server
(DIR) Post #AadkTgfe2VKa414TTM by benc@mastodon.hawaga.org.uk
2023-10-10T20:44:49Z
1 likes, 0 repeats
@critical missed this post by 942 seconds :(
(DIR) Post #AagxaZu9TX7Vz7LvNY by benc@mastodon.hawaga.org.uk
2023-10-12T08:43:57Z
0 likes, 0 repeats
Haha, Lufthansa gives you free 30 minutes onboard WiFi which you can access by filling out a web form in the captive portal and then clicking a link in the email you cannot receive yet.#PleaseDontUseOurService
(DIR) Post #Ahom6vhqaDBwYG7eWO by benc@mastodon.hawaga.org.uk
2024-05-04T12:58:02Z
0 likes, 0 repeats
#BER security checkpoint reservation website shows my reservation as on 05/06/2024 on my laptop and as 06.05.2024 on my phone
(DIR) Post #Ahq25xxOWQu9fQuuXY by benc@mastodon.hawaga.org.uk
2024-05-05T10:27:40Z
0 likes, 0 repeats
so turns out googling "time in chicago" doesn't reliably work for me any more, instead sometimes giving a rich screen of information about the chicago timezone, last updated (including the current time) 5 days ago#shit
(DIR) Post #AhqdL6C3sTMvrOr9pA by benc@mastodon.hawaga.org.uk
2024-04-29T13:20:07Z
0 likes, 0 repeats
Just had a load of gherkins dipped in mustard and it was like being back at Beigel Bake but without the bagels or salt beef.#BrickLane #London
(DIR) Post #AhrBZCmPaF2Mmbkyye by benc@mastodon.hawaga.org.uk
2024-05-03T10:43:19Z
0 likes, 0 repeats
today I am: mostly renaming variables
(DIR) Post #AhtVTODKXsTTuJlvNI by benc@mastodon.hawaga.org.uk
2024-05-02T09:45:15Z
0 likes, 0 repeats
plugin motivation as:* where there's a `switch` statement you want to add more clauses to* this is place you will get your student to hack in your random research idea
(DIR) Post #Ai0mBAUzrE6hUAeU8u by benc@mastodon.hawaga.org.uk
2024-05-04T15:34:55Z
0 likes, 0 repeats
did a bit of poking at reimplementing one component of @ParslProject in #Elixir (also in #Rust and #Idris2) - for "professional development" rather than to achieve something maintainable...this component interfaces to other bits with ZMQ and I got a bit frustrated trying to figure out the best way to be dealing with messages to/from both ZMQ and Erlang processes... a replay of what I've seen a few times of "I want poll, but I want poll on multiple peoples messaging systems".
(DIR) Post #Ai5r3kCUhto1SN4nwW by benc@mastodon.hawaga.org.uk
2024-04-26T09:31:16Z
0 likes, 0 repeats
still boggles me a bit that they didn't get rid of 1 == True in the big Python 2->3 change
(DIR) Post #Apv6Fmo62c6rhDeqa8 by benc@mastodon.hawaga.org.uk
2025-01-09T11:57:45Z
1 likes, 1 repeats
unspeakable netmask horrors from @fanf on the internet-history mailing list, 15y ago, unearthed today in my memory:> I toyed with using 0xffff0003 netmasks to split the /16 so that successive addresses could be routed to each of the four London reverse proxies in turn.> This worked in testing but I didn't deploy it because it broke my colleagues' brainshttps://elists.isoc.org/pipermail/internet-history/2010-October/001535.html
(DIR) Post #AtmwHNBYKhE3UDE1uC by benc@mastodon.hawaga.org.uk
2025-05-04T15:56:51Z
0 likes, 0 repeats
@quixoticgeek I saw a comment somewhere that efficient transport systems look empty... I don't buy into it completely (because haha London rush hour) but I like it for thinking about this sort of thing.
(DIR) Post #Au9QUL2ss6KqiVO5HU by benc@mastodon.hawaga.org.uk
2025-05-16T12:05:50Z
0 likes, 0 repeats
rebuilt to a recent version of #Idris2 and now I'm getting an error Control.App.(>>) not existing -- it's not the upgrade breakage I was expecting...
(DIR) Post #Au9Qt982JcJEzrcuq8 by benc@mastodon.hawaga.org.uk
2025-05-16T12:13:34Z
0 likes, 0 repeats
@shalien haha, well I have a few months every year where I have been doing this for @ParslProject supporting the next great #Python too.
(DIR) Post #Aw6cTqNji94qsrN7w0 by benc@mastodon.hawaga.org.uk
2025-07-13T23:11:20Z
1 likes, 0 repeats
another day, another *of course* here's another set of linked list helpers written in C.
(DIR) Post #Ay3bWwauwkHF89WmEC by benc@mastodon.hawaga.org.uk
2025-09-10T00:53:00Z
0 likes, 1 repeats
three different infrastructure layers all trying to make sure they have a TMPDIR that is unique, leading to:> OSError: AF_UNIX path too long
(DIR) Post #Az3uKRf11iqKI6C6k4 by benc@mastodon.hawaga.org.uk
2025-10-10T09:36:05Z
0 likes, 0 repeats
@shalien its the ~/.ssh/config file that is incompatible -- I already have lots of different key files.