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?)
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
That’s like having extra configuration dependent ASLR on top!
If carefully implemented the compiler and linker could omit code that the configuration didn’t require. Wouldn’t less code mean better security and performance?
Formal methods = “this software cannot do things it shouldn’t do”, I have formally proven it ALWAYS EXECUTES THE WAY I CONSTRAINED IT TO.
Contrast with
Testing = “My tests prove these inputs definitely produce these test outputs”
IME Formal methods struggle making contact with reality because you really only get their promise “it always does what it is constrained to do” when every abstraction underneath provides the same guarantee, I wager most CPUs/GPUs aren’t verified down to the gate level these days.
It’s just faster to “trust” tests with most of the benefit, and developing software faster is very important to capturing a market and accruing revenue if you are building your software for business reasons.
EDIT: My gate-level verification remark is a bit extreme, but it applies to higher layers of the stack. The linux kernel isn’t verified. Drivers are sometimes verified, but not often. There is an HN comment somewhere about building a filesystem in Coq, and while the operations at the filesystem layer are provably correct, the kernel interfaces still fail. The firmware still isn’t proven. The CPU itself running on has undisclosed optimizations in its caches and load/store mechanisms which just aren’t proven, but enabled it to beat the competition on benchmarks, driving sales.
Genuine question: I'm aware that 100% automation for pretty much all agricultural processes is likely highly impractical if not borderline infeasible. As someone inexperienced with either robotics or agriculture, are you saying that chasing the "100%" is bad or are you saying that we're already mostly past the point of diminishing returns? My uninformed opinion is that I agree with the statement "let farmers farm", but we should keep looking at robots / software / AI to find ways to let farmers farm more for less. But keeping the mindset of building tools to enable individuals to do more is essential, moreso than the idea of replacing the farmer.
Many agricultural processes are already automated, in the field.
Combines drive themselves, drone spraying, on and on. If you go to a real, modern farm you will find a ton of automation. We don't need them to be vertical or indoors to do so.
Farming is HUGELY automated, its not automation that is the problem, it is people outside of farming thinking they can improve processes without FIRST understanding what they are doing.
For example, vertical farming aims replace the SUN with LED lights. The "garden bot" aims to replace rain and watching the weather with a watering robot. These are not the things plants "want".
I came back to this reply after a little bit of research and investigation into our own stack. Admittedly, I ended up in this role after hopping around the startup scene a little bit but after doing a little digging... honestly I am a little embarrassed as an MLOps person that I have only barely heard of this name and never really looked into this more. We have lots of in-house tooling that is trying to imitate what Airflow does, but we spend a lot of time maintaining ourselves and it might make a lot of sense if this just works for our cloud environment, and it would lift a huge burden off of the rest of our engineering team to go work on other stuff.
Thanks again. I am a big fan of stable, mature, software that just does it's job and this looks exactly like that.
I am building a TCG card management app as a way to keep my machine learning skills sharp and to learn iOS development.
Pretty standard CRUD flows + plenty of opportunity to get comfy with iterating and deploying software on iOS.
This app will basically be the playground for me to work on:
- Frontend / UX
- Computer vision (scan in cards w/ Camera)
- recommender systems (what cards are good suggestions to add to this deck?)
- Clustering (what decks are similar to this deck?)
Websites like TappedOut and Archidekt are great products, but as someone who plays casually and doesn't do much to keep up with releases I find assembling fun Commander decks from singles to be quite a time investment, and I'd like to see if I can focus in on that UX specifically for myself.
