Any opinions about the current state of the art type checker?
1,039 karma · joined August 10, 2009
B.Sc Honours (Computer Science) B.Eng (Computer Engineering) University of Saskatchewan (2009)
Co-Founder and CTO at Andgo Systems.
www.andgosystems.com
--
my public key: https://keybase.io/erikfrederiksen; my proof: https://keybase.io/erikfrederiksen/sigs/8XVsgPU1beFIZZz22Gf-o9QqaHJl2QGoWiXGLhagU4k
Any opinions about the current state of the art type checker?
As far as trends in IoT goes, I feel like Tuya is mostly positive. I bought some cheap smart plugs at Costco and the default app was worthless. When I learned that they were Tuya-compatible, I managed to get a half-decent (relative to cost) experience out of them. It seems to me that the alternative are a bunch of unmaintained one-off apps for each fly-by-night manufacturer. With a standard protocol and app I think old devices will live a bit longer at least.
Perfect (better) world it's all open source, but c'est la vie.
But let's be real, it's Super Metroid. :)
It's a nice dream. At Google Cloud Next last year, the vendors kinda of came in two buckets. Datadog, and everyone trying to replace Datadog's outrageous bills.
I want to develop on postgres and test on postgres because I run postgres in production and I want to take advantage of all of its features. I don't understand why a person would 1) develop/test on a different database than production or 2) restrict one's self to the lowest common denominator of database features.
Test what you fly, fly what you test.
But I really want that database-specific behaviour. :) PostgreSQL does so many amazing things (recursive CTEs, jsonb, etc) that actively make our system better. If there was a fork of Django that optimized for leveraging advanced postgres features, I'd use it.
Back in the day we used to rail on Flash websites because while they looked nice, they weren't accessible to screen readers etc, sites weren't consistent, links didn't turn purple, and the back button didn't work.
Now we've done that again with HTML and React.
Flash is dead, long live Flash.
I'm a big fan of asserting preconditions and making it clear that we are getting into a bad place. I would rather dig through Sentry for an AssertionError than propagate a bad state and having to fix mangled data after the fact. If the AssertionError means that we mishandled valid user input, no problem, we'll go fix it.
A few times in my career I've had to ask, "okay, how long has this bug been quietly mangling user data?" and it's not a fun place to be.
Side note: I've never understood the convention of removing asserts in production builds. It seems like removing the seatbelts from the car before the race just to save a few pounds.
By having this opinion (and I assume dressing plainly) you are sending your own message to people about what's important to you.
They kind of remind me of blind SQL injection attacks. When you can inject SQL, but can't view the output, so you use things like `pg_sleep()` to get a low-fidelity form of query output. Depending on how far you want to go, you can use different sleep lengths to slowly exfiltrate data.
“Be like water making its way through cracks. Do not be assertive, but adjust to the object, and you shall find a way around or through it. If nothing within you stays rigid, outward things will disclose themselves.
Empty your mind, be formless. Shapeless, like water. If you put water into a cup, it becomes the cup. You put water into a bottle and it becomes the bottle. You put it in a teapot, it becomes the teapot. Now, water can flow or it can crash. Be water, my friend.”
- Bruce Lee
If people want to belittle something, either we aren't trying to solve the same problem (sure) or they're actively turning people away from what could be a serious advantage (more for me!)
If the cost of switching wasn't so high, I'd love to write Elixir all day. It's a joy.
I feel like I should get that tattooed on my hand, next to one saying, "It's not about you."
It makes me think of "The Wolf" from Pulp Fiction.
"It's about thirty minutes away. I'll be there in ten."
I know one guy (a consultant now) who I would trust to Navy SEALs parachute into almost any technical problem and come up with a real solution. Any part of the stack, from building a physical hardware test bench, debugging firmware compiler bugs, desktop software development, to a scalable web stack. These people exist, and they're not cheap.
However, it's worth noting that no one with skills like that works at Deloitte.
The trick is to be very honest with yourself (and team) about how much complex front-end UI the application actually _requires_. Using React where it isn't necessary is very expensive in the long run. The older I get, the more the grug brained developer makes sense.