What are you doing this week?
15 points by caius
15 points by caius
What are you doing this week? Feel free to share!
Keep in mind it’s OK to do nothing at all, too.
Trying to hide from the god damn heat wave that hit Europe.
You guys need to start using air conditioning.
Believe it or not it's currently illegal to install AC units on the outside of the buildings where I live. :)
I'm currently making do with a PortaSplit unit.
yeah, many of the places I have stayed in Europe around the mediterranean if they had AC at all were using splits. To be fair at least around there that is usually sufficient but I guess I am just used to assuming I have AC in the US unless its a house from the 1800s.
There's something else that may be possible: two 15cm (IIRC) holes in the wall, one for air input, one for air output, and all the machinery lives inside your place. The visual changes to the wall are minimal, the noise will be for you rather than for neighbours, and the heat is still going to be for the outside but that's unavoidable and I trust you to isolate first so that your AC needs and electricity bills are kept minimal.
We're not there yet. We've just started the legal battle to get the administrative powers that be to allow us to install an external unit. We're hopeful yet. :)
Sounds quite involved. Good luck.
BTW, and in general, single-block units with no exterior element have an advantage when it comes to installation as they don't require HVAC people since there are no specific manipulations involved.
If you're a tenant, you're pretty much screwed when it comes to climate adaptation. And with the lack of new housing stock being added, it's difficult to trade for something better.
That irked me.
Yes, we NEED to start using AC. Guess why. AC has been part of the issue both due to the energy consumption and the gases it uses (ozone layer depletion, greenhouse gases and/or PFAS, great). It should be the last resort. What should come first? Awnings (good for summer), building insulation (good for summer and winter), avoiding highways in the middle of cities.
So yeah, that irked me. You come with a solution and others need to follow. You can't see that people have decided to avoid it for plenty of reasons and prefer priorities that are more logical and scientifically-backed.
Your comment reminded me of the Low Tech Magazine article about fans and air cooling.
I didn't know they had written an article on that topic but it's not very surprising. I'll read it and I'm sure I'll link a few people to it. Thanks!
You're arguing against 100 years of city development. There isn't a way to raise everything to the ground in a major city and build it back up for the apocalypse that will come.
What we can do is to use environmentally friendly AC units and renewable energy to cool ourselves in our current homes. Both of those should be in plenty supply.
Also I'm in favour of "everyone doing their part" into diminishing their impact on the environment, but I find it unreasonable to expect an entire population to suffer when there's giga factories and data centers with multiple orders of magnitude more impact that should be a priority in stopping or improving.
there are a multitude of gasses you can use in AC that have low volatility that don't have that problem. Its why the auto industry moved to R134 from R12. Meanwhile like 150k people die a year in Europe due to heat.
As a European, and someone with the (relatively rare in Poland) privilege of owning an air conditioner - yes, 100%.
People in here seem to think that it's not necessary, since we're in relatively cold climate. Most of the year, sure, but we do have 3 months of summer, and roughly 2-4 weeks a year with >30°C weather, which is painful to endure.
Alas, necessity and cost aside, it can be hard to get it done. Most people in PL live in apartment buildings. Mounting on a building side is pretty much never allowed. A balcony is your only option. Many don't have balconies, or have tiny ones, and even if you do, many HOAs are power tripping and try to prevent people from mounting AC.
Have a cool subway station 10 min from home that I sometimes stop at for a while to take a break from sweating in the hot train cars. Can't imagine how non-acclimatized people handle 40 degrees C without aircon.
Meeting with my boss to discuss a promotion. He gave me a laundry list of shit to do to be ready for promotion, and I did it, and he's been dragging his feet to even talk about it, but we've at least got a meeting scheduled. I am already passively looking for a new role, but if the promotion isn't forthcoming I'll be ramping up my job search and reducing my at-job effort.
Also will do some cycling, cleaning, and maybe writing. Trying to get out of a slump.
Other than than work, I am doing some canoe guide work for a day camp. Also, migrating my basically fresh gitea from using sqlite to postgres since I need postgres in my homelab anyway to keep developing my side project. At work its just more client stuff. Work is work. Trying to please the client that keeps our lights on even etc. Not always enjoyable but being more client facing in a startup is pretty valuable experience for a developer.
Trying to smoosh gitlab and activedirectory together, insisting "now kiss".
Also continuing to play with dependent types. My experiment is actually working now, so it's time to implement structs and see if I can actually make something out of it resembling ML modules.
By the way, so, when garnet??!!11one!
Yeah, yeah, I know, I know, it comes when it comes... it's just that I recently realized I'm apparently kinda frustrated with Rust, and wishing I could already be trying to play with writing actual real code in garnet... so, just sayin, I just had to throw it out of my system, sorry... 🤷 I know those things cannot be pressured, I'll keep waiting patiently... 🤞 (well, what else can I do... 🤷)
Believe me, nobody is more frustrated with it than me.
Garnet is the same place it's been almost since starting, blocked on having some kind of sensible type system, which is needed for generics and interfaces, which is needed for a stdlib, which is needed for everything else. As predicted by others, 1ML as written is impractically complex and fiddly to implement, so I'm attempting to outflank the problem: instead of starting with System F/Fomega and adding features until it does what I want, I'm seeing how the world looks when you start with dependent types and restrict it a bit until it's possible to typecheck sensibly. The outlook on that front is good so far, hilariously. That's okay, I'm pretty used to my path through life mostly being an example of what not to do.
The current attempt at a type checker rewrite is probably the last one, one way or another.
❤️
FWIW, should the current attempt fail, then in an unlikely case that any blockers exploring the idea won't give you yet another idea or two to explore next, I'd be really curious to read some kind of a postmortem writeup :) yes, I know you have the wiki and you put some notes there; and I'll also understand if you'll consider a thought of writing such a writeup to be too much. But - just sayin :) But then, still, maybe the current attempt will actually end up working! fingers crossed, here's to hoping 🤞😄 All in all, thanks a lot for your reply, and hearing that you're actually also frustrated is - somehow - encouraging and hopeful, for me at lest 😅 hm, maybe because all my more or less successful projects, and at least the ones I keep persevering at, tend to be also borne out of, and fueled by, exactly frustration?
Working on some small-ish open source tools I've been building; duplik (https://codeberg.org/hgrsd/duplik) which is a duplicate file detection CLI, and ztags (https://codeberg.org/hgrsd/ztags) which is tooling to generate ctags for Zig projects including tags for library and stdlib code. I'm off from my dayjob this week so have more time to tinker.
I am working on a better traffic analysis protection in sanctum.
Today we have shroud, which masks the protocol meta-data and makes packets look like random things on the wire. However when doing hops between cathedrals the payload still remains the same, the new shroud implementation will cover the entire packet with unique per-packet masks, combine that with the fact that the new shroud implementation will randomize the lengths of the packets between each hop it becomes a lot harder to track and correlate in/out packets.
Thankfully signed a job offer at the end of last week so I'll be making my list of final "funemployment" activities (some chores, some fun) to do before I rejoin the workforce.
The usual stream of refinements, enhancements, and bugfixes for Decker. So far this week, several unicode-handling bugfixes, some additional facilities for inline documentation of user-defined widgets, and a more flexible scripting api for importing/decoding sound files.
Trying to make agent tool output look more interesting.
Progress so far: https://zm.is/share/session/sess-1782133092999666388
I think I'm done, but an up to date build of Home Assistant Operating System on the Rock5B. It's been a massive grind, but super happy with the effort.
Putting out fires in production due to a DDoS, and when I'm not ding that, fiddling with Godot.
Making a Kings Field-like just for fun. Blocked out the first dungeon from A Link To The Past just to get a feel for things. Man if those those dungeons were ever cleverly designed. Like even from a first person perspective, the clues the put out kinda still work. They are absolutely brilliant at teasing you with the prize (a door, a big chest), and then making you work to find the key or path.
Working on a couple projects in parallel. I hope to open source at least one of them eventually.
I'm basically writing the be all end all of http(s) logging (think har files not apache combined log format). It's basically as fast as it can theoretically be. Various phases are bottlenecked by memcpy speed (a crazy 30 GB/s on my Mac), http parsing for when L7 filters need to be applied, etc. more importantly the analysis stack is basically disaggregated compute and storage friendly. Which is to say duckdb works fine locally and big query should work fine when the dataset is growing at a couple gigabytes/s.
The other app is essentially to scale my own development of this app. A friend said the phrase "codebases are going to be cattle not pets". So think code observability. Essentially an AST db with test and benchmarking and dependency info with a visualization stack to let me constantly be aware of coverage gaps, hot spots, and potentially problematic functions with high complexity and low coverage. All one duckdb query away.
now reading: modern library's basic writings of existentialism, maybe starting The Elementary Particles by Houellebecq for book club
Installed gentoo which was fun. I didn't know that pipewire was the new deal in Linux audio, I haven't had a Linux desktop that I configured from scratch in about 4 years. MPD is having some problems but I'm excited to get that set up too. Once I have music I can work on configure emacs just the way I used to like it...
I want to give gleam_otp an earnest tryout, so I also want to cluster multiple BEAM instances. But not classic clustering, because I gather what people really do is k8s and libcluster. After fooling around with k0s on lima with the idea of running across multiple Macs, I landed on single-machine OrbStack. That's a few yaks checked off. Maybe someday this week I can start the thing I wanted to do in the first place?