~/Toots

I feel like we need more mini-games on the #Tildeverse pubnixes so I developed WordGuess a wordle-based game.

https://brandonrozek.com/blog/wordguess/

It's currently up on tilde.club where once a day players can guess the word and compare scores with other players.

I'm having fun distracting myself with the robots.txt of major websites thanks to Oggy.

https://ognjen.io/using-robots-txt-to-discover-hidden-content/

Like why does the verge not want to index the iPhone 15 event? 🤔

Discovered that my favorite search engine Kagi 🔎 has a page where you can explore smaller personal websites 🌐

https://kagi.com/smallweb/

Discovered that I can listen to the community edit Wikipedia in real-time over at Hatnote 🎵

http://listen.hatnote.com/#

Smoothing and great to listen to in the background.

First day hike complete!

Peebles Island 🏝️, New York

@jefklak it makes you wonder where all the human-power went.

Great quote from Manu

"Don’t be afraid of sending an email to someone you don’t know. If someone’s out there on the web, it probably means they want to be found."

https://manuelmoreale.com/more-new-mindsets-fewer-new-technologies

Kristof Kovacs wrote a script that emulates lineinfile from Ansible.

Now I don't need to open up a whole text editor to edit one line in a configuration file.

https://kkovacs.eu/ansible-lineinfile-blockinfile-in-bash/

@nathan @legoktm Wow! I haven't heard of WikiVoyage before this. It's fun to see Fredericksburg, VA, the small city I used to live in, there. Thanks for sharing!

@shom After 30 minutes, I'm stuck on level 7. You did well getting passed it, I'm having a hard time to get it to respond to even totally normal prompts XD

@steffo@uno.starshard.studio I agree that there are a lot of different extensions to the standard.

At the very least it should display the plaintext. Hopefully that's readable enough.

For the curious, it seems that the acronym was first discussed in a scientific paper about data reuse.

https://www.nature.com/articles/sdata201618

"Apart from its simplicity, the markdown format is FAIR: findable, accessible, interoperable, and re-usable"

- Arthur Turrel
https://aeturrell.com/blog/posts/til-zotero-and-obsidian/index.html

All parts of Markdown that I love, and now I know of a great acronym to use to describe it!

@hebster Good question! I don't have a great way of knowing for sure since an encrypted email using that form looks the same as a standard one. Though honestly I only get a small handful of encrypted emails every year.

@hdm @buherator

Thanks for bringing this to my attention. I tried looking around but I haven't had success finding a good replacement. It looks like they replaced the URLs with a modal popup which is dynamically created via Javascript.

I'll let you know if I end up finding a solution myself.

https://assets.infosec.exchange/packs/js/flavours/glitch/async/modals/interaction_modal-1d0c0e1612220dadf68e.chunk.js

@zerok I didn't notice that Mastodon supports timeline sync via the marker's API. Thanks for sharing!

How do you organize your Lean proofs? I wrote a blog post discussing some strategies I employ to make Lean 3 proofs more readable.

https://brandonrozek.com/blog/readable-lean3-proofs/

#LeanProver #ITP #FormalMethods

OpenPGP.js is library that enables client side usage of PGP. With it, I created a form on my contact page that allows others to send me encrypted messages.

OpenPGP.js: https://openpgpjs.org/

Contact Page: https://brandonrozek.com/contact/

Form Implementation: https://github.com/Brandon-Rozek/website-theme/blob/5142aa60128d8a283926ce3089baf286cd48587d/layouts/shortcodes/pgpform.html

Need to stitch photos together into a video? Love FFMPEG? Hammad wrote a great post on his blog to do just that. In fact, he even includes a snippet for overlaying audio which is great for slideshows.
https://hamelot.io/visualization/using-ffmpeg-to-convert-a-set-of-images-into-a-video/

@proactiveservices Oh shoot! I meant to call the emergency astronomer hotline :blobcatfacepalm:

Meet Café my new roommate for the summer. He's a curious cat checking out what I was eating at the dinner table.
#caturday

@dyamon @hebster

I have not tried uploading any hikes to OpenStreetMap before. That's a slightly different use case than what I had in mind in that it contributes walking paths to mapping software everyone can use.

My original goal wasn't as noble as that. I mostly wanted a way to display personal hikes on my website :)

Desiring an open technology approach to Strava embeds, I discovered https://gpx.studio for embedding GPX/GPS data.

Write-up showing how I implemented it on my website:
https://brandonrozek.com/blog/displaying-hikes-with-gpxstudio/

Great for showcasing hikes, bike rides, and more! 🚲

Last weekend my partner and I visited North Adams, Massachusetts where we checked out the Natural Bridge State Park and the MOCA.

I neglected to check the park website ahead of time to see that the main trail was closed. We had plenty of fun in a nearby creek regardless :)

@vleugelcomplement An internal wiki for a research group is a great idea! I'm going to advocate for one now :)

I give a more informal account of how I archive my toots onto my #Hugo blog.

https://brandonrozek.com/blog/archiving-toots/

My Python script which creates the Hugo files:

