I remember applying sometime ago, not really knowing what they did. They then spammed me with marketing mail, now they're open-sourced and had received a (supposedly marketing) job posting?
Granted in this entire history I had no idea what their product was. Seems flakey, but I haven't used it.
Awesome! Off-topic, can we get something like TS for PHP now? Tools like PHPStan work fine, but I'd love a typed language on top of PHP that can catch a lot of things on compile time. I want to be able to compile my symfony routes, avoiding as much as possible on runtime.
I've been thinking about this since 2022 and haven't really gotten further than "Hmm, I would like this".
I'm aware that tooling catches most stuff, but being able to shift this even more to the left (compile time) would be great.
I'm just very used to Rust, where my hand is being held
Speak for yourself! This is my third week on SSRI medication and I am the zombie the CEO wants me to be! /s (well, only half /s)
At work, I ended up doing other chores, getting a lot more involved in projects I wouldn't even care to touch. Turns out it's kinda fun being the source of truth at work. I now have a clear sketch of what the company has done and what we can improve on.
Being able to fill in the gaps at a company that doesn't do much feels like a company within a company. Sure, its not Silicon valley, but it's still fun! And job security is guaranteed if you do a bit more than just play the ticket factory
Is this only limited to (bounds|overflow|DBZ) checks? I do not know a lot about model checkers, it seems pretty cool though! and definitely something that would be powerful in a test harness
Cool idea! Looks like my prompt is stuck, though. Might be an idea to provide a share link at the moment of hitting the button so you can check back later, because if I close the tab I will lose my prompt
Its like this was made for me haha ! I've been reading books about epigenomica to get an understanding. This is cool, will definitely spend my weekend going through it
They meant that a more ergonomic name would be "has_been_viewed_much", so you can filter by the inverse and still get the same result, but with a better name
For people who are looking for a mostly succesful steady product, find a niche that others would not even consider because of how boring it is. Usually you end up doing research about the most boring logic that ends up being kind of fun. The people who QA will happily tell you why your product is broken, because it'll beats anything manual they're doing right now.
One problem I have with "how to do X with AI" is that every situation is different. For example, I'm bumping Symfony projects from 3.1 to 8.1. There's a clear path here
- Follow the written up migration guides PER major version
- test all routes, authorised, etc. You can even hand-curate these tests. some might return 200, some might return 302
- Maybe optionally start with writing a safety net so you do not need to do these test manually, have e.g. a PHPStan baseline, etc.
You're done when the routes are e2e functionally working as intended. You could even use snapshot testing here.
I do not need to look at the AI here. I can review the code at the end, but I do not need to manually approve stuff here, hence safety features are off.
Most sync engines are targeted towards being fast. I suppose for a PM you'd want one that's very resource efficienct. I'm just spitballing here, I'm not OP
Is a brain also inference? I know that an LLM works very different from the brain, but I wonder what makes a brain more capable of thinking. Is it the long term context? Is it a different type of neuron activation?
Wonder why some technical decisions were made. E.g. i can make a dynamic form builder with Zod in ~1 week without AI. Why not do that? Why a custom engine?
Socials: - bsky.app/profile/van-sprundel - github.com/van-sprundel - codeberg.org/ramones
Interests: Art, Cybersecurity, Digital Nomad, Fintech, Fitness, Freelancing, Gaming, Hacking, Hardware, IoT, Media, Music, Networking, Open Source, Programming, Remote Work, Startups, Travel, Technology, Writing
---