HackerTrans
TopNewTrendsCommentsPastAskShowJobs

dwrodri

no profile record

Submissions

"Parse, don't validate" through the years with C++

derekrodriguez.dev
86 points·by dwrodri·há 3 meses·48 comments

Magic: The Gathering is full of interesting ML challenges

derekrodriguez.dev
2 points·by dwrodri·há 6 meses·1 comments

comments

dwrodri
·há 19 dias·discuss
I was asking around a while ago about better single-node solutions to "durable workflows" than Airflow before I was familiar with the terminology. Admittedly, Go + durable workflows in the cloud feels like the perfect marriage. Seeing the gated features makes me hesitant, unfortunately, but definitely considering this!
dwrodri
·há 23 dias·discuss
Google has muddied the waters on their Gemini usage statistics as it now powers a big chunk of Search. Depending on how you cut it, Gemini (and Gemini powered products) are probably producing the most output tokens seen by the most human eyeballs by a large margin.

Google at its core is not a dev tools company and it has become evident that is where the money is given the verifiable nature of software. Hixie's reflections on his tenure at Google still ring in my head to this day, though I have never worked there[1].

The people at the helm of Google no longer see the company's identity as something which must be channeled through a product or an experience. Some will point to the DoubleClick acquisition, others will point to Google Reader, or Pichai's ascension. Despite his very short tenure, MBA/McKinsey-brain is a very real phenomenon and it's no mistake that it shaped the "promotion packaged as a product launch" culture that steered Google away from seriously betting on anything that wasn't ads. To quote the signull tweet linked elsewhere in this thread, you can have everything at Google, except for permission.

Most importantly--I don't think there's a single tech product where I can point and say "Google wouldn't do that". You can contrast this with say, other Alphabet companies which don't suffer from this remotely as much. It is VERY clear what Waymo and YouTube are trying to accomplish, and while it frequently makes a ton sense for the companies to share infrastructure and product knowledge, YouTube does an exceptional job on the product side of making it very clear what they would and wouldn't do. They have experimented and shut down experimental features before (is their MOOC functionality still around?), but since it's fairly clear Google specifically is no longer working in service to the mission of providing the world's best digital portal for accessing information, I think it would behoove of them to figure out what their mission is.

1: https://ln.hixie.ch/?start=1700627373&count=1
dwrodri
·há 2 meses·discuss
I like the linking of "construction of a type is evidence of correctness"!
dwrodri
·há 2 meses·discuss
Author here:

