Conversation

Replying to

my "retirement plan" has been to focus on better tools. focus more Haskell and Rust for instance but i keep getting drawn into embedded C land. i feel incremental changes are not going to cut it and i need to make some choices. cut some things out. not clear how.

1

sorry for calling you an old fart

1

1

i guess the problem is just scope. considering to move more deliberately to testing. that's where i've found most "tool freedom", and it's a domain that is seriously underestimated

3

1

Replying to

there's a lot of interesting stuff going on around formal verification right now

1

1

Replying to

anything particular you're thinking of?

1

Replying to

you should talk to

1

1

Replying to

and

wouldn't advise it that guy is crazy

1

2

Replying to

and

let's find out

1

Replying to

and

you know my first response was: i wish i could actually use formal approach in my work. this fermented into: maybe i should just stay away from work where this is not possible

1

Replying to

and

because if i zoom in to what exactly made last couple of years so difficult, it is all about unpredictable hardware issues. "side problems"

1

Replying to

and

and overall legacy things that are broken and can't be reasonably fixed

6:28 PM · Sep 8, 2021Twitter Web App

Replying to

and

cant-fix-paint-over infinitely stacking tetris games

1

Replying to

and

just a heads up spending time in proof assistants is probably the opposite of avoiding "infinitely stacking tetris games"

1

2

Show replies