Feel free to tell what you plan on doing this weekend and even ask for help or feedback.
Please keep in mind it’s more than OK to do nothing at all too!
Feel free to tell what you plan on doing this weekend and even ask for help or feedback.
Please keep in mind it’s more than OK to do nothing at all too!
See, I like these posts ’cause it makes me think, what SHOULD I be doing this weekend?
Enjoying the halfway decent weather. Reading Dune. Working on clearing out more stuff so we have less to pack for moving. Maybe baking bread.
Memory unsafety I guess? I don’t know what that says about me.
Continuing work on https://bauble.studio. Pace is very slow with a newborn, but I’m essentially rewriting the core compiler from scratch because I didn’t actually write a compiler the first time. Just a… super janky string builder thing that grew very “organically.” I’ve completed the low-level GLSL AST -> pretty-printed GLSL part, and I’m in the middle of defining a higher-level language that targets that AST but adds things like sort-of-first-class functions and very primitive type inference.
Once that’s done, there’s so much more that Bauble will be able to do! Instead of just composing shapes and colors, you’ll be able to write arbitrary shader code in lisp. For example right now there’s a built-in, hard-coded ambient occlusion calculation. But soon you’ll be able to define your own ambient occlusion function! Or other render passes! Or whatever you want! I’m very excited for this feature that no one but me will actually use.
Anyway the end goal is still mesh export for 3D printing or importing to other tools, but not until all the fundamentals are cleaned up…
Something something Crowdstrike :)
BevyJam! https://itch.io/jam/bevy-jam-5 This will be xir first time developing with Bevy in earnest, so xe are excited to see where it takes xe. Anyone interested in collaborating?
I spent way too much time this week making the switch from VSCode to neovim. Very happy with the setup and managed to get to a good place with it. I shared a video here, if anyone’s curious: https://youtu.be/5HDzrAMSXUA Because of that, I’m spending the weekend doing real work – I’m writing a Vietnamese book aimed at nomads here in Vietnam to pick up some bits of the language.
Thank you for sharing!
I recently switched from vim to helix, because it seems like it handle more things „out of the box” than nvim, but I kinda miss some vim features. Maybe it’s time for another switch xd
Your photos on twitter look great, I really want to visit Vietnam now :D
It was definitely a nicer experience to set up now with lua and lazy.nvim. And thanks! If you come, I recommend Da Nang. Cool city!
Trying to wrap my head around ATS some more. Linear types, refinement types, dependent types, proof… while going all the way down to the metal with viewtypes for memory layout for unboxed, zero-cost abstractions. As a bonus, it is an ML instead of some Python-looking-ass language.
Hopefully getting around to listing for sale tens of TBs of hard drives and some other un(der)used homelab equipment.
Crew change in Greece, then sailing to some new places and some old places with the new crew. Weather looks like it might be cooling down slightly which is a welcome change.
Hopefully I’m getting home. I fly United today. United got hit by crowdstrike. I’m documenting my struggles on Twitter.
I’m working on smolgit.
I’ve been looking for a simple git server for a long time to install on my rasberry pi I decided to write it myself.
Your feedbacks are more than welcome! Thank you!
Nice! I’m working on kinda the same thing I guess. I’m already using static gituwa and now I’m working on gitbrn (oh, these creative names xD). Will take a look on your smolgit definitely!
Neat! What a nice tiny stuff, I love it!
Being less intensive at work gave me room to be more creative, and I actually started to enjoy learning once again, so I’ll try to focus on Programmers Introduction to Math and a few other chapters I left open on my compiler course
Summer is nice in Spain but incredible hot, so it’s like being in winter (full cave mode) in Sweden
I’m returning from Colombia (assuming I don’t get screwed over too badly by CrowdStrike🤞); when I return, I’m hoping to figure out how to safely expose services running on my homelab/k8s cluster to the public Internet before eventually moving my blog and analytics services from AWS to my cluster.
How was Colombia? I’m curious about it as a spot to work from for a few months, but I hear mixed things about Medellin.
I’ve been in Colombia for roughly one year in a few different places. I personally don’t care for Medellin. It’s very nice to visit and in particular I like the botanical garden and el poblado is quite nice during the day. Laureles is also an ok area. The weather is extremely nice. But the nice areas are overrun with tourists. The crime is high where they target tourists and I didn’t feel very safe.
It’s the city of reggaeton so if you like that then the nightlife will be good… me I don’t care for it and so I had a rough time.
Personally for living I prefer Bogota, there is an incredible amount of culture and cafes around the Chapinero region but the weather is cold.
For shorter trips I think Cartagena (bit touristy though), Santa Marta, Villa de Leyva (and that entire region) are great options.
Appreciate this perspective. I’ve heard really good things about Medellin, but I think the people from whom I’ve heard those things probably value night-life and a glitzy facade a lot more than I do.
I’ve heard only good things about Medellin. I’m in Barranquilla, and it’s fine. The people we are with are absolutely wonderful, and super hospitable. But it seems like malls, restaurants, nightlife are the main attractions and we have been cautioned by locals to just uber between those destinations and not walk anywhere. No idea if that advice is appropriate or not, but we’ve been heeding it and have felt somewhat cooped as a result (we’re not big shopping / nightlife people). That said, money goes a looong way here so you can enjoy great food and a nice place to stay for relatively little money. The main attraction for us has been the people that we are visiting; can’t say enough good things about them or the hospitality we’ve received.
Went out for coffee and wandering around town with wife, then mowed lawn, practiced songs for an upcoming set at a local beer festival, and put down deposit on a new home office shed. Tomorrow probably dinghy sailing and more guitar practice, and phoning my parents in the early evening.
Will write a blog post about ELF mapping symbols. AArch64 mapping symbols bloat executables significantly. I have a plan to address the issue. https://github.com/ARM-software/abi-aa/issues/274 https://github.com/llvm/llvm-project/pull/99718
IETF starts this weekend, and then LOCALHOSTVan
https://writing.dwebyvr.org/localhost/
I’m finally learning vim (well, neovim (well, lazyvim)) this weekend using https://lazyvim-ambitious-devs.phillips.codes/
Good luck! Xe picked up vim back when we were a teen and xe have loved it ever since.
Gonna try to rekindle a devices-free reading habit and hopefully stop scrolling through YouTube late at night. A friend gifted me a copy of ‘Analog Virtual’ by Lavanya Lakshminarayan which has collected dust on my shelf for a few years, it’ll finally have its time :P
Also the standard side project/config tinkering which remains an infinite abyss of time spent questionably
I find having an offline e-reader really helps. The reflective screen is far less disruptive to sleep than a standard screen. I also make sure that I set the daylight temperature to about 2800. Kelvin.
I’ve been trying to talk myself out of buying something like a Kindle Paperwhite because it feels like “microdosing” on screen time but I keep hearing about how great it is from everyone. Might be time to pull the plug and just get one.
The German market has the Tolino, which as far as I can tell is a Kobo with different software. It’s Android-based but the e-reader experience is pretty smooth, the only thing I miss from the Kindle ecosystem is the ability to email myself a PDF and have it load on the device. Getting PDFs on there involves loading up the web reader or app, uploading a PDF there, and then syncing it, which is a little annoying but not impossible..
I guess the other thing I don’t like is how the ebook system in Germany works, it’s very frustrating to load a book on the device so I’ve basically stopped doing that. Not sure what it’s like in other parts of the world.
Xe recommend the eReader path. Xir own Paperwhite has served xe well for years and xe keep meaning to get a bigger, color-enabled eReader for manga and comics.
Pro tip: get a device that is supported by your local library, which is likely not an amazon device
I’m going to draw more illustrations for a zine on LLM evals that we’re working on. https://forestfriends.tech. There’s a link to a sample, if anyone that’s already deployed an LLM app wants to give feedback.
I’ve also got a blog post to finish writing, on making time a partial order. And a simple app where you can ask it to give you a tutorial on how to set up stacks, so you’re not stuck in configuration hell.
I will be making some Caraway mashed potatoes. And my dad is coming over so I’ll probably make a nice something or other on the grill.
Packing my things because I have to move to my new house on Friday! In my free time I’m reading “Operating Systems: Three Easy Pieces” because I’ve had it on my bookshelf for years at this point. It’s a very well written book. I realized that I don’t really have much free time lately and I’m thinking about dropping out my master’s degree. Maybe it really was too hard to study while having a full time job, but I still like it.
Training my RAG
In light of today’s events, I’m appreciating the fact that I haven’t worked in cloud support for several years (I moved to web backend, briefly worked on compilers while contracting, and now robotics/linux/systems development), and that my current organization doesn’t use CrowdStrike.
Trying to ignore all the Crowdstrike news.