A lot of my professional C++ experience comes from the computer vision space where I am specifically linking against FFmpeg (libav does its own share of memory management tricks that don't always play well with RAII).

I think of static functions (even within member classes) as a signifier of "hey, you don't need a constructed object for this to work and it doesn't depend on class instance state".

In application code, I was typically relying on Myers Singletons and the implicit thread-safeness more than what you see here. I debated dropping the static keyword because it stands out as odd especially in a private class method, but settled on keeping it.
dwrodri
·há 2 meses·discuss
A very specific shortcoming of this implementation is indeed "Day of Month" and "Month of Year" aren't given their own types! The type specification should likely be applied all the way down! I felt the examples conveyed the point well enough and it was shorter in many cases.
dwrodri
·há 2 meses·discuss
Author here. The post didn't get much traffic when I uploaded so I didn't engage much with the thread. Looks like I should've come back!

I specifically wrote that by hand to note the specific shortcomings of this approach when evaluated under King's thesis. I do acknowledge that I use LLM models heavily when drafting the code snippets in this blog post, and I do a mini review in the conclusion of the downsides of using these models.
dwrodri
·há 2 meses·discuss
Admittedly probably some aggrandized boasting here, but I think empirical verification of that Adam modification alone would be a meaningful contribution, unless that's prior work?
dwrodri
·há 2 meses·discuss
I wish computer mice did this.

I know multiple people whom are quite attached to 10+ year old mice that haven't been manufactured for quite some time, and would like to keep the familiar shape and design.
dwrodri
·há 4 meses·discuss
Serious FreeBSD question: I like a lot of what FreeBSD promises, but have been hesitant to make the leap for my home server as I enjoy hosting game servers via steamcmd. I know FreeBSD has Linux binary compatibility, but I am unsure how this would play out for all of my hosting needs. Also, I have some old Nvidia GPUs in this machine, which I might get rid of as they are no longer supported by the latest releases of ML packages, but I also might keep them around for self-teaching CUDA.

How do FreeBSD users get around the inconveniences associated with the "the rest of the world" running on Linux?
dwrodri
·há 6 meses·discuss
Author here, welcoming feedback and ideas for how you'd approach challenges such as these. There was a long road of operational tasks to get to a "quick" iteration loop in my debug UI, that I'll be ready to share that story once my new ranker is outperforming my old one. As of right now, the entire data + ranking operation runs on an few-years-old gaming PC with 24GB of ram and 12 cores.

The NMF model was fairly simple to get off the ground, thanks to the maturity of the deployment ecosystem surrounding it. Getting the Set Transformer to beat it in my internal benchmarks has been a journey, hopefully I'll share later this year!
dwrodri
·há 6 meses·discuss
I only write about once a year, but in 2025, I started getting serious about using LLMs to make headway on some of my larger side projects, and the results are getting promising. Link here: https://derekrodriguez.dev/magic-the-gathering-is-full-of-in...
dwrodri
·há 6 meses·discuss
I would love to host an ultra high quality stream on my own web server, and then have that exact stream piped to YouTube live via OBS. Is there an easy way to do that now?

YouTube likely won't support streaming 3440x1440 60FPS video, and while discord technically supports it, they usually compress the footage fairly aggressively once it's sent up to the client, so I'd like to host my own; it only needs to support a few people. I wouldn't mind hosting it so my friends and side project partners can watch me code and play games in high quality.
dwrodri
·há 7 meses·discuss
I think if AI can help us modernize the current state of hardware verification, I think that would be an enormous boon to the tech industry.

Server class CPUs and GPUs are littered with side channels which are very difficult to “close”, even in hardened cloud VMs.

We haven’t verified “frontier performance” hardware down to the logic gate in quite some time. Prof. Margaret Martinosi’s lab and her students have spent quite some time on this challenge, and i am excited to see better, safer memory models oyt in the wild.

A lot of the same big ideas used in hardware are making their way into the software later too, see https://faultlore.com/blah/tower-of-weakenings/
dwrodri
·há 7 meses·discuss
I am in the final testing stages for a bespoke recommender system to facilitate construction of EDH Decks.

The vibes are off at the moment, but goal is to do a show HN and a little PR a little closer to the holidays: https://mtg.derekrodriguez.dev/
dwrodri
·há 8 meses·discuss
Have y'all talked with Max and the Ozone team? Suppose you would have lots to learn from them as you take on this space. Best of luck, video is hard!
dwrodri
·há 9 meses·discuss
When I was in my 20s, I hit a point where I started looking back on my high school years and realized there were a small handful of teachers who had a very large influence on what I use as my "compass" for guiding me towards being the person I wanted to become as an adult.

One commonality among all of those teachers is that decade(s) later, it seems that they are mostly the same person, beliefs-wise and character-wise. It appeared that they had hit a point in their life where they "figured it out", and anchored themselves on that point. I put the phrase in quotes, because as an adult, I know the statement is superficial now, but that it certainly how it seemed when I was younger.

Circling back to the post: in my own lived experience, "Men who mean what they say" became that way not necessarily through the sole virtue of honesty, but by guiding themselves using the same set of virtues (honesty included) for large portions of their life. It was very easy to understand what mattered to them and what they believed in, and as an adult at the end of my 20s, it is clear to me that should I want to become the person my younger self aspired to be, following in my teachers' example means making an increasing percent of my actions reflect the virtues that matter the most to me.

But it is a learned process, not one necessarily passed down through merely being a person who has learned that lying is bad. By learning to practice actions which reflect your virtues, you also learn how to avoid shallower "means-justify-the-ends" behavior (e.g. is it more important to NEVER tell a lie, even if speaking only in facts you know to be true creates more harm?)
dwrodri
·há 10 meses·discuss
trying to build a webapp where i apply some recommender systems knowledge to TCG deckbuilding. MtG in particular is suffering from product fatigue and as someone who is both an MLE and a casual MtG player, it has been a fun challenge to apply my skills to a domain of interest