https://github.com/Brandon-Rozek/website/blob/095622e242ae98a0e6686dd2ad0c304a58d8a677/refreshtoots_v2.py

@mcrute @gruerproof Welcome! I find the community very friendly :)

Your feed might be quiet initially but as you follow more people, things will get more exciting.

To find your folks: check out the local feed, search up tags you're interested in, follow @FediFollows, and find people by topic via trunks (https://communitywiki.org/trunk)

Most of all, have fun and happy tooting!

@ilyess Yes I do have an RSS Feed! Multiple in fact. I recommend https://brandonrozek.com/blog/index.xml to get only my blog posts. For other feeds, feel free to check out https://brandonrozek.com/subscribe

I wrote up a post on how I display a single toot using #Hugo on my website.

https://brandonrozek.com/blog/displaying-a-toot-hugo/

This doesn't cover how I archive all my toots yet, that deserves a separate post :)

@ashshuota @technicalissues Sure I can write a post about my blog-toot setup! Give me a day or so to write it all out and I'll ping you when it's out :)

@benjaminhollon Out of curiosity, which color did you end up choosing for your poster?

@benjaminhollon Congratulations! I'm glad to hear it all came together nicely :)

I have been working on displaying toots from Mastodon on my website using #Hugo. I don't support all of Mastodon's features like CWs or Boosts but I think this is a great start!

An archival page of all my toots:
https://brandonrozek.com/toots/

@ash I personally don't save blogs as PWAs on my mobile device, instead preferring to follow them via RSS. As much as I find all these features cool, it is at the end of the day another feature to support/maintain.

@monarobot It's cloudy where I am at tonight. Thanks for sharing the Lunar Eclipse photo :)

@gawn That's precious content right there, a post on every layout ;)

@cespinoza I agree! Gotta run? Send tab to phone. Maybe it's a longer piece and I want to pull out the E-Ink tablet? Send it there instead. Many practical uses for the Firefox send tab feature :D

@cedric Thanks for sharing the now page concept! I love the idea of succinctly describing the bigger picture happenings in my life.

Thus, now I have it on my site as well :)
https://brandonrozek.com/now/

#IndieWeb

Visited a local farm today and saw this friendly Nigerian Dwarf #Goat

Unlike the other goats, this one still came by to say hi even though we didn't have any food.

#GoatsOfMastodon

@foosel I also use my phone except I'm sure it takes me way longer than if I was to manually flip the switch.

Maybe I need to make a shortcut on my home screen... Nah, I'll probably continue in my non-optimal ways :D

@popey I would go for the Primordial Dawn. The other option of an ice cream smelling car would confuse me more than anything. :blobcatcool:

@ralismark

This is so cool! I've been using nohup for a while when it comes to launching graphical apps through the terminal but using systemd-run is so much cleaner!

https://brandonrozek.com/blog/launchappsthroughterminal/

@chatpin @underlap Great post, thanks for sharing! I never thought of using a global .gitignore before. That combined with a scratch folder is a great idea. :ac_lightbulb:

@ejk Coffee cake is totally breakfast food :ablobcatcoffee:

@Mundon
I've recently switched to Feedbin (https://feedbin.com/). They have a free trial but afterwards it costs $5/month. Honestly that likely means they're not selling my data to advertisers. It's also open source.

Realistically though, the most important feature to me is the ability to export subscriptions via OPML. As long the service provides that (which Feedly does), then you won't risk losing anything.

Stumbled upon a cat on #Caturday no less! :blobcatpeekaboo: :blobcatphoto:

@rridley Looks like the IndieWeb wiki has an entry for that generator
https://indieweb.org/Eleventy

On that page there are a couple tutorials for getting Webmentions and syndicating to work.

Here's a cleaner more general Getting Started guide that you can look at as well:
https://indiewebify.me/

Feel free to keep in touch with any more questions. :)

@rridley I see that you have a website already at https://port53.me/

How is the website built? Wordpress, Static Site Generator like Hugo, other?

@rridley
Have you checked out the Getting started page on the IndieWeb wiki?
https://indieweb.org/Getting_Started

Feel free to tag #IndieWeb if you want any specific pieces of advice.

They also have a page to answer your other question "is it worth it"
https://indieweb.org/why

Though for me, being able to share one of my blog links here and have responses from Mastodon show up on my website is super cool...

@tony Best of luck on the POTA activation! We look forward to hearing updates 📻 🗼

@mhochzwei I think the sign translates to "Seabird Feeding Area", are you only supposed to feed birds in that area?

@darekkay The RSS style is great, thanks for sharing!

This inspired me to spruce up my RSS page as well.

https://brandonrozek.com/blog/index.xml

@SonoMichele Sadly yes :blobcatsad:

@SonoMichele To get around that a lot of people disable DHCP on the router and enable it in PiHole. But then the PiHole is responsible for both the DNS and handing out IP addresses...

@nathandyer Great post! I now feel for anyone living near a timezone boundary.

The big benefit of local time is that I get an intuition for what part of the day the other person is currently at. Is it lunch time or the middle of the night for the person I'm messaging?

Though maybe the local time intuition can be replaced with the knowledge of what UTC time "noon local" is for different parts of the world.

@SonoMichele How do you route DNS traffic to the PiHole then? Do you only set it on a few of your devices?

@weex I agree with your statement on creativity, people often mistake constraints for the objective.

Though I do believe constraints are necessary as well. Otherwise we can struggle from the "blank canvas" problem.

I am not fully read on the Pomodoro technique but I imagine that those timers serve as a necessary constraint to help motivate people to work on their true objectives.

Great post from Ben Orlin on treating time as a constraint and not an optimization target.

Example from his post: Instead of what is the fastest meal I can make, consider what’s the best meal I can make in the next 40 minutes?

:blobcatcookienom: #lifehack

https://mathwithbaddrawings.com/2022/05/03/optimizing-your-life-without-losing-your-soul/

@den Earlier today I wrote a Python script that is similar to what you described.

I have a file toots.json that contains all my toots and then a script refreshtoots.py that queries the JSON API and update toots.json to contain the old and new toots.

You're welcome to check it out and adapt/use it if it fits your needs. 😃

https://github.com/Brandon-Rozek/website/blob/master/refreshtoots.py

@TheIdOfAlan I'm not certain myself, but I think it means "US Politics"

@5uie1I'll have to take another look at Pandoc. I don't know if I can give up the control I have over spacing and layout that I have in LaTex, though maybe there's a way to convert from .tex to the HTML5 slides. 🤔

Wrote a blog post on using `git bisect` to efficiently find where a test script fails.

https://brandonrozek.com/blog/git-bisect-broken-builds/

I don't know how I used #git for so long before learning about this 😲

@phocks You just inspired me to eat a banana. Go fruit! 🍌 🟠

@mos_8502@tech.lgbt That's fair advice when it comes to embedding. I do wish to show it though, so I'll take your alternate suggestion to use the object tag. 😃

#webdev
Does anybody have a favorite way of embedding PDF slide decks onto a webpage?

Working on the presentations page for my website, and currently I am using the <embed> tag.

@RL_Dane From my understanding, it creates a virtual desktop for the application to draw on. I've only used it for apps that I don't need to see the GUI for, but it likely has other uses.

@RL_Dane Maybe not my favorite, but every so often a terminal application requires an X server to function and I want to use it within a SSH connection.

Instead of using SSH X11 Forwarding, I use X Virtual Framebuffer (xvfb)

xvfb-run ./application

@gigantos Browsing around I found this cool open source application for creating nice looking code images

Carbon: https://carbon.now.sh/

This can output both as PNG and SVG, though sadly it doesn't look like Mastodon supports SVGs. As you mentioned before, the best bet is likely to have the code in the alt image.

@gigantos
I haven't tried sharing code on here yet, though my immediate thought process would be to create a pastebin or gist and paste the link here.

My only concern about code in an image is if it would turned out blurry. Maybe SVGs can solve that issue.

Thanks @anaulin for an easy to follow post on setting up Webmentions on a static website!

I followed along with great success.

https://anaulin.org/blog/adding-webmentions/

Implemented Webmentions on my blog! #indieweb

@RL_Dane Not super long, the hope is that most people won't use the complicated advance features and instead follow the same workflow...

Thankfully, I have yet to see someone explicitly call the git garbage collection command. Though I'm sure that's bound to happen :D

@RL_Dane Funny enough, I wrote a ``best practices`` document for Git in my last job. Some things come full circle 🌏

Does anyone still use SVN or CVS for any of their projects?

One project that I collaborate in uses #SVN and honestly I quite like the sparse directories feature (https://svnbook.red-bean.com/en/1.8/svn.advanced.sparsedirs.html)

Sparse checkouts in #git don't quite feel the same...

@SonoMichele I <3 Bitwarden, I currently use their hosted service though I may one day host it myself. I used to run PiHole, but I ended up buying an OPNsense router and using Unbound with blocklists. I didn't feel comfortable having my DHCP server as a separated from my router. Mainly since rebooting that box essentially meant "bringing down the internet" for my home.

@proactiveservices Great question! I have not seen that episode of Star Trek. Though funny enough, I did watch, based on a recommendation from another, an episode within the original series called "The Ultimate Computer". It's always fun to see these concepts covered in media, I'll have to check out the episode you mentioned :)

@SonoMichele Hello there! Honestly my most used services are for document collaboration:
- Overleaf (https://github.com/overleaf/overleaf)
- Hedgedoc (https://hedgedoc.org/)

I've recently started taking advantage of file syncing again through Nextcloud. Though I usually bounce around on that front between not syncing at all and using Syncthing.

How about you? What's your favorite service?

#Introduction Hi everyone! I'm a PhD student in computer science, studying the intersection between formal logic and artificial intelligence.

I enjoy and love all things #foss , I am a #fedora user and often tinker around with my #homelab.

I also fumble around with #hamradio and enjoy vibing outdoors when the weather is nice. When I'm extra ambitious, I'll add a hike